Pick one of the SVF or LLVM tool based on user's request.
Pick one of the SVF or LLVM tool based on user's request.