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 |