Static Value-Flow Analysis
|
This is the complete list of members for SVF::CDGBuilder, including all inherited members.
_controlDG | SVF::CDGBuilder | private |
_nodeControlMap | SVF::CDGBuilder | private |
_nodeDependentOnMap | SVF::CDGBuilder | private |
_svfcontrolMap | SVF::CDGBuilder | private |
_svfdependentOnMap | SVF::CDGBuilder | private |
build() | SVF::CDGBuilder | |
buildControlDependence(const SVFModule *svfgModule) | SVF::CDGBuilder | |
buildICFGNodeControlMap() | SVF::CDGBuilder | |
CDGBuilder() | SVF::CDGBuilder | inline |
dfsNodesBetweenPdomNodes(const SVFBasicBlock *cur, const SVFBasicBlock *tgt, std::vector< const SVFBasicBlock * > &path, std::vector< const SVFBasicBlock * > &tgtNodes, SVFLoopAndDomInfo *ld) | SVF::CDGBuilder | private |
extractBBS(const SVFFunction *func, Map< const SVFBasicBlock *, std::vector< const SVFBasicBlock * > > &res) | SVF::CDGBuilder | privatestatic |
extractNodesBetweenPdomNodes(const SVFBasicBlock *succ, const SVFBasicBlock *LCA, std::vector< const SVFBasicBlock * > &tgtNodes) | SVF::CDGBuilder | private |
getBBSuccessorBranchID(const SVFBasicBlock *BB, const SVFBasicBlock *Succ) | SVF::CDGBuilder | private |
updateMap(const SVFBasicBlock *pred, const SVFBasicBlock *bb, s32_t pos) | SVF::CDGBuilder | inlineprivate |
~CDGBuilder() | SVF::CDGBuilder | inline |