|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::DDAClient, including all inherited members.
| addCandidate(NodeID id) | SVF::DDAClient | inlineprotected |
| answerQueries(PointerAnalysis *pta) | SVF::DDAClient | virtual |
| candidateQueries | SVF::DDAClient | protected |
| collectCandidateQueries(SVFIR *p) | SVF::DDAClient | inlinevirtual |
| collectWPANum() | SVF::DDAClient | inlinevirtual |
| curPtr | SVF::DDAClient | protected |
| DDAClient() | SVF::DDAClient | inline |
| getCandidateQueries() const | SVF::DDAClient | inline |
| handleStatement(const SVFGNode *, NodeID) | SVF::DDAClient | inlinevirtual |
| initialise() | SVF::DDAClient | inlinevirtual |
| pag | SVF::DDAClient | protected |
| performStat(PointerAnalysis *) | SVF::DDAClient | inlinevirtual |
| setCurrentQueryPtr(NodeID ptr) | SVF::DDAClient | inline |
| setPAG(SVFIR *g) | SVF::DDAClient | inline |
| setQuery(NodeID ptr) | SVF::DDAClient | inline |
| solveAll | SVF::DDAClient | private |
| userInput | SVF::DDAClient | private |
| ~DDAClient() | SVF::DDAClient | inlinevirtual |
1.9.8