SVF::SingleSlicer Member List

This is the complete list of members for SVF::SingleSlicer, 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
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
pta	SVF::MTASlicerBase	protected
runDualSlicing(const OrderedSet< const ICFGNode * > &slicedNodes)	SVF::MTASlicerBase	protected
runSlicing(const OrderedSet< const SVFStmt * > &vulnerableStatements)	SVF::SingleSlicer
SingleSlicer(SVFIR *svfIr, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, SVFG *vfg=nullptr)	SVF::SingleSlicer
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