SVF-tools

Yes, `buildSVFModule` accepts the modules' names in the form of strings. It normally works as follows: ``` std::vector moduleNameVec; SVFUtil::processArguments(argc, argv, arg_num, arg_value, moduleNameVec); cl::ParseCommandLineOptions(arg_num, arg_value, "XXX Analysis\n"); SVFModule* svfModule...

Good suggestion! Would you be able to help us with adding `SVF` as the namespace?