|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::AEWTO, including all inherited members.
| AEWTO(SVFIR *pag, ICFG *icfg) | SVF::AEWTO | |
| callGraph | SVF::AEWTO | private |
| CallGraphSCC typedef | SVF::AEWTO | |
| callGraphSCC | SVF::AEWTO | private |
| cycleToValVars | SVF::AEWTO | private |
| funcToWTO | SVF::AEWTO | private |
| getCallGraph() const | SVF::AEWTO | inline |
| getCallGraphSCC() const | SVF::AEWTO | inline |
| getCycleValVars(const ICFGCycleWTO *cycle) const | SVF::AEWTO | inline |
| getFuncToWTO() const | SVF::AEWTO | inline |
| getPointerAnalysis() const | SVF::AEWTO | inline |
| icfg | SVF::AEWTO | private |
| initCycleValVars() | SVF::AEWTO | |
| initWTO() | SVF::AEWTO | |
| pta | SVF::AEWTO | private |
| svfir | SVF::AEWTO | private |
| ~AEWTO() | SVF::AEWTO | virtual |