#include <MTASlicer.h>

Inheritance diagram for SVF::SlicedTCT:

Public Member Functions
	SlicedTCT (PointerAnalysis p, const SlicedSVFIRView slicedView, u32_t maxContextLen=0)

	~SlicedTCT () override=default

void	pushCxt (CallStrCxt &cxt, const CallICFGNode call, const FunObjVar callee) override
	Override pushCxt to use the custom maxContextLen.

Public Member Functions inherited from SVF::TCT
	TCT (PointerAnalysis *p)
	Constructor.

virtual	~TCT ()
	Destructor.

ThreadCallGraph *	getThreadCallGraph () const
	Get TCG.

PointerAnalysis *	getPTA () const
	Get PTA.

TCTNode *	getTCTNode (NodeID id) const
	Get TCT node.

TCTEdge *	hasGraphEdge (TCTNode src, TCTNode dst, TCTEdge::CEDGEK kind) const
	Whether we have already created this call graph edge.

TCTEdge *	getGraphEdge (TCTNode src, TCTNode dst, TCTEdge::CEDGEK kind)
	Get call graph edge via nodes.

ThreadCreateEdgeSet::const_iterator	getChildrenBegin (const TCTNode *node) const
	Get children and parent nodes.

ThreadCreateEdgeSet::const_iterator	getChildrenEnd (const TCTNode *node) const

ThreadCreateEdgeSet::const_iterator	getParentsBegin (const TCTNode *node) const

ThreadCreateEdgeSet::const_iterator	getParentsEnd (const TCTNode *node) const

const FunSet &	getMakredProcs () const
	Get marked candidate functions.

const FunSet &	getEntryProcs () const
	Get marked candidate functions.

u32_t	getTCTNodeNum () const
	Get Statistics.

u32_t	getTCTEdgeNum () const

u32_t	getMaxCxtSize () const

bool	isExtCall (const ICFGNode *inst)
	Whether it is calling an external function.

bool	isCallSite (const ICFGNode *inst)
	Whether it is a callsite.

bool	hasTCTNode (const CxtThread &ct) const
	Find/Get TCT node.

TCTNode *	getTCTNode (const CxtThread &ct) const

bool	isCandidateFun (const CallGraph::FunctionSet &callees) const
	Whether it is a candidate function for indirect call.

bool	isCandidateFun (const FunObjVar *fun) const

bool	inSameCallGraphSCC (const CallGraphNode src, const CallGraphNode dst)
	Whether two functions in the same callgraph scc.

bool	hasParentThread (NodeID tid) const
	Get parent and sibling threads.

NodeBS	getParentThreads (NodeID tid) const
	Get parent threads.

const NodeBS	getAncestorThreads (NodeID tid) const
	Get all ancestor threads.

const NodeBS	getSiblingThread (NodeID tid) const
	Get sibling threads.

const CallStrCxtSet &	getCxtOfCxtThread (const CxtThread &ct) const
	get the contexts of a thread at its spawning sites (fork sites)

const FunObjVar *	getStartRoutineOfCxtThread (const CxtThread &ct) const
	get the start routine function of a thread

LoopBBs &	getJoinLoop (const CallICFGNode *join)
	Get loop for join site.

bool	hasJoinLoop (const CallICFGNode *join) const

bool	hasLoop (const SVFBasicBlock *bb) const

bool	hasLoop (const ICFGNode *inst) const

bool	isJoinMustExecutedInLoop (const LoopBBs &lp, const ICFGNode *join)
	Return true if a join instruction must be executed inside a loop.

const LoopBBs &	getLoop (const ICFGNode *inst)
	Get loop for an instruction.

const LoopBBs &	getLoop (const SVFBasicBlock *bb)
	Get loop for fork/join site.

bool	matchAndPopCxt (CallStrCxt &cxt, const CallICFGNode call, const FunObjVar callee)
	Match context.

bool	isContextSuffix (const CallStrCxt &lhs, const CallStrCxt &call)
	If lhs is a suffix of rhs, including equal.

bool	isJoinSiteInRecursion (const CallICFGNode *join) const
	Whether a join site is in recursion.

void	dumpCxt (CallStrCxt &cxt)
	Dump calling context.

void	dump (const std::string &filename)
	Dump the graph.

void	print () const
	Print TCT information.

Public Member Functions inherited from SVF::GenericGraph< NodeTy, EdgeTy >
	GenericGraph ()
	Constructor.

virtual	~GenericGraph ()
	Destructor.

void	destroy ()
	Release memory.

iterator	begin ()
	Iterators.

iterator	end ()

const_iterator	begin () const

const_iterator	end () const

void	addGNode (NodeID id, NodeType *node)
	Add a Node.

NodeType *	getGNode (NodeID id) const
	Get a node.

bool	hasGNode (NodeID id) const
	Has a node.

void	removeGNode (NodeType *node)
	Delete a node.

u32_t	getTotalNodeNum () const
	Get total number of node/edge.

u32_t	getTotalEdgeNum () const

void	incNodeNum ()
	Increase number of node/edge.

void	incEdgeNum ()

Protected Member Functions
void	build () override
	Build TCT.

void	markRelProcs () override
	Mark relevant procedures that are backward reachable from any fork/join site.

void	markRelProcs (const FunObjVar *fun) override

void	collectLoopInfoForJoin () override
	Handle join site in loop.

void	handleCallRelation (CxtThreadProc &ctp, const CallGraphEdge cgEdge, const CallICFGNode cs) override
	Handle call relations.

Protected Member Functions inherited from SVF::TCT
TCTNode *	addTCTNode (const CxtThread &ct)
	Add TCT node.

bool	addTCTEdge (TCTNode src, TCTNode dst)
	Add TCT edge.

void	reset ()

void	collectMultiForkedThreads ()

bool	isLoopHeaderOfJoinLoop (const SVFBasicBlock *bb)
	Whether a given bb is a loop head of a inloop join site.

bool	isLoopExitOfJoinLoop (const SVFBasicBlock *bb)
	Whether a given bb is an exit of a inloop join site.

bool	isInLoopInstruction (const ICFGNode *inst)
	Multi-forked threads.

bool	isInRecursion (const ICFGNode *inst) const
	Whether an instruction is in a recursion.

TCTNode *	getOrCreateTCTNode (const CallStrCxt &cxt, const ICFGNode fork, const CxtThreadProc &forkSiteCtp, const FunObjVar routine)
	Get or create a tct node based on CxtThread.

void	setMultiForkedAttrs (CxtThread &ct)
	Set multi-forked thread attributes.

bool	addCxtOfCxtThread (NodeID pTid, const CallStrCxt &cxt, const CxtThread &ct)

void	addStartRoutineOfCxtThread (const FunObjVar *fun, const CxtThread &ct)
	Add start routine function of a cxt thread.

ICFGNode *	createDummyForkSite ()
	Create and get a new dummy fork site for starter routines.

bool	pushToCTPWorkList (const CxtThreadProc &ctp)
	WorkList helper functions.

CxtThreadProc	popFromCTPWorkList ()

bool	isVisitedCTPs (const CxtThreadProc &ctp) const

Private Member Functions
void	collectEntryFunInCallGraph () override
	Get entry functions that are neither called by other functions nor extern functions.

bool	isKeptNode (const CallGraphNode *node) const

bool	isKeptEdge (const CallGraphEdge *edge) const

void	getKeptForkSites (std::vector< const ICFGNode * > &out) const

void	getKeptJoinSites (std::vector< const ICFGNode * > &out) const

Private Attributes
const SlicedThreadCallGraphView *	tcgView

u32_t	maxContextLen

Additional Inherited Members
Public Types inherited from SVF::TCT
typedef SVFLoopAndDomInfo::LoopBBs	LoopBBs

typedef TCTEdge::ThreadCreateEdgeSet	ThreadCreateEdgeSet

typedef ThreadCreateEdgeSet::iterator	TCTNodeIter

typedef OrderedSet< const FunObjVar *, FunObjVarIdCmp >	FunSet

typedef std::vector< const ICFGNode * >	InstVec

typedef Set< const ICFGNode * >	InstSet

typedef Set< const CallGraphNode * >	PTACGNodeSet

typedef Map< CxtThread, TCTNode * >	CxtThreadToNodeMap

typedef Set< std::pair< NodeID, CallStrCxt > >	CallStrCxtSet

typedef Map< CxtThread, CallStrCxtSet >	CxtThreadToForkCxtSet

typedef Map< CxtThread, const FunObjVar * >	CxtThreadToFun

typedef Map< const ICFGNode *, LoopBBs >	InstToLoopMap

typedef FIFOWorkList< CxtThreadProc >	CxtThreadProcVec

typedef Set< CxtThreadProc >	CxtThreadProcSet

typedef SCCDetection< CallGraph * >	ThreadCallGraphSCC

typedef Set< const ICFGNode * >	DummyForkSiteSet

Public Types inherited from SVF::GenericGraph< NodeTy, EdgeTy >
typedef NodeTy	NodeType

typedef EdgeTy	EdgeType

typedef OrderedMap< NodeID, NodeType * >	IDToNodeMapTy
	NodeID to GenericNode map.

typedef IDToNodeMapTy::iterator	iterator
	Node Iterators.

typedef IDToNodeMapTy::const_iterator	const_iterator

Public Attributes inherited from SVF::GenericGraph< NodeTy, EdgeTy >
u32_t	edgeNum
	total num of node

u32_t	nodeNum
	total num of edge

Protected Attributes inherited from SVF::TCT
ThreadCallGraph *	tcg

PointerAnalysis *	pta

u32_t	TCTNodeNum

u32_t	TCTEdgeNum

u32_t	MaxCxtSize

FunSet	entryFuncSet

FunSet	candidateFuncSet
	Procedures that are neither called by other functions nor extern functions.

ThreadCallGraphSCC *	tcgSCC
	Procedures we care about during call graph traversing when creating TCT.

CxtThreadProcVec	ctpList
	Thread call graph SCC.

CxtThreadProcSet	visitedCTPs
	CxtThreadProc List.

CxtThreadToNodeMap	ctpToNodeMap
	Record all visited ctps.

CxtThreadToForkCxtSet	ctToForkCxtsMap
	Map a ctp to its graph node.

CxtThreadToFun	ctToRoutineFunMap
	Map a CxtThread to the context at its spawning site (fork site).

InstToLoopMap	joinSiteToLoopMap
	Map a CxtThread to its start routine function.

Set< const ICFGNode * >	inRecurJoinSites
	Fork or Join sites in recursions.

DummyForkSiteSet	dummyForkSites
	set of dummy fork sites for starter routines

NodeID	dummyForkICFGNodeID = UINT32_MAX
	unique ID generator for dummy

Protected Attributes inherited from SVF::GenericGraph< NodeTy, EdgeTy >
IDToNodeMapTy	IDToNodeMap
	node map

Detailed Description

Definition at line 80 of file MTASlicer.h.

Constructor & Destructor Documentation

◆ SlicedTCT()

SVF::SlicedTCT::SlicedTCT	(	PointerAnalysis *	p,
		const SlicedSVFIRView *	slicedView,
		u32_t	maxContextLen = `0`
	)

Parameters

p	PointerAnalysis (the shared Andersen pre-analysis)
slicedView	SlicedSVFIRView containing a SlicedThreadCallGraphView
maxContextLen	Max context length (0 = use Options::MaxContextLen())

Definition at line 66 of file MTASlicer.cpp.

    : TCT(p),
      tcgView(slicedView != nullptr && slicedView->getThreadCallGraph() != nullptr ? slicedView->getThreadCallGraph() : nullptr),
      maxContextLen(maxContextLen)
{
    // Base class TCT(p) constructor called build() before tcgView was initialized.
    // Now that tcgView is initialized, rebuild using sliced view.
    if (tcgView != nullptr)
    {
        build();
    }
}

◆ ~SlicedTCT()

SVF::SlicedTCT::~SlicedTCT ( )

overridedefault

Member Function Documentation

◆ build()

void SVF::SlicedTCT::build ( )

overrideprotectedvirtual

Build TCT.

Start building TCT

Reimplemented from SVF::TCT.

Definition at line 79 of file MTASlicer.cpp.

{
    if (tcgView == nullptr)
    {
        TCT::build();
        return;
    }
 
    // The base TCT(p) constructor already built the whole-program TCT. Reset it to
    // a clean graph so the slice rebuilds from scratch (addGNode reissues ids from
    // 0; stale nodes left behind would later fail the MHP getCxtOfCxtThread lookup).
    reset();
 
    // Call base class build() which will call our overridden methods
    // (markRelProcs, collectLoopInfoForJoin, collectEntryFunInCallGraph)
    // that filter using sliced view, then build the TCT tree
    TCT::build();
}

◆ collectEntryFunInCallGraph()

void SVF::SlicedTCT::collectEntryFunInCallGraph ( )

overrideprivatevirtual

Get entry functions that are neither called by other functions nor extern functions.

Get entry function, i.e., functions without callers, e.g., main function

Reimplemented from SVF::TCT.

Definition at line 203 of file MTASlicer.cpp.

{
    if (tcgView == nullptr)
    {
        TCT::collectEntryFunInCallGraph();
        return;
    }
 
    // Use sliced CallGraph view to collect entry functions
    // Only collect functions that are kept in sliced view
    const OrderedSet<const CallGraphNode*>& keptNodes = tcgView->getKeptNodes();
 
    for (const CallGraphNode* node : keptNodes)
    {
        const FunObjVar* fun = node->getFunction();
        if (SVFUtil::isExtCall(fun))
            continue;
 
        // Check if this node has no incoming edges in the sliced view
        std::vector<const CallGraphEdge*> inEdges;
        tcgView->getInEdgesOf(node, inEdges);
        if (inEdges.empty())
        {
            entryFuncSet.insert(fun);
        }
    }
 
    assert(!getEntryProcs().empty() && "Can't find any function in module!");
}

◆ collectLoopInfoForJoin()

void SVF::SlicedTCT::collectLoopInfoForJoin ( )

overrideprotectedvirtual

Handle join site in loop.

collect loop info for join sites

Collect loop info for join sites the in-loop join site must be joined if the loop is executed

Reimplemented from SVF::TCT.

Definition at line 170 of file MTASlicer.cpp.

{
    if (tcgView == nullptr)
    {
        TCT::collectLoopInfoForJoin();
        return;
    }
 
    // Get kept join sites from sliced view
    std::vector<const ICFGNode*> keptJoinSites;
    getKeptJoinSites(keptJoinSites);
 
    for(const ICFGNode* join : keptJoinSites)
    {
        const FunObjVar* svffun = join->getFun();
        const SVFBasicBlock* svfbb = join->getBB();
 
        if(svffun->hasLoopInfo(svfbb))
        {
            const LoopBBs& lp = svffun->getLoopInfo(svfbb);
            if(!lp.empty() && isJoinMustExecutedInLoop(lp,join))
            {
                joinSiteToLoopMap[join] = lp;
            }
        }
 
        if(isInRecursion(join))
        {
            inRecurJoinSites.insert(join);
        }
    }
}

◆ getKeptForkSites()

void SVF::SlicedTCT::getKeptForkSites ( std::vector< const ICFGNode * > & out ) const

private

Definition at line 280 of file MTASlicer.cpp.

{
    out.clear();
    if (tcgView == nullptr)
    {
        // Fall back to original
        for (ThreadCallGraph::CallSiteSet::const_iterator it = tcg->forksitesBegin(), eit = tcg->forksitesEnd(); it != eit; ++it)
        {
            out.push_back(*it);
        }
        return;
    }
 
    // Get all fork sites from original ThreadCallGraph, but filter by:
    // 1. The function containing the fork site is kept
    // 2. There exists a kept fork edge from this fork site
    for (ThreadCallGraph::CallSiteSet::const_iterator it = tcg->forksitesBegin(), eit = tcg->forksitesEnd(); it != eit; ++it)
    {
        const ICFGNode* forkSite = *it;
        const CallICFGNode* callNode = SVFUtil::dyn_cast<CallICFGNode>(forkSite);
        if (callNode == nullptr)
            continue;
 
        // Check if the function containing the fork site is kept
        const FunObjVar* fun = forkSite->getFun();
        CallGraphNode* cgNode = tcg->getCallGraphNode(fun);
        if (!isKeptNode(cgNode))
            continue;
 
        // Check if there's a kept fork edge from this fork site
        // Use sliced view to get out edges
        std::vector<const CallGraphEdge*> outEdges;
        tcgView->getOutEdgesOf(cgNode, outEdges);
 
        bool hasKeptForkEdge = false;
        for (const CallGraphEdge* edge : outEdges)
        {
            if (edge->getEdgeKind() == CallGraphEdge::TDForkEdge)
            {
                // Check if this edge corresponds to the fork site
                const CallGraphEdge::CallInstSet& directCalls = edge->getDirectCalls();
                const CallGraphEdge::CallInstSet& indirectCalls = edge->getIndirectCalls();
 
                if (directCalls.count(callNode) > 0 || indirectCalls.count(callNode) > 0)
                {
                    // Check if the destination is kept
                    const CallGraphNode* dstNode = edge->getDstNode();
                    if (isKeptNode(dstNode))
                    {
                        hasKeptForkEdge = true;
                        break;
                    }
                }
            }
        }
 
        if (hasKeptForkEdge)
        {
            out.push_back(forkSite);
        }
    }
}

◆ getKeptJoinSites()

void SVF::SlicedTCT::getKeptJoinSites ( std::vector< const ICFGNode * > & out ) const

private

Definition at line 343 of file MTASlicer.cpp.

{
    out.clear();
    if (tcgView == nullptr)
    {
        // Fall back to original
        for (ThreadCallGraph::CallSiteSet::const_iterator it = tcg->joinsitesBegin(), eit = tcg->joinsitesEnd(); it != eit; ++it)
        {
            out.push_back(*it);
        }
        return;
    }
 
    // Get all join sites from original ThreadCallGraph, but filter by:
    // 1. The function containing the join site is kept
    // 2. There exists a kept join edge to this join site
    for (ThreadCallGraph::CallSiteSet::const_iterator it = tcg->joinsitesBegin(), eit = tcg->joinsitesEnd(); it != eit; ++it)
    {
        const ICFGNode* joinSite = *it;
        const CallICFGNode* callNode = SVFUtil::dyn_cast<CallICFGNode>(joinSite);
        if (callNode == nullptr)
            continue;
 
        // Check if the function containing the join site is kept
        const FunObjVar* fun = joinSite->getFun();
        CallGraphNode* cgNode = tcg->getCallGraphNode(fun);
        if (!isKeptNode(cgNode))
            continue;
 
        // Check if there's a kept join edge to this join site
        // Use sliced view to get in edges
        std::vector<const CallGraphEdge*> inEdges;
        tcgView->getInEdgesOf(cgNode, inEdges);
 
        bool hasKeptJoinEdge = false;
        for (const CallGraphEdge* edge : inEdges)
        {
            if (edge->getEdgeKind() == CallGraphEdge::TDJoinEdge)
            {
                // Check if this edge corresponds to the join site
                const CallGraphEdge::CallInstSet& directCalls = edge->getDirectCalls();
                const CallGraphEdge::CallInstSet& indirectCalls = edge->getIndirectCalls();
 
                if (directCalls.count(callNode) > 0 || indirectCalls.count(callNode) > 0)
                {
                    // Check if the source is kept
                    const CallGraphNode* srcNode = edge->getSrcNode();
                    if (isKeptNode(srcNode))
                    {
                        hasKeptJoinEdge = true;
                        break;
                    }
                }
            }
        }
 
        if (hasKeptJoinEdge)
        {
            out.push_back(joinSite);
        }
    }
}

◆ handleCallRelation()

void SVF::SlicedTCT::handleCallRelation	(	CxtThreadProc &	ctp,
		const CallGraphEdge *	cgEdge,
		const CallICFGNode *	cs
	)

overrideprotectedvirtual

Handle call relations.

Handle call relations

handle calling context for candidate functions only

Create spawnee TCT node

Add TCT nodes and edge

Reimplemented from SVF::TCT.

Definition at line 233 of file MTASlicer.cpp.

{
    // Check if the call site and callee are kept in sliced view
    if (!isKeptEdge(cgEdge))
        return;
 
    const CallGraphNode* dstNode = cgEdge->getDstNode();
    if (!isKeptNode(dstNode))
        return;
 
    // Call base class implementation
    TCT::handleCallRelation(ctp, cgEdge, cs);
}

◆ isKeptEdge()

bool SVF::SlicedTCT::isKeptEdge ( const CallGraphEdge * edge ) const

private

Definition at line 272 of file MTASlicer.cpp.

{
    if (tcgView == nullptr)
        return true;
    const CallGraph::CallGraphEdgeSet& keptEdges = tcgView->getKeptEdges();
    return keptEdges.find(const_cast<CallGraphEdge*>(edge)) != keptEdges.end();
}

◆ isKeptNode()

bool SVF::SlicedTCT::isKeptNode ( const CallGraphNode * node ) const

private

Definition at line 265 of file MTASlicer.cpp.

{
    if (tcgView == nullptr)
        return true;
    return tcgView->isKeptNode(node);
}

◆ markRelProcs() [1/2]

void SVF::SlicedTCT::markRelProcs ( )

overrideprotectedvirtual

Mark relevant procedures that are backward reachable from any fork/join site.

Mark relevant procedures that are backward reachable from any fork/join site

Reimplemented from SVF::TCT.

Definition at line 98 of file MTASlicer.cpp.

{
    if (tcgView == nullptr)
    {
        TCT::markRelProcs();
        return;
    }
 
    // Get kept fork sites from sliced view
    std::vector<const ICFGNode*> keptForkSites;
    getKeptForkSites(keptForkSites);
 
    for (const ICFGNode* forkSite : keptForkSites)
    {
        // Get function from fork site
        const FunObjVar* svfun = forkSite->getFun();
        TCT::markRelProcs(svfun);
 
        // Get fork edges from sliced view (use tcgView to get out edges)
        const CallICFGNode* callNode = SVFUtil::cast<CallICFGNode>(forkSite);
        const FunObjVar* callerFun = callNode->getFun();
        CallGraphNode* callerNode = tcg->getCallGraphNode(callerFun);
 
        if (!isKeptNode(callerNode))
            continue;
 
        // Use sliced view to get out edges (which filters by kept edges)
        std::vector<const CallGraphEdge*> outEdges;
        tcgView->getOutEdgesOf(callerNode, outEdges);
 
        for (const CallGraphEdge* edge : outEdges)
        {
            // Check if this is a fork edge
            if (edge->getEdgeKind() == CallGraphEdge::TDForkEdge)
            {
                const CallGraphNode* forkeeNode = edge->getDstNode();
                if (isKeptNode(forkeeNode))
                {
                    // Check if this edge corresponds to the fork site
                    const CallGraphEdge::CallInstSet& directCalls = edge->getDirectCalls();
                    const CallGraphEdge::CallInstSet& indirectCalls = edge->getIndirectCalls();
 
                    if (directCalls.count(callNode) > 0 || indirectCalls.count(callNode) > 0)
                    {
                        const FunObjVar* forkeeFun = forkeeNode->getFunction();
                        candidateFuncSet.insert(forkeeFun);
                    }
                }
            }
        }
    }
 
    // Get kept join sites from sliced view
    std::vector<const ICFGNode*> keptJoinSites;
    getKeptJoinSites(keptJoinSites);
 
    for (const ICFGNode* joinSite : keptJoinSites)
    {
        const FunObjVar* svfun = joinSite->getFun();
        TCT::markRelProcs(svfun);
    }
 
    if(getMakredProcs().empty())
        SVFUtil::writeWrnMsg("We didn't recognize any fork site, this is single thread program?");
}

◆ markRelProcs() [2/2]

void SVF::SlicedTCT::markRelProcs ( const FunObjVar * svffun )

overrideprotectedvirtual

Add relevant procedures that are backward reachable from svffun on Thread Call Graph

Reimplemented from SVF::TCT.

Definition at line 164 of file MTASlicer.cpp.

{
    // Call base class implementation
    TCT::markRelProcs(fun);
}

◆ pushCxt()

void SVF::SlicedTCT::pushCxt	(	CallStrCxt &	cxt,
		const CallICFGNode *	call,
		const FunObjVar *	callee
	)

overridevirtual

Override pushCxt to use the custom maxContextLen.

Reimplemented from SVF::TCT.

Definition at line 247 of file MTASlicer.cpp.

{
    const FunObjVar* caller = call->getFun();
    CallSiteID csId = tcg->getCallSiteID(call, callee);
 
    if(inSameCallGraphSCC(tcg->getCallGraphNode(caller), tcg->getCallGraphNode(callee)) == false)
    {
        cxt.push_back(csId);
        // Use custom maxContextLen if set, otherwise use Options::MaxContextLen()
        u32_t maxLen = (maxContextLen > 0) ? maxContextLen : Options::MaxContextLen();
        if (cxt.size() > maxLen)
            cxt.erase(cxt.begin());
        if (cxt.size() > MaxCxtSize)
            MaxCxtSize = cxt.size();
        DBOUT(DMTA, dumpCxt(cxt));
    }
}

Member Data Documentation

◆ maxContextLen

u32_t SVF::SlicedTCT::maxContextLen

private

Definition at line 104 of file MTASlicer.h.

◆ tcgView

const SlicedThreadCallGraphView* SVF::SlicedTCT::tcgView

private

Definition at line 103 of file MTASlicer.h.

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

Public Member Functions

Protected Member Functions

Private Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ SlicedTCT()

◆ ~SlicedTCT()

Member Function Documentation

◆ build()

◆ collectEntryFunInCallGraph()

◆ collectLoopInfoForJoin()

◆ getKeptForkSites()

◆ getKeptJoinSites()

◆ handleCallRelation()

◆ isKeptEdge()

◆ isKeptNode()

◆ markRelProcs() [1/2]

◆ markRelProcs() [2/2]

◆ pushCxt()

Member Data Documentation

◆ maxContextLen

◆ tcgView