41 int main(
int argc,
char** argv)
45 "[options] <input-bitcode...>");
50 if (Options::ReadJson())
52 pag = SVFIRReader::read(moduleNameVec.front());
56 if (Options::WriteAnder() ==
"ir_annotator")
58 LLVMModuleSet::preProcessBCs(moduleNameVec);
61 SVFModule* svfModule = LLVMModuleSet::buildSVFModule(moduleNameVec);
65 pag = builder.
build();
72 LLVMModuleSet::releaseLLVMModuleSet();
static std::vector< std::string > parseOptions(int argc, char *argv[], std::string description, std::string callFormat)
virtual SVFIR * build()
Start building SVFIR here.
virtual void runOnModule(SVFIR *svfModule)
Run pointer analysis on SVFModule.
int main(int argc, char **argv)