Static Value-Flow Analysis
SVF::DDAClient Member List

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

addCandidate(NodeID id)SVF::DDAClientinlineprotected
answerQueries(PointerAnalysis *pta)SVF::DDAClientvirtual
candidateQueriesSVF::DDAClientprotected
collectCandidateQueries(SVFIR *p)SVF::DDAClientinlinevirtual
collectWPANum(SVFModule *)SVF::DDAClientinlinevirtual
curPtrSVF::DDAClientprotected
DDAClient(SVFModule *mod)SVF::DDAClientinline
getCandidateQueries() constSVF::DDAClientinline
getModule() constSVF::DDAClientinline
handleStatement(const SVFGNode *, NodeID)SVF::DDAClientinlinevirtual
initialise(SVFModule *)SVF::DDAClientinlinevirtual
moduleSVF::DDAClientprotected
pagSVF::DDAClientprotected
performStat(PointerAnalysis *)SVF::DDAClientinlinevirtual
setCurrentQueryPtr(NodeID ptr)SVF::DDAClientinline
setPAG(SVFIR *g)SVF::DDAClientinline
setQuery(NodeID ptr)SVF::DDAClientinline
solveAllSVF::DDAClientprivate
userInputSVF::DDAClientprivate
~DDAClient()SVF::DDAClientinlinevirtual
Generated by doxygen 1.9.1