|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::FunptrDDAClient, including all inherited members.
| addCandidate(NodeID id) | SVF::DDAClient | inlineprotected |
| answerQueries(PointerAnalysis *pta) | SVF::DDAClient | virtual |
| candidateQueries | SVF::DDAClient | protected |
| collectCandidateQueries(SVFIR *p) | SVF::FunptrDDAClient | virtual |
| collectWPANum() | SVF::DDAClient | inlinevirtual |
| curPtr | SVF::DDAClient | protected |
| DDAClient() | SVF::DDAClient | inline |
| FunptrDDAClient() | SVF::FunptrDDAClient | inline |
| getCandidateQueries() const | SVF::DDAClient | inline |
| handleStatement(const SVFGNode *, NodeID) | SVF::DDAClient | inlinevirtual |
| initialise() | SVF::DDAClient | inlinevirtual |
| pag | SVF::DDAClient | protected |
| performStat(PointerAnalysis *pta) | SVF::FunptrDDAClient | virtual |
| 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 |
| VTablePtrToCallSiteMap typedef | SVF::FunptrDDAClient | private |
| vtableToCallSiteMap | SVF::FunptrDDAClient | private |
| ~DDAClient() | SVF::DDAClient | inlinevirtual |
| ~FunptrDDAClient() | SVF::FunptrDDAClient | inline |