SVF::DOTGraphTraits< PTACallGraph * > Struct Reference

Inheritance diagram for SVF::DOTGraphTraits< PTACallGraph * >:

Public Types
typedef PTACallGraphNode	NodeType
typedef NodeType::iterator	ChildIteratorType

Public Member Functions
	DOTGraphTraits (bool isSimple=false)
Public Member Functions inherited from SVF::DefaultDOTGraphTraits
	DefaultDOTGraphTraits (bool simple=false)
template<typename GraphType >
std::string	getNodeLabel (const void *, const GraphType &)

Static Public Member Functions
static std::string	getGraphName (PTACallGraph *)
	Return name of the graph.
static std::string	getNodeLabel (PTACallGraphNode *node, PTACallGraph *)
	Return function name;.
static std::string	getNodeAttributes (PTACallGraphNode *node, PTACallGraph *)
template<class EdgeIter >
static std::string	getEdgeAttributes (PTACallGraphNode *, EdgeIter EI, PTACallGraph *)
template<class EdgeIter >
static std::string	getEdgeSourceLabel (NodeType *, EdgeIter EI)
Static Public Member Functions inherited from SVF::DefaultDOTGraphTraits
template<typename GraphType >
static std::string	getGraphName (const GraphType &)
template<typename GraphType >
static std::string	getGraphProperties (const GraphType &)
static bool	renderGraphFromBottomUp ()
template<typename GraphType >
static bool	isNodeHidden (const void *, const GraphType &)
template<typename GraphType >
static std::string	getNodeIdentifierLabel (const void *, const GraphType &)
template<typename GraphType >
static std::string	getNodeDescription (const void *, const GraphType &)
template<typename GraphType >
static std::string	getNodeAttributes (const void *, const GraphType &)
template<typename EdgeIter , typename GraphType >
static std::string	getEdgeAttributes (const void *, EdgeIter, const GraphType &)
template<typename EdgeIter >
static std::string	getEdgeSourceLabel (const void *, EdgeIter)
template<typename EdgeIter >
static bool	edgeTargetsEdgeSource (const void *, EdgeIter)
template<typename EdgeIter >
static EdgeIter	getEdgeTarget (const void *, EdgeIter I)
static bool	hasEdgeDestLabels ()
static unsigned	numEdgeDestLabels (const void *)
static std::string	getEdgeDestLabel (const void *, unsigned)
template<typename GraphType , typename GraphWriter >
static void	addCustomGraphFeatures (const GraphType &, GraphWriter &)

Additional Inherited Members
Protected Member Functions inherited from SVF::DefaultDOTGraphTraits
bool	isSimple ()

Detailed Description

Write value flow graph into dot file for debugging

Definition at line 386 of file PTACallGraph.cpp.

Member Typedef Documentation

ChildIteratorType

typedef NodeType::iterator SVF::DOTGraphTraits< PTACallGraph * >::ChildIteratorType

Definition at line 390 of file PTACallGraph.cpp.

NodeType

typedef PTACallGraphNode SVF::DOTGraphTraits< PTACallGraph * >::NodeType

Definition at line 389 of file PTACallGraph.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

SVF::DOTGraphTraits< PTACallGraph * >::DOTGraphTraits ( bool  isSimple = false )

inline

Definition at line 391 of file PTACallGraph.cpp.

                                          :
        DefaultDOTGraphTraits(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter >

static std::string SVF::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes ( PTACallGraphNode *  , EdgeIter  EI, PTACallGraph *    )

inlinestatic

Definition at line 419 of file PTACallGraph.cpp.

    {
 
        //TODO: mark indirect call of Fork with different color
        PTACallGraphEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
 
        std::string color;
 
        if (edge->getEdgeKind() == PTACallGraphEdge::TDJoinEdge)
        {
            color = "color=green";
        }
        else if (edge->getEdgeKind() == PTACallGraphEdge::TDForkEdge)
        {
            color = "color=blue";
        }
        else
        {
            color = "color=black";
        }
        if (0 != edge->getIndirectCalls().size())
        {
            color = "color=red";
        }
        return color;
    }

getEdgeSourceLabel()

template<class EdgeIter >

static std::string SVF::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel ( NodeType *  , EdgeIter  EI  )

inlinestatic

Definition at line 449 of file PTACallGraph.cpp.

    {
        PTACallGraphEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
 
        std::string str;
        std::stringstream rawstr(str);
        rawstr << edge->getCallSiteID();
 
        return rawstr.str();
    }

getGraphName()

static std::string SVF::DOTGraphTraits< PTACallGraph * >::getGraphName ( PTACallGraph *  )

inlinestatic

Return name of the graph.

Definition at line 397 of file PTACallGraph.cpp.

    {
        return "Call Graph";
    }

getNodeAttributes()

static std::string SVF::DOTGraphTraits< PTACallGraph * >::getNodeAttributes ( PTACallGraphNode *  node, PTACallGraph *    )

inlinestatic

Definition at line 407 of file PTACallGraph.cpp.

    {
        const SVFFunction* fun = node->getFunction();
        if (!SVFUtil::isExtCall(fun))
        {
            return "shape=box";
        }
        else
            return "shape=Mrecord";
    }

getNodeLabel()

static std::string SVF::DOTGraphTraits< PTACallGraph * >::getNodeLabel ( PTACallGraphNode *  node, PTACallGraph *    )

inlinestatic

Return function name;.

Definition at line 402 of file PTACallGraph.cpp.

    {
        return node->toString();
    }

---

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

• /home/runner/work/SVF/SVF/svf/lib/Graphs/PTACallGraph.cpp