Static Value-Flow Analysis
SVF::FunptrDDAClient Member List

This is the complete list of members for SVF::FunptrDDAClient, including all inherited members.

addCandidate(NodeID id)SVF::DDAClientinlineprotected
answerQueries(PointerAnalysis *pta)SVF::DDAClientvirtual
candidateQueriesSVF::DDAClientprotected
collectCandidateQueries(SVFIR *p)SVF::FunptrDDAClientvirtual
collectWPANum(SVFModule *)SVF::DDAClientinlinevirtual
curPtrSVF::DDAClientprotected
DDAClient(SVFModule *mod)SVF::DDAClientinline
FunptrDDAClient(SVFModule *module)SVF::FunptrDDAClientinline
getCandidateQueries() constSVF::DDAClientinline
getModule() constSVF::DDAClientinline
handleStatement(const SVFGNode *, NodeID)SVF::DDAClientinlinevirtual
initialise(SVFModule *)SVF::DDAClientinlinevirtual
moduleSVF::DDAClientprotected
pagSVF::DDAClientprotected
performStat(PointerAnalysis *pta)SVF::FunptrDDAClientvirtual
setCurrentQueryPtr(NodeID ptr)SVF::DDAClientinline
setPAG(SVFIR *g)SVF::DDAClientinline
setQuery(NodeID ptr)SVF::DDAClientinline
solveAllSVF::DDAClientprivate
userInputSVF::DDAClientprivate
VTablePtrToCallSiteMap typedefSVF::FunptrDDAClientprivate
vtableToCallSiteMapSVF::FunptrDDAClientprivate
~DDAClient()SVF::DDAClientinlinevirtual
~FunptrDDAClient()SVF::FunptrDDAClientinline