44 if (
pos == std::string::npos ||
47 SVFUtil::errs() <<
"Error: expect file with extension .bc or .ll\n";
50 return path.substr(0,
pos) +
".svf.json";
56 argc,
argv,
"llvm2svf",
"[options] <input-bitcode...>");
66 assert(
false &&
"Please implement SVFIRWriter::writeJsonToPath");
static std::vector< std::string > parseOptions(int argc, char *argv[], std::string description, std::string callFormat)
static void releaseLLVMModuleSet()
static void preProcessBCs(std::vector< std::string > &moduleNameVec)
static const Option< std::string > WriteAnder
int main(int argc, char **argv)
std::string replaceExtension(const std::string &path)
std::ostream & errs()
Overwrite llvm::errs()
std::ostream & outs()
Overwrite llvm::outs()
llvm::IRBuilder IRBuilder