Static Value-Flow Analysis
|
This is the complete list of members for SVF::DDAPass, including all inherited members.
_client | SVF::DDAPass | private |
_pta | SVF::DDAPass | private |
alias(const SVFValue *V1, const SVFValue *V2) | SVF::DDAPass | virtual |
alias(NodeID V1, NodeID V2) | SVF::DDAPass | virtual |
collectCxtInsenEdgeForRecur(PointerAnalysis *pta, const SVFG *svfg, SVFGEdgeSet &insensitveEdges) | SVF::DDAPass | private |
collectCxtInsenEdgeForVFCycle(PointerAnalysis *pta, const SVFG *svfg, const SVFGSCC *svfgSCC, SVFGEdgeSet &insensitveEdges) | SVF::DDAPass | private |
DDAPass() | SVF::DDAPass | inline |
edgeInCallGraphSCC(PointerAnalysis *pta, const SVFGEdge *edge) | SVF::DDAPass | private |
edgeInSVFGSCC(const SVFGSCC *svfgSCC, const SVFGEdge *edge) | SVF::DDAPass | private |
getPassName() const | SVF::DDAPass | inlinevirtual |
ID | SVF::DDAPass | static |
initCxtInsensitiveEdges(PointerAnalysis *pta, const SVFG *svfg, const SVFGSCC *svfgSCC, SVFGEdgeSet &insensitveEdges) | SVF::DDAPass | private |
printQueryPTS() | SVF::DDAPass | private |
PTAVector typedef | SVF::DDAPass | |
runOnModule(SVFIR *module) | SVF::DDAPass | virtual |
runPointerAnalysis(SVFIR *module, u32_t kind) | SVF::DDAPass | private |
selectClient(SVFModule *module) | SVF::DDAPass | virtual |
SVFGEdgeSet typedef | SVF::DDAPass | |
SVFGSCC typedef | SVF::DDAPass | |
~DDAPass() | SVF::DDAPass |