#include <ThreadCallGraph.h>

Inheritance diagram for SVF::ThreadCallGraph:

Public Types
typedef Set< const CallICFGNode * >	InstSet

typedef InstSet	CallSiteSet

typedef Set< CallSiteSet * >	CtxSet

typedef ThreadForkEdge::ForkEdgeSet	ForkEdgeSet

typedef Map< const CallICFGNode *, ForkEdgeSet >	CallInstToForkEdgesMap

typedef ThreadJoinEdge::JoinEdgeSet	JoinEdgeSet

typedef Map< const CallICFGNode *, JoinEdgeSet >	CallInstToJoinEdgesMap

typedef HareParForEdge::ParForEdgeSet	ParForEdgeSet

typedef Map< const CallICFGNode *, ParForEdgeSet >	CallInstToParForEdgesMap

Public Types inherited from SVF::PTACallGraph
enum	CGEK { NormCallGraph , ThdCallGraph }

typedef PTACallGraphEdge::CallGraphEdgeSet	CallGraphEdgeSet

typedef Map< const SVFFunction , PTACallGraphNode >	FunToCallGraphNodeMap

typedef Map< const CallICFGNode *, CallGraphEdgeSet >	CallInstToCallGraphEdgesMap

typedef std::pair< const CallICFGNode , const SVFFunction >	CallSitePair

typedef Map< CallSitePair, CallSiteID >	CallSiteToIdMap

typedef Map< CallSiteID, CallSitePair >	IdToCallSiteMap

typedef Set< const SVFFunction * >	FunctionSet

typedef OrderedMap< const CallICFGNode *, FunctionSet >	CallEdgeMap

typedef CallGraphEdgeSet::iterator	CallGraphEdgeIter

typedef CallGraphEdgeSet::const_iterator	CallGraphEdgeConstIter

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 Member Functions
	ThreadCallGraph (const CallGraph &cg)
	Constructor.

	ThreadCallGraph (ThreadCallGraph &cg)=delete

virtual	~ThreadCallGraph ()
	Destructor.

void	updateCallGraph (PointerAnalysis *pta)
	Update call graph using pointer results.

void	updateJoinEdge (PointerAnalysis *pta)
	Update join edge using pointer analysis results.

bool	hasThreadForkEdge (const CallICFGNode *cs) const
	Get call graph edge via call instruction.

ForkEdgeSet::const_iterator	getForkEdgeBegin (const CallICFGNode *cs) const

ForkEdgeSet::const_iterator	getForkEdgeEnd (const CallICFGNode *cs) const

bool	hasThreadJoinEdge (const CallICFGNode *cs) const
	Get call graph edge via call instruction.

JoinEdgeSet::const_iterator	getJoinEdgeBegin (const CallICFGNode *cs) const

JoinEdgeSet::const_iterator	getJoinEdgeEnd (const CallICFGNode *cs) const

void	getJoinSites (const PTACallGraphNode *routine, InstSet &csSet)

Public Member Functions inherited from SVF::PTACallGraph
	PTACallGraph (CGEK k=NormCallGraph)
	Constructor.

	PTACallGraph (const CallGraph &other)
	Copy constructor.

virtual	~PTACallGraph ()
	Destructor.

CGEK	getKind () const
	Return type of this callgraph.

CallEdgeMap &	getIndCallMap ()
	Get callees from an indirect callsite.

bool	hasIndCSCallees (const CallICFGNode *cs) const

const FunctionSet &	getIndCSCallees (const CallICFGNode *cs) const

u32_t	getTotalCallSiteNumber () const

u32_t	getNumOfResolvedIndCallEdge () const

const CallInstToCallGraphEdgesMap &	getCallInstToCallGraphEdgesMap () const

void	verifyCallGraph ()
	Issue a warning if the function which has indirect call sites can not be reached from program entry.

PTACallGraphNode *	getCallGraphNode (NodeID id) const
	Get call graph node.

PTACallGraphNode *	getCallGraphNode (const SVFFunction *fun) const

CallSiteID	getCallSiteID (const CallICFGNode cs, const SVFFunction callee) const
	Get CallSiteID.

bool	hasCallSiteID (const CallICFGNode cs, const SVFFunction callee) const

const CallSitePair &	getCallSitePair (CallSiteID id) const

const CallICFGNode *	getCallSite (CallSiteID id) const

const SVFFunction *	getCallerOfCallSite (CallSiteID id) const

const SVFFunction *	getCalleeOfCallSite (CallSiteID id) const

PTACallGraphEdge *	hasGraphEdge (PTACallGraphNode src, PTACallGraphNode dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const
	Whether we have already created this call graph edge.

PTACallGraphEdge *	getGraphEdge (PTACallGraphNode src, PTACallGraphNode dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId)
	Get call graph edge via nodes.

void	getCallees (const CallICFGNode *cs, FunctionSet &callees)
	Get all callees for a callsite.

bool	hasCallGraphEdge (const CallICFGNode *inst) const
	Get call graph edge via call instruction.

CallGraphEdgeSet::const_iterator	getCallEdgeBegin (const CallICFGNode *inst) const

CallGraphEdgeSet::const_iterator	getCallEdgeEnd (const CallICFGNode *inst) const

void	addIndirectCallGraphEdge (const CallICFGNode cs, const SVFFunction callerFun, const SVFFunction *calleeFun)
	Add indirect call edges.

void	getAllCallSitesInvokingCallee (const SVFFunction *callee, PTACallGraphEdge::CallInstSet &csSet)
	Get callsites invoking the callee.

void	getDirCallSitesInvokingCallee (const SVFFunction *callee, PTACallGraphEdge::CallInstSet &csSet)

void	getIndCallSitesInvokingCallee (const SVFFunction *callee, PTACallGraphEdge::CallInstSet &csSet)

bool	isReachableBetweenFunctions (const SVFFunction srcFn, const SVFFunction dstFn) const
	Whether its reachable between two functions.

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

void	view ()
	View the graph from the debugger.

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 ()

Static Public Member Functions
static bool	classof (const ThreadCallGraph *)
	ClassOf.

static bool	classof (const PTACallGraph *g)

ThreadAPI *	tdAPI
	Thread API.

CallSiteSet	forksites
	all thread fork sites

CallSiteSet	joinsites
	all thread fork sites

CallSiteSet	parForSites
	all parallel for sites

CallInstToForkEdgesMap	callinstToThreadForkEdgesMap
	Map a call instruction to its corresponding fork edges.

CallInstToJoinEdgesMap	callinstToThreadJoinEdgesMap
	Map a call instruction to its corresponding join edges.

CallInstToParForEdgesMap	callinstToHareParForEdgesMap
	Map a call instruction to its corresponding hare_parallel_for edges.

bool	isForksite (const CallICFGNode *csInst)

bool	isJoinsite (const CallICFGNode *csInst)

bool	isParForSite (const CallICFGNode *csInst)

CallSiteSet::const_iterator	forksitesBegin () const
	Fork sites iterators.

CallSiteSet::const_iterator	forksitesEnd () const

CallSiteSet::const_iterator	joinsitesBegin () const
	Join sites iterators.

CallSiteSet::const_iterator	joinsitesEnd () const

CallSiteSet::const_iterator	parForSitesBegin () const
	hare_parallel_for sites iterators

CallSiteSet::const_iterator	parForSitesEnd () const

u32_t	getNumOfForksite () const
	Num of fork/join sites.

u32_t	getNumOfJoinsite () const

u32_t	getNumOfParForSite () const

ThreadAPI *	getThreadAPI () const
	Thread API.

bool	addForksite (const CallICFGNode *cs)
	Add fork sites which directly or indirectly create a thread.

bool	addJoinsite (const CallICFGNode *cs)

bool	addParForSite (const CallICFGNode *cs)

bool	addDirectForkEdge (const CallICFGNode *cs)
	Add direct/indirect thread fork edges.

bool	addIndirectForkEdge (const CallICFGNode cs, const SVFFunction callee)

void	addDirectJoinEdge (const CallICFGNode *cs, const CallSiteSet &forksite)
	Add thread join edges.

void	addThreadForkEdgeSetMap (const CallICFGNode cs, ThreadForkEdge edge)
	map call instruction to its PTACallGraphEdge map

void	addThreadJoinEdgeSetMap (const CallICFGNode cs, ThreadJoinEdge edge)
	map call instruction to its PTACallGraphEdge map

void	addHareParForEdgeSetMap (const CallICFGNode cs, HareParForEdge edge)
	map call instruction to its PTACallGraphEdge map

ThreadJoinEdge *	hasThreadJoinEdge (const CallICFGNode call, PTACallGraphNode joinFunNode, PTACallGraphNode *threadRoutineFunNode, CallSiteID csId) const
	has thread join edge

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

u32_t	nodeNum
	total num of edge

Protected Member Functions inherited from SVF::PTACallGraph
void	destroy ()
	Clean up memory.

CallSiteID	addCallSite (const CallICFGNode cs, const SVFFunction callee)
	Add CallSiteID.

void	addEdge (PTACallGraphEdge *edge)
	Add call graph edge.

Protected Attributes inherited from SVF::PTACallGraph
FunToCallGraphNodeMap	funToCallGraphNodeMap
	Call Graph node map.

CallInstToCallGraphEdgesMap	callinstToCallGraphEdgesMap
	Map a call instruction to its corresponding call edges.

NodeID	callGraphNodeNum

u32_t	numOfResolvedIndCallEdge

CGEK	kind

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

Detailed Description

Thread sensitive call graph

Definition at line 160 of file ThreadCallGraph.h.

Member Typedef Documentation

◆ CallInstToForkEdgesMap

typedef Map<const CallICFGNode*, ForkEdgeSet> SVF::ThreadCallGraph::CallInstToForkEdgesMap

Definition at line 168 of file ThreadCallGraph.h.

◆ CallInstToJoinEdgesMap

typedef Map<const CallICFGNode*, JoinEdgeSet> SVF::ThreadCallGraph::CallInstToJoinEdgesMap

Definition at line 170 of file ThreadCallGraph.h.

◆ CallInstToParForEdgesMap

typedef Map<const CallICFGNode*, ParForEdgeSet> SVF::ThreadCallGraph::CallInstToParForEdgesMap

Definition at line 172 of file ThreadCallGraph.h.

◆ CallSiteSet

typedef InstSet SVF::ThreadCallGraph::CallSiteSet

Definition at line 165 of file ThreadCallGraph.h.

◆ CtxSet

typedef Set<CallSiteSet*> SVF::ThreadCallGraph::CtxSet

Definition at line 166 of file ThreadCallGraph.h.

◆ ForkEdgeSet

typedef ThreadForkEdge::ForkEdgeSet SVF::ThreadCallGraph::ForkEdgeSet

Definition at line 167 of file ThreadCallGraph.h.

◆ InstSet

typedef Set<const CallICFGNode*> SVF::ThreadCallGraph::InstSet

Definition at line 164 of file ThreadCallGraph.h.

◆ JoinEdgeSet

typedef ThreadJoinEdge::JoinEdgeSet SVF::ThreadCallGraph::JoinEdgeSet

Definition at line 169 of file ThreadCallGraph.h.

◆ ParForEdgeSet

typedef HareParForEdge::ParForEdgeSet SVF::ThreadCallGraph::ParForEdgeSet

Definition at line 171 of file ThreadCallGraph.h.

Constructor & Destructor Documentation

◆ ThreadCallGraph() [1/2]

ThreadCallGraph::ThreadCallGraph ( const CallGraph & cg )

Constructor.

Constructor

Definition at line 43 of file ThreadCallGraph.cpp.

                                                    :
    PTACallGraph(cg), tdAPI(ThreadAPI::getThreadAPI())
{
    kind = ThdCallGraph;
    DBOUT(DGENERAL, outs() << SVFUtil::pasMsg("Building ThreadCallGraph\n"));
}

◆ ThreadCallGraph() [2/2]

SVF::ThreadCallGraph::ThreadCallGraph ( ThreadCallGraph & cg )

delete

◆ ~ThreadCallGraph()

virtual SVF::ThreadCallGraph::~ThreadCallGraph ( )

inlinevirtual

Destructor.

Definition at line 180 of file ThreadCallGraph.h.

181 {

182 }

Member Function Documentation

◆ addDirectForkEdge()

bool ThreadCallGraph::addDirectForkEdge ( const CallICFGNode * cs )

Add direct/indirect thread fork edges.

Add direct fork edges

Definition at line 126 of file ThreadCallGraph.cpp.

{
 
    PTACallGraphNode* caller = getCallGraphNode(cs->getCaller());
    const SVFFunction* forkee = SVFUtil::dyn_cast<FunValVar>(tdAPI->getForkedFun(cs))
                                ->getCallGraphNode()->getFunction();
    assert(forkee && "callee does not exist");
    PTACallGraphNode* callee = getCallGraphNode(forkee->getDefFunForMultipleModule());
    CallSiteID csId = addCallSite(cs, callee->getFunction());
 
    if (!hasGraphEdge(caller, callee, PTACallGraphEdge::TDForkEdge, csId))
    {
        assert(cs->getCaller() == caller->getFunction() && "callee instruction not inside caller??");
 
        ThreadForkEdge* edge = new ThreadForkEdge(caller, callee, csId);
        edge->addDirectCallSite(cs);
 
        addEdge(edge);
        addThreadForkEdgeSetMap(cs, edge);
        return true;
    }
    else
        return false;
}

◆ addDirectJoinEdge()

void ThreadCallGraph::addDirectJoinEdge	(	const CallICFGNode *	cs,
		const CallSiteSet &	forkset
	)

Add thread join edges.

Add direct fork edges As join edge is a special return which is back to join site(s) rather than its fork site A ThreadJoinEdge is created from the functions where join sites reside in to the start routine function But we don't invoke addEdge() method to add the edge to src and dst, otherwise it makes a scc cycle

Definition at line 182 of file ThreadCallGraph.cpp.

{
 
    PTACallGraphNode* joinFunNode = getCallGraphNode(cs->getCaller());
 
    for (CallSiteSet::const_iterator it = forkset.begin(), eit = forkset.end(); it != eit; ++it)
    {
 
        const SVFFunction* threadRoutineFun =
            SVFUtil::dyn_cast<FunValVar>(tdAPI->getForkedFun(*it))
            ->getCallGraphNode()
            ->getFunction();
        assert(threadRoutineFun && "thread routine function does not exist");
        PTACallGraphNode* threadRoutineFunNode = getCallGraphNode(threadRoutineFun);
        CallSiteID csId = addCallSite(cs, threadRoutineFun);
 
        if (!hasThreadJoinEdge(cs,joinFunNode,threadRoutineFunNode, csId))
        {
            assert(cs->getCaller() == joinFunNode->getFunction() && "callee instruction not inside caller??");
            ThreadJoinEdge* edge = new ThreadJoinEdge(joinFunNode,threadRoutineFunNode,csId);
            edge->addDirectCallSite(cs);
 
            addThreadJoinEdgeSetMap(cs, edge);
        }
    }
}

◆ addForksite()

bool SVF::ThreadCallGraph::addForksite ( const CallICFGNode * cs )

inline

Add fork sites which directly or indirectly create a thread.

Definition at line 333 of file ThreadCallGraph.h.

    {
        callinstToThreadForkEdgesMap[cs];
        return forksites.insert(cs).second;
    }

◆ addHareParForEdgeSetMap()

void SVF::ThreadCallGraph::addHareParForEdgeSetMap	(	const CallICFGNode *	cs,
		HareParForEdge *	edge
	)

inline

map call instruction to its PTACallGraphEdge map

Definition at line 383 of file ThreadCallGraph.h.

    {
        if(edge!=nullptr)
        {
            callinstToHareParForEdgesMap[cs].insert(edge);
            callinstToCallGraphEdgesMap[cs].insert(edge);
        }
    }

◆ addIndirectForkEdge()

bool ThreadCallGraph::addIndirectForkEdge	(	const CallICFGNode *	cs,
		const SVFFunction *	calleefun
	)

Add indirect fork edge to update call graph

Definition at line 154 of file ThreadCallGraph.cpp.

{
    PTACallGraphNode* caller = getCallGraphNode(cs->getCaller());
    PTACallGraphNode* callee = getCallGraphNode(calleefun);
 
    CallSiteID csId = addCallSite(cs, callee->getFunction());
 
    if (!hasGraphEdge(caller, callee, PTACallGraphEdge::TDForkEdge, csId))
    {
        assert(cs->getCaller() == caller->getFunction() && "callee instruction not inside caller??");
 
        ThreadForkEdge* edge = new ThreadForkEdge(caller, callee, csId);
        edge->addInDirectCallSite(cs);
 
        addEdge(edge);
        addThreadForkEdgeSetMap(cs, edge);
        return true;
    }
    else
        return false;
}

◆ addJoinsite()

bool SVF::ThreadCallGraph::addJoinsite ( const CallICFGNode * cs )

inline

Definition at line 338 of file ThreadCallGraph.h.

    {
        callinstToThreadJoinEdgesMap[cs];
        return joinsites.insert(cs).second;
    }

◆ addParForSite()

bool SVF::ThreadCallGraph::addParForSite ( const CallICFGNode * cs )

inline

Definition at line 343 of file ThreadCallGraph.h.

    {
        callinstToHareParForEdgesMap[cs];
        return parForSites.insert(cs).second;
    }

◆ addThreadForkEdgeSetMap()

void SVF::ThreadCallGraph::addThreadForkEdgeSetMap	(	const CallICFGNode *	cs,
		ThreadForkEdge *	edge
	)

inline

map call instruction to its PTACallGraphEdge map

Definition at line 363 of file ThreadCallGraph.h.

    {
        if(edge!=nullptr)
        {
            callinstToThreadForkEdgesMap[cs].insert(edge);
            callinstToCallGraphEdgesMap[cs].insert(edge);
        }
    }

◆ addThreadJoinEdgeSetMap()

void SVF::ThreadCallGraph::addThreadJoinEdgeSetMap	(	const CallICFGNode *	cs,
		ThreadJoinEdge *	edge
	)

inline

map call instruction to its PTACallGraphEdge map

Definition at line 373 of file ThreadCallGraph.h.

    {
        if(edge!=nullptr)
        {
            callinstToThreadJoinEdgesMap[cs].insert(edge);
            callinstToCallGraphEdgesMap[cs].insert(edge);
        }
    }

◆ classof() [1/2]

static bool SVF::ThreadCallGraph::classof ( const PTACallGraph * g )

inlinestatic

Definition at line 190 of file ThreadCallGraph.h.

    {
        return g->getKind() == PTACallGraph::ThdCallGraph;
    }

◆ classof() [2/2]

static bool SVF::ThreadCallGraph::classof ( const ThreadCallGraph * )

inlinestatic

ClassOf.

Definition at line 186 of file ThreadCallGraph.h.

    {
        return true;
    }

◆ forksitesBegin()

CallSiteSet::const_iterator SVF::ThreadCallGraph::forksitesBegin ( ) const

inline

Fork sites iterators.

Definition at line 275 of file ThreadCallGraph.h.

    {
        return forksites.begin();
    }

◆ forksitesEnd()

CallSiteSet::const_iterator SVF::ThreadCallGraph::forksitesEnd ( ) const

inline

Definition at line 279 of file ThreadCallGraph.h.

    {
        return forksites.end();
    }

◆ getForkEdgeBegin()

ForkEdgeSet::const_iterator SVF::ThreadCallGraph::getForkEdgeBegin ( const CallICFGNode * cs ) const

inline

Definition at line 210 of file ThreadCallGraph.h.

    {
        CallInstToForkEdgesMap::const_iterator it = callinstToThreadForkEdgesMap.find(cs);
        assert(it != callinstToThreadForkEdgesMap.end() && "call instruction not found");
        return it->second.begin();
    }

◆ getForkEdgeEnd()

ForkEdgeSet::const_iterator SVF::ThreadCallGraph::getForkEdgeEnd ( const CallICFGNode * cs ) const

inline

Definition at line 216 of file ThreadCallGraph.h.

    {
        CallInstToForkEdgesMap::const_iterator it = callinstToThreadForkEdgesMap.find(cs);
        assert(it != callinstToThreadForkEdgesMap.end() && "call instruction not found");
        return it->second.end();
    }

◆ getJoinEdgeBegin()

JoinEdgeSet::const_iterator SVF::ThreadCallGraph::getJoinEdgeBegin ( const CallICFGNode * cs ) const

inline

Definition at line 230 of file ThreadCallGraph.h.

    {
        CallInstToJoinEdgesMap::const_iterator it = callinstToThreadJoinEdgesMap.find(cs);
        assert(it != callinstToThreadJoinEdgesMap.end() && "call instruction does not have a valid callee");
        return it->second.begin();
    }

◆ getJoinEdgeEnd()

JoinEdgeSet::const_iterator SVF::ThreadCallGraph::getJoinEdgeEnd ( const CallICFGNode * cs ) const

inline

Definition at line 236 of file ThreadCallGraph.h.

    {
        CallInstToJoinEdgesMap::const_iterator it = callinstToThreadJoinEdgesMap.find(cs);
        assert(it != callinstToThreadJoinEdgesMap.end() && "call instruction does not have a valid callee");
        return it->second.end();
    }

◆ getJoinSites()

void SVF::ThreadCallGraph::getJoinSites	(	const PTACallGraphNode *	routine,
		InstSet &	csSet
	)

inline

Definition at line 242 of file ThreadCallGraph.h.

    {
        for(CallInstToJoinEdgesMap::const_iterator it = callinstToThreadJoinEdgesMap.begin(), eit = callinstToThreadJoinEdgesMap.end(); it!=eit; ++it)
        {
            for(JoinEdgeSet::const_iterator jit = it->second.begin(), ejit = it->second.end(); jit!=ejit; ++jit)
            {
                if((*jit)->getDstNode() == routine)
                {
                    csSet.insert(it->first);
                }
            }
        }
    }

◆ getNumOfForksite()

u32_t SVF::ThreadCallGraph::getNumOfForksite ( ) const

inline

Num of fork/join sites.

Definition at line 311 of file ThreadCallGraph.h.

    {
        return forksites.size();
    }

◆ getNumOfJoinsite()

u32_t SVF::ThreadCallGraph::getNumOfJoinsite ( ) const

inline

Definition at line 315 of file ThreadCallGraph.h.

    {
        return joinsites.size();
    }

◆ getNumOfParForSite()

u32_t SVF::ThreadCallGraph::getNumOfParForSite ( ) const

inline

Definition at line 319 of file ThreadCallGraph.h.

    {
        return parForSites.size();
    }

◆ getThreadAPI()

ThreadAPI * SVF::ThreadCallGraph::getThreadAPI ( ) const

inline

Thread API.

Definition at line 326 of file ThreadCallGraph.h.

    {
        return tdAPI;
    }

◆ hasThreadForkEdge()

bool SVF::ThreadCallGraph::hasThreadForkEdge ( const CallICFGNode * cs ) const

inline

Get call graph edge via call instruction.

whether this call instruction has a valid call graph edge

Definition at line 205 of file ThreadCallGraph.h.

    {
        return callinstToThreadForkEdgesMap.find(cs) !=
               callinstToThreadForkEdgesMap.end();
    }

◆ hasThreadJoinEdge() [1/2]

ThreadJoinEdge * SVF::ThreadCallGraph::hasThreadJoinEdge	(	const CallICFGNode *	call,
		PTACallGraphNode *	joinFunNode,
		PTACallGraphNode *	threadRoutineFunNode,
		CallSiteID	csId
	)		const

inline

has thread join edge

Definition at line 393 of file ThreadCallGraph.h.

    {
        ThreadJoinEdge joinEdge(joinFunNode,threadRoutineFunNode, csId);
        CallInstToJoinEdgesMap::const_iterator it = callinstToThreadJoinEdgesMap.find(call);
        if(it != callinstToThreadJoinEdgesMap.end())
        {
            JoinEdgeSet::const_iterator jit = it->second.find(&joinEdge);
            if(jit!=it->second.end())
                return *jit;
        }
        return nullptr;
    }

◆ hasThreadJoinEdge() [2/2]

bool SVF::ThreadCallGraph::hasThreadJoinEdge ( const CallICFGNode * cs ) const

inline

Get call graph edge via call instruction.

whether this call instruction has a valid call graph edge

Definition at line 226 of file ThreadCallGraph.h.

    {
        return callinstToThreadJoinEdgesMap.find(cs) != callinstToThreadJoinEdgesMap.end();
    }

◆ isForksite()

bool SVF::ThreadCallGraph::isForksite ( const CallICFGNode * csInst )

inline

Whether a callsite is a fork or join or hare_parallel_for

Definition at line 259 of file ThreadCallGraph.h.

    {
        return forksites.find(csInst) != forksites.end();
    }

◆ isJoinsite()

bool SVF::ThreadCallGraph::isJoinsite ( const CallICFGNode * csInst )

inline

Definition at line 263 of file ThreadCallGraph.h.

    {
        return joinsites.find(csInst) != joinsites.end();
    }

◆ isParForSite()

bool SVF::ThreadCallGraph::isParForSite ( const CallICFGNode * csInst )

inline

Definition at line 267 of file ThreadCallGraph.h.

    {
        return parForSites.find(csInst) != parForSites.end();
    }

◆ joinsitesBegin()

CallSiteSet::const_iterator SVF::ThreadCallGraph::joinsitesBegin ( ) const

inline

Join sites iterators.

Definition at line 287 of file ThreadCallGraph.h.

    {
        return joinsites.begin();
    }

◆ joinsitesEnd()

CallSiteSet::const_iterator SVF::ThreadCallGraph::joinsitesEnd ( ) const

inline

Definition at line 291 of file ThreadCallGraph.h.

    {
        return joinsites.end();
    }

◆ parForSitesBegin()

CallSiteSet::const_iterator SVF::ThreadCallGraph::parForSitesBegin ( ) const

inline

hare_parallel_for sites iterators

Definition at line 299 of file ThreadCallGraph.h.

    {
        return parForSites.begin();
    }

◆ parForSitesEnd()

CallSiteSet::const_iterator SVF::ThreadCallGraph::parForSitesEnd ( ) const

inline

Definition at line 303 of file ThreadCallGraph.h.

    {
        return parForSites.end();
    }

◆ updateCallGraph()

void ThreadCallGraph::updateCallGraph ( PointerAnalysis * pta )

Update call graph using pointer results.

Definition at line 57 of file ThreadCallGraph.cpp.

{
 
    PointerAnalysis::CallEdgeMap::const_iterator iter = pta->getIndCallMap().begin();
    PointerAnalysis::CallEdgeMap::const_iterator eiter = pta->getIndCallMap().end();
    for (; iter != eiter; iter++)
    {
        const CallICFGNode* cs = iter->first;
        const PTACallGraph::FunctionSet &functions = iter->second;
        for (PTACallGraph::FunctionSet::const_iterator func_iter =
                    functions.begin(); func_iter != functions.end(); func_iter++)
        {
            const SVFFunction* callee = *func_iter;
            this->addIndirectCallGraphEdge(cs, cs->getCaller(), callee);
        }
    }
 
    // Fork sites
    for (CallSiteSet::const_iterator it = forksitesBegin(), eit = forksitesEnd(); it != eit; ++it)
    {
        const ValVar* forkedval = tdAPI->getForkedFun(*it);
        if(SVFUtil::dyn_cast<FunValVar>(forkedval)==nullptr)
        {
            SVFIR* pag = pta->getPAG();
            const NodeBS targets = pta->getPts(forkedval->getId()).toNodeBS();
            for (NodeBS::iterator ii = targets.begin(), ie = targets.end(); ii != ie; ii++)
            {
                if(ObjVar* objPN = SVFUtil::dyn_cast<ObjVar>(pag->getGNode(*ii)))
                {
                    const MemObj* obj = pag->getObject(objPN);
                    if(obj->isFunction())
                    {
                        const SVFFunction* svfCallee = SVFUtil::cast<CallGraphNode>(obj->getGNode())->getFunction();
                        this->addIndirectForkEdge(*it, svfCallee);
                    }
                }
            }
        }
    }
}

◆ updateJoinEdge()

void ThreadCallGraph::updateJoinEdge ( PointerAnalysis * pta )

Update join edge using pointer analysis results.

Update join edge using pointer analysis results

Definition at line 102 of file ThreadCallGraph.cpp.

{
 
    for (CallSiteSet::const_iterator it = joinsitesBegin(), eit = joinsitesEnd(); it != eit; ++it)
    {
        const SVFVar* jointhread = tdAPI->getJoinedThread(*it);
        // find its corresponding fork sites first
        CallSiteSet forkset;
        for (CallSiteSet::const_iterator it = forksitesBegin(), eit = forksitesEnd(); it != eit; ++it)
        {
            const SVFVar* forkthread = tdAPI->getForkedThread(*it);
            if (pta->alias(jointhread->getId(), forkthread->getId()))
            {
                forkset.insert(*it);
            }
        }
        assert(!forkset.empty() && "Can't find a forksite for this join!!");
        addDirectJoinEdge(*it,forkset);
    }
}

Member Data Documentation

◆ callinstToHareParForEdgesMap

CallInstToParForEdgesMap SVF::ThreadCallGraph::callinstToHareParForEdgesMap

private

Map a call instruction to its corresponding hare_parallel_for edges.

Definition at line 413 of file ThreadCallGraph.h.

◆ callinstToThreadForkEdgesMap

CallInstToForkEdgesMap SVF::ThreadCallGraph::callinstToThreadForkEdgesMap

private

Map a call instruction to its corresponding fork edges.

Definition at line 411 of file ThreadCallGraph.h.

◆ callinstToThreadJoinEdgesMap

CallInstToJoinEdgesMap SVF::ThreadCallGraph::callinstToThreadJoinEdgesMap

private

Map a call instruction to its corresponding join edges.

Definition at line 412 of file ThreadCallGraph.h.

◆ forksites

CallSiteSet SVF::ThreadCallGraph::forksites

private

all thread fork sites

Definition at line 408 of file ThreadCallGraph.h.

◆ joinsites

CallSiteSet SVF::ThreadCallGraph::joinsites

private

all thread fork sites

Definition at line 409 of file ThreadCallGraph.h.

◆ parForSites

CallSiteSet SVF::ThreadCallGraph::parForSites

private

all parallel for sites

Definition at line 410 of file ThreadCallGraph.h.

◆ tdAPI

ThreadAPI* SVF::ThreadCallGraph::tdAPI

private

Thread API.

Definition at line 407 of file ThreadCallGraph.h.

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

/home/runner/work/SVF/SVF/svf/include/Graphs/ThreadCallGraph.h
/home/runner/work/SVF/SVF/svf/lib/Graphs/ThreadCallGraph.cpp

Public Types

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ CallInstToForkEdgesMap

◆ CallInstToJoinEdgesMap

◆ CallInstToParForEdgesMap

◆ CallSiteSet

◆ CtxSet

◆ ForkEdgeSet

◆ InstSet

◆ JoinEdgeSet

◆ ParForEdgeSet

Constructor & Destructor Documentation

◆ ThreadCallGraph() [1/2]

◆ ThreadCallGraph() [2/2]

◆ ~ThreadCallGraph()

Member Function Documentation

◆ addDirectForkEdge()

◆ addDirectJoinEdge()

◆ addForksite()

◆ addHareParForEdgeSetMap()

◆ addIndirectForkEdge()

◆ addJoinsite()

◆ addParForSite()

◆ addThreadForkEdgeSetMap()

◆ addThreadJoinEdgeSetMap()

◆ classof() [1/2]

◆ classof() [2/2]

◆ forksitesBegin()

◆ forksitesEnd()

◆ getForkEdgeBegin()

◆ getForkEdgeEnd()

◆ getJoinEdgeBegin()

◆ getJoinEdgeEnd()

◆ getJoinSites()

◆ getNumOfForksite()

◆ getNumOfJoinsite()

◆ getNumOfParForSite()

◆ getThreadAPI()

◆ hasThreadForkEdge()

◆ hasThreadJoinEdge() [1/2]

◆ hasThreadJoinEdge() [2/2]

◆ isForksite()

◆ isJoinsite()

◆ isParForSite()

◆ joinsitesBegin()

◆ joinsitesEnd()

◆ parForSitesBegin()

◆ parForSitesEnd()

◆ updateCallGraph()

◆ updateJoinEdge()

Member Data Documentation

◆ callinstToHareParForEdgesMap

◆ callinstToThreadForkEdgesMap

◆ callinstToThreadJoinEdgesMap

◆ forksites

◆ joinsites

◆ parForSites

◆ tdAPI