|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::MultiStageSlicer, including all inherited members.
| addSynchronizationDependencies(const OrderedSet< const CallICFGNode * > &pthreadCallNodes, const OrderedSet< const CallICFGNode * > &mutexCallNodes, OrderedSet< const ICFGNode * > &retainedNodes) | SVF::MTASlicerBase | protected |
| callGraph | SVF::MTASlicerBase | protected |
| collectCommonThreadStatements(const OrderedSet< const ICFGNode * > &sourceNodes) | SVF::MTASlicerBase | protected |
| collectMutexStatements(const OrderedSet< const ICFGNode * > &sourceNodes) | SVF::MTASlicerBase | protected |
| collectPthreadStatements(const OrderedSet< const ICFGNode * > &sourceNodes) | SVF::MTASlicerBase | protected |
| computeDataDependenceSVFGNodes(const OrderedSet< const SVFStmt * > &seeds, SVFG *svfg) | SVF::MTASlicerBase | protected |
| computePreCandidateSlice(const OrderedSet< const SVFStmt * > &vulnerableStatements) | SVF::MultiStageSlicer | |
| enqueueSVFGNode(const SVFGNode *node, OrderedSet< const SVFGNode * > &visited, std::deque< const SVFGNode * > &worklist) | SVF::MTASlicerBase | protectedstatic |
| expandCallDependence(const OrderedSet< const ICFGNode * > &nodes) | SVF::MTASlicerBase | protected |
| getDependentThreadCreate(const ICFGNode *node) | SVF::MTASlicerBase | protected |
| getLockSet(const ICFGNode *node) | SVF::MTASlicerBase | protected |
| getPreCandidateSlice() const | 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 *svfg=nullptr) | SVF::MTASlicerBase | |
| MultiStageSlicer(SVFIR *svfir, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, SVFG *svfg=nullptr) | SVF::MultiStageSlicer | |
| preCandidateComputed | SVF::MultiStageSlicer | private |
| preCandidateSlice | SVF::MultiStageSlicer | private |
| pta | SVF::MTASlicerBase | protected |
| runILASlicing(const OrderedSet< const SVFStmt * > &vulnerableStatements, const OrderedSet< const ICFGNode * > &threadVFSources={}) | SVF::MultiStageSlicer | |
| runPTASlicing(const OrderedSet< const SVFStmt * > &vulnerableStatements, SVFG *refinedMainVFG) | SVF::MultiStageSlicer | |
| svfg | SVF::MTASlicerBase | protected |
| svfgNodesToICFGNodes(const OrderedSet< const VFGNode * > &nodes, const OrderedSet< const SVFStmt * > &seeds) | SVF::MTASlicerBase | protected |
| svfir | SVF::MTASlicerBase | protected |
1.9.8