SVF::GenericGraphTraits< SVF::ThreadCallGraph * > Struct Reference

#include <ThreadCallGraph.h>

Inheritance diagram for SVF::GenericGraphTraits< SVF::ThreadCallGraph * >:

Static Public Member Functions
static void	getForkEdges (const SVF::ThreadCallGraph *graph, const SVF::CallICFGNode *callSite, std::vector< const SVF::CallGraphEdge * > &out)
static void	getJoinEdges (const SVF::ThreadCallGraph *graph, const SVF::CallICFGNode *callSite, std::vector< const SVF::CallGraphEdge * > &out)
Static Public Member Functions inherited from SVF::GenericGraphTraits< SVF::CallGraph * >
static const SVF::CallGraphNode *	getRawNode (const SVF::CallGraphNode *n)
static void	getInEdges (const SVF::CallGraph *, const SVF::CallGraphNode *n, std::vector< const SVF::CallGraphEdge * > &out)
	In-edges of n under this graph (whole CallGraph: all of them).
static void	getOutEdges (const SVF::CallGraph *, const SVF::CallGraphNode *n, std::vector< const SVF::CallGraphEdge * > &out)
static void	getDirectCalls (const SVF::CallGraph *, const SVF::CallGraphEdge *e, std::vector< const SVF::CallICFGNode * > &out)
static void	getIndirectCalls (const SVF::CallGraph *, const SVF::CallGraphEdge *e, std::vector< const SVF::CallICFGNode * > &out)
static bool	containsCallSite (const SVF::CallGraph *, const SVF::CallGraphEdge *e, const SVF::CallICFGNode *callSite)
static void	getCallees (SVF::CallGraph *g, const SVF::CallICFGNode *callSite, SVF::CallGraph::FunctionSet &callees)

Additional Inherited Members
Public Types inherited from SVF::GenericGraphTraits< SVF::CallGraph * >
typedef SVF::CallGraphNode *	NodeRef
Public Types inherited from SVF::GenericGraphTraits< SVF::GenericGraph< SVF::CallGraphNode, SVF::CallGraphEdge > * >
using	NodeRef = typename GraphType::UnknownGraphTypeError

Detailed Description

Thread-specific relations are indexed by callsite rather than represented uniformly in CallGraph node adjacency. In particular, ThreadJoinEdge is not added to adjacency because it would introduce artificial SCC cycles.

Definition at line 415 of file ThreadCallGraph.h.

Member Function Documentation

getForkEdges()

static void SVF::GenericGraphTraits< SVF::ThreadCallGraph * >::getForkEdges ( const SVF::ThreadCallGraph *  graph, const SVF::CallICFGNode *  callSite, std::vector< const SVF::CallGraphEdge * > &  out  )

inlinestatic

Definition at line 418 of file ThreadCallGraph.h.

    {
        out.clear();
        if (!graph->hasThreadForkEdge(callSite))
            return;
        for (auto it = graph->getForkEdgeBegin(callSite),
                end = graph->getForkEdgeEnd(callSite); it != end; ++it)
            out.push_back(*it);
    }

getJoinEdges()

static void SVF::GenericGraphTraits< SVF::ThreadCallGraph * >::getJoinEdges ( const SVF::ThreadCallGraph *  graph, const SVF::CallICFGNode *  callSite, std::vector< const SVF::CallGraphEdge * > &  out  )

inlinestatic

Definition at line 430 of file ThreadCallGraph.h.

    {
        out.clear();
        if (!graph->hasThreadJoinEdge(callSite))
            return;
        for (auto it = graph->getJoinEdgeBegin(callSite),
                end = graph->getJoinEdgeEnd(callSite); it != end; ++it)
            out.push_back(*it);
    }

---

The documentation for this struct was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/Graphs/ThreadCallGraph.h