SVF::DOTGraphTraits< TCT * > Struct Reference

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

Public Types
typedef TCTNode	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 (TCT *graph)
	Return name of the graph.
static std::string	getNodeLabel (TCTNode *node, TCT *graph)
	Return function name;.
static std::string	getNodeAttributes (TCTNode *node, TCT *tct)
template<class EdgeIter >
static std::string	getEdgeAttributes (TCTNode *node, EdgeIter EI, TCT *csThreadTree)
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 569 of file TCT.cpp.

Member Typedef Documentation

ChildIteratorType

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

Definition at line 573 of file TCT.cpp.

NodeType

typedef TCTNode SVF::DOTGraphTraits< TCT * >::NodeType

Definition at line 572 of file TCT.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 574 of file TCT.cpp.

                                          :
        DefaultDOTGraphTraits(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter >

static std::string SVF::DOTGraphTraits< TCT * >::getEdgeAttributes ( TCTNode *  node, EdgeIter  EI, TCT *  csThreadTree  )

inlinestatic

black edge for direct call while two functions contain indirect calls will be label with red color

Definition at line 605 of file TCT.cpp.

    {
 
        TCTEdge* edge = csThreadTree->getGraphEdge(node, *EI, TCTEdge::ThreadCreateEdge);
        (void)edge; // Suppress warning of unused variable under release build
        assert(edge && "No edge found!!");
        return "color=black";
    }

getGraphName()

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

inlinestatic

Return name of the graph.

Definition at line 580 of file TCT.cpp.

    {
        return "Thread Create Tree";
    }

getNodeAttributes()

static std::string SVF::DOTGraphTraits< TCT * >::getNodeAttributes ( TCTNode *  node, TCT *  tct  )

inlinestatic

Definition at line 590 of file TCT.cpp.

    {
        std::string attr;
        if (node->isInloop())
        {
            attr.append(" style=filled fillcolor=red");
        }
        else if (node->isIncycle())
        {
            attr.append(" style=filled fillcolor=yellow");
        }
        return attr;
    }

getNodeLabel()

static std::string SVF::DOTGraphTraits< TCT * >::getNodeLabel ( TCTNode *  node, TCT *  graph  )

inlinestatic

Return function name;.

Definition at line 585 of file TCT.cpp.

    {
        return std::to_string(node->getId());
    }

---

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

• /home/runner/work/SVF/SVF/svf/lib/MTA/TCT.cpp