SVF::SingleSlicer Member List

This is the complete list of members for SVF::SingleSlicer, 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
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
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
pta	SVF::MTASlicerBase	protected
runSlicing(const OrderedSet< const SVFStmt * > &vulnerableStatements)	SVF::SingleSlicer
SingleSlicer(SVFIR *svfir, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, SVFG *svfg=nullptr)	SVF::SingleSlicer
svfg	SVF::MTASlicerBase	protected
svfgNodesToICFGNodes(const OrderedSet< const VFGNode * > &nodes, const OrderedSet< const SVFStmt * > &seeds)	SVF::MTASlicerBase	protected
svfir	SVF::MTASlicerBase	protected