44 "Demand-Driven Alias Analysis Pass",
48 int main(
int argc,
char ** argv)
50 std::vector<std::string> moduleNameVec;
52 argc, argv,
"Demand-Driven Points-to Analysis",
"[options] <input-bitcode...>"
55 if (Options::WriteAnder() ==
"ir_annotator")
57 LLVMModuleSet::preProcessBCs(moduleNameVec);
60 SVFModule* svfModule = LLVMModuleSet::buildSVFModule(moduleNameVec);
67 LLVMModuleSet::releaseLLVMModuleSet();
static std::vector< std::string > parseOptions(int argc, char *argv[], std::string description, std::string callFormat)
virtual void runOnModule(SVFIR *module)
We start from here.
virtual SVFIR * build()
Start building SVFIR here.
int main(int argc, char **argv)
static Option< bool > DAA("daa", "Demand-Driven Alias Analysis Pass", false)