Go to the source code of this file.
|
int | main (int argc, char **argv) |
|
|
static Option< bool > | DAA ("daa", "Demand-Driven Alias Analysis Pass", false) |
|
◆ main()
int main |
( |
int |
argc, |
|
|
char ** |
argv |
|
) |
| |
Definition at line 48 of file dda.cpp.
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);
62 SVFIR* pag = builder.build();
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.
◆ DAA
Option<bool> DAA("daa", "Demand-Driven Alias Analysis Pass", false) |
( |
"daa" |
, |
|
|
"Demand-Driven Alias Analysis Pass" |
, |
|
|
false |
|
|
) |
| |
|
static |