SVF::SingleSlicer Class Reference

#include <MTASlicer.h>

Inheritance diagram for SVF::SingleSlicer:

Public Member Functions
	SingleSlicer (SVFIR *svfir, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, SVFG *svfg=nullptr)
ValueFlowSlice	runSlicing (const OrderedSet< const SVFStmt * > &vulnerableStatements)
Public Member Functions inherited from SVF::MTASlicerBase
	MTASlicerBase (SVFIR *svfir, AndersenBase *pta, MHP *mhp, LockAnalysis *lockAnalysis, SVFG *svfg=nullptr)

Additional Inherited Members
Protected Member Functions inherited from SVF::MTASlicerBase
OrderedSet< const VFGNode * >	computeDataDependenceSVFGNodes (const OrderedSet< const SVFStmt * > &seeds, SVFG *svfg)
OrderedSet< const ICFGNode * >	svfgNodesToICFGNodes (const OrderedSet< const VFGNode * > &nodes, const OrderedSet< const SVFStmt * > &seeds)
	Project the retained VFG nodes (plus the seeds) onto their ICFG nodes.
OrderedSet< const CallICFGNode * >	getDependentThreadCreate (const ICFGNode *node)
OrderedSet< const TCTNode * >	getTCTNodeSetFromNode (const ICFGNode *node)
OrderedSet< const ICFGNode * >	getLockSet (const ICFGNode *node)
OrderedSet< const CallICFGNode * >	collectPthreadStatements (const OrderedSet< const ICFGNode * > &sourceNodes)
OrderedSet< const CallICFGNode * >	collectMutexStatements (const OrderedSet< const ICFGNode * > &sourceNodes)
std::pair< OrderedSet< const CallICFGNode * >, OrderedSet< const CallICFGNode * > >	collectCommonThreadStatements (const OrderedSet< const ICFGNode * > &sourceNodes)
void	addSynchronizationDependencies (const OrderedSet< const CallICFGNode * > &pthreadCallNodes, const OrderedSet< const CallICFGNode * > &mutexCallNodes, OrderedSet< const ICFGNode * > &retainedNodes)
OrderedSet< const ICFGNode * >	expandCallDependence (const OrderedSet< const ICFGNode * > &nodes)
Static Protected Member Functions inherited from SVF::MTASlicerBase
static void	enqueueSVFGNode (const SVFGNode *node, OrderedSet< const SVFGNode * > &visited, std::deque< const SVFGNode * > &worklist)
Protected Attributes inherited from SVF::MTASlicerBase
SVFIR *	svfir
AndersenBase *	pta
MHP *	mhp
LockAnalysis *	lockAnalysis
CallGraph *	callGraph
SVFG *	svfg
	thread-aware VFG_pre (PTA/Single slicers; null for MTA)

Detailed Description

SingleSlicer - Unified slicer combining synchronization, data, and call dependence into ONE slice (the single-pass baseline, MSli §3/§5.4: the transitive closure of the target statements under the combined dependence graph). Both ILA and FSPTA run on this single slice, so V_ILA, V_PTA subset V_Single. Used by the differential-slicing ablation (-mta-slicing-single).

Iteratively applies synchronization, data, and call dependence over the thread-aware VFG_pre until convergence.

Definition at line 252 of file MTASlicer.h.

Constructor & Destructor Documentation

SingleSlicer()

SVF::SingleSlicer::SingleSlicer	(	SVFIR *	svfir,
		AndersenBase *	pta,
		MHP *	mhp,
		LockAnalysis *	lockAnalysis,
		SVFG *	svfg = nullptr
	)

Definition at line 892 of file MTASlicer.cpp.

    : MTASlicerBase(svfir, pta, mhp, lockAnalysis, svfg)
{
}

Member Function Documentation

runSlicing()

ValueFlowSlice SVF::SingleSlicer::runSlicing

(

const OrderedSet< const SVFStmt * > &

vulnerableStatements

)

Perform unified slicing combining synchronization, data, and call dependence.

Parameters

vulnerableStatements

Set of vulnerable statements to start slicing from

Returns

Exact SVFG data slice plus its synchronization/call-complete ICFG view

Definition at line 901 of file MTASlicer.cpp.

{
 
    OrderedSet<const ICFGNode*> sourceNodes;
    for (const SVFStmt* stmt : vulnerableStatements)
        if (stmt != nullptr && stmt->getICFGNode() != nullptr)
            sourceNodes.insert(stmt->getICFGNode());
 
    OrderedSet<const ICFGNode*> currentNodes = sourceNodes;
    OrderedSet<const SVFGNode*> dataSliceNodes;
 
    // Step 3: Close over data dependence (the thread-aware VFG_pre value flow --
    // direct + indirect + interference, the same model the FSPTA stage uses) and call
    // dependence (function expansion), alternately, until the node set converges.
    while (true)
    {
        OrderedSet<const ICFGNode*> previousNodes = currentNodes;
 
        auto commonStmts = collectCommonThreadStatements(currentNodes);
        addSynchronizationDependencies(
            commonStmts.first, commonStmts.second, currentNodes);
 
        OrderedSet<const SVFStmt*> currentStatements;
        for (const ICFGNode* node : currentNodes)
        {
            const ICFGNode::SVFStmtList& stmts = node->getSVFStmts();
            currentStatements.insert(stmts.begin(), stmts.end());
        }
 
        dataSliceNodes =
            computeDataDependenceSVFGNodes(currentStatements, svfg);
        OrderedSet<const ICFGNode*> dataDepNodes =
            svfgNodesToICFGNodes(dataSliceNodes, currentStatements);
        currentNodes.insert(dataDepNodes.begin(), dataDepNodes.end());
 
        currentNodes = expandCallDependence(currentNodes);
 
        if (currentNodes == previousNodes)
            break;
    }
    ValueFlowSlice result;
    result.svfgNodes = std::move(dataSliceNodes);
    result.icfgNodes = std::move(currentNodes);
    return result;
}

---

The documentation for this class was generated from the following files:

• /home/runner/work/SVF/SVF/svf/include/MTA/MTASlicer.h
• /home/runner/work/SVF/SVF/svf/lib/MTA/MTASlicer.cpp