|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::MultiStageSlicer, including all inherited members.
| buildBackwardICFGNodeSet(const OrderedSet< const ICFGNode * > &vulnerableNodes) | SVF::MTASlicerBase | protected |
| callGraph | SVF::MTASlicerBase | protected |
| collectCommonThreadStatements(const OrderedSet< const SVFStmt * > &vulnerableStatements) | SVF::MTASlicerBase | protected |
| collectMutexStatements(const OrderedSet< const SVFStmt * > &vulnerableStmts) | SVF::MTASlicerBase | protected |
| collectPthreadStatements(const OrderedSet< const SVFStmt * > &vulnerableStmts) | SVF::MTASlicerBase | protected |
| computeDataDependenceSVFGNodes(const OrderedSet< const SVFStmt * > &seeds, SVFG *vfg) | SVF::MTASlicerBase | protected |
| expandCallDependence(const OrderedSet< const ICFGNode * > &nodes) | SVF::MTASlicerBase | protected |
| getDependentThreadCreate(const SVFStmt *stmt) | SVF::MTASlicerBase | protected |
| getLockSet(const ICFGNode *node) | SVF::MTASlicerBase | protected |
| getRetainedSVFGNodes(const OrderedSet< const SVFStmt * > &vulnerableStatements) | SVF::MultiStageSlicer | |
| getTCTNodeSetFromNode(const ICFGNode *node) | SVF::MTASlicerBase | protected |
| lockAnalysis | SVF::MTASlicerBase | protected |
| mhp | SVF::MTASlicerBase | protected |
| MTASlicerBase(SVFIR *svfIr, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, SVFG *vfg=nullptr) | SVF::MTASlicerBase | |
| MultiStageSlicer(SVFIR *svfIr, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, SVFG *vfg=nullptr) | SVF::MultiStageSlicer | |
| pta | SVF::MTASlicerBase | protected |
| retainedComputed | SVF::MultiStageSlicer | private |
| retainedSVFGNodes | SVF::MultiStageSlicer | private |
| runDualSlicing(const OrderedSet< const ICFGNode * > &slicedNodes) | SVF::MTASlicerBase | protected |
| runILASlicing(const OrderedSet< const SVFStmt * > &vulnerableStatements, const OrderedSet< const ICFGNode * > &threadVFSources={}) | SVF::MultiStageSlicer | |
| runPTASlicing(const OrderedSet< const SVFStmt * > &vulnerableStatements) | SVF::MultiStageSlicer | |
| sliceDataDependenceOverVFG(const OrderedSet< const SVFStmt * > &seeds, SVFG *vfg) | SVF::MTASlicerBase | protected |
| svfgNodesToICFGNodes(const OrderedSet< const VFGNode * > &nodes, const OrderedSet< const SVFStmt * > &seeds) | SVF::MTASlicerBase | protected |
| svfIr | SVF::MTASlicerBase | protected |
| vfg | SVF::MTASlicerBase | protected |
| ~MTASlicerBase() | SVF::MTASlicerBase | virtual |
1.9.8