Static Value-Flow Analysis
SVF::AliasDDAClient Member List

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

addCandidate(NodeID id)SVF::DDAClientinlineprotected
AliasDDAClient(SVFModule *module)SVF::AliasDDAClientinline
answerQueries(PointerAnalysis *pta)SVF::DDAClientvirtual
candidateQueriesSVF::DDAClientprotected
collectCandidateQueries(SVFIR *pag)SVF::AliasDDAClientvirtual
collectWPANum(SVFModule *)SVF::DDAClientinlinevirtual
curPtrSVF::DDAClientprotected
DDAClient(SVFModule *mod)SVF::DDAClientinline
gepSrcNodesSVF::AliasDDAClientprivate
getCandidateQueries() constSVF::DDAClientinline
getModule() constSVF::DDAClientinline
handleStatement(const SVFGNode *, NodeID)SVF::DDAClientinlinevirtual
initialise(SVFModule *)SVF::DDAClientinlinevirtual
loadSrcNodesSVF::AliasDDAClientprivate
moduleSVF::DDAClientprotected
pagSVF::DDAClientprotected
PAGNodeSet typedefSVF::AliasDDAClient
performStat(PointerAnalysis *pta)SVF::AliasDDAClientvirtual
setCurrentQueryPtr(NodeID ptr)SVF::DDAClientinline
setPAG(SVFIR *g)SVF::DDAClientinline
setQuery(NodeID ptr)SVF::DDAClientinline
solveAllSVF::DDAClientprivate
storeDstNodesSVF::AliasDDAClientprivate
userInputSVF::DDAClientprivate
VTablePtrToCallSiteMap typedefSVF::AliasDDAClientprivate
vtableToCallSiteMapSVF::AliasDDAClientprivate
~AliasDDAClient()SVF::AliasDDAClientinline
~DDAClient()SVF::DDAClientinlinevirtual
Generated by doxygen 1.9.1