44 "[options] <input-bitcode...>");
51 assert(
false &&
"please implement SVFIRReader::read");
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 void buildSVFModule(Module &mod)
static const Option< std::string > WriteAnder
static const Option< bool > ReadJson
virtual void runOnModule(SVFIR *svfModule)
Run pointer analysis on SVFModule.
llvm::IRBuilder IRBuilder
int main(int argc, char **argv)