Static Value-Flow Analysis
SVF::DDAPass Member List

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

_clientSVF::DDAPassprivate
_ptaSVF::DDAPassprivate
alias(const SVFValue *V1, const SVFValue *V2)SVF::DDAPassvirtual
alias(NodeID V1, NodeID V2)SVF::DDAPassvirtual
collectCxtInsenEdgeForRecur(PointerAnalysis *pta, const SVFG *svfg, SVFGEdgeSet &insensitveEdges)SVF::DDAPassprivate
collectCxtInsenEdgeForVFCycle(PointerAnalysis *pta, const SVFG *svfg, const SVFGSCC *svfgSCC, SVFGEdgeSet &insensitveEdges)SVF::DDAPassprivate
DDAPass()SVF::DDAPassinline
edgeInCallGraphSCC(PointerAnalysis *pta, const SVFGEdge *edge)SVF::DDAPassprivate
edgeInSVFGSCC(const SVFGSCC *svfgSCC, const SVFGEdge *edge)SVF::DDAPassprivate
getPassName() constSVF::DDAPassinlinevirtual
IDSVF::DDAPassstatic
initCxtInsensitiveEdges(PointerAnalysis *pta, const SVFG *svfg, const SVFGSCC *svfgSCC, SVFGEdgeSet &insensitveEdges)SVF::DDAPassprivate
printQueryPTS()SVF::DDAPassprivate
PTAVector typedefSVF::DDAPass
runOnModule(SVFIR *module)SVF::DDAPassvirtual
runPointerAnalysis(SVFIR *module, u32_t kind)SVF::DDAPassprivate
selectClient(SVFModule *module)SVF::DDAPassvirtual
SVFGEdgeSet typedefSVF::DDAPass
SVFGSCC typedefSVF::DDAPass
~DDAPass()SVF::DDAPass
Generated by doxygen 1.9.1