SVF::DOTGraphTraits< ICFG * > Struct Reference

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

Public Types
typedef ICFGNode	NodeType

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

Static Public Member Functions
static std::string	getGraphName (ICFG *)
	Return name of the graph.
static std::string	getSimpleNodeLabel (NodeType *node, ICFG *)
	Return the label of an ICFG node.
static bool	isNodeHidden (ICFGNode *node, ICFG *)
static std::string	getNodeAttributes (NodeType *node, ICFG *)
template<class EdgeIter>
static std::string	getEdgeAttributes (NodeType *, EdgeIter EI, ICFG *)
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 NodeT>
static const void *	getNodeIdentifier (NodeT N)
template<typename NodeT, typename GraphType>
static bool	isNodeHidden (NodeT, const GraphType &)
template<typename NodeT, typename GraphType>
static std::string	getNodeIdentifierLabel (NodeT, const GraphType &)
template<typename NodeT, typename GraphType>
static std::string	getNodeDescription (NodeT, const GraphType &)
template<typename NodeT, typename GraphType>
static std::string	getNodeAttributes (NodeT, const GraphType &)
template<typename NodeT, typename EdgeIter, typename GraphType>
static std::string	getEdgeAttributes (NodeT, EdgeIter, const GraphType &)
template<typename NodeT, typename EdgeIter>
static std::string	getEdgeSourceLabel (NodeT, EdgeIter)
template<typename NodeT, typename EdgeIter>
static bool	edgeTargetsEdgeSource (NodeT, EdgeIter)
template<typename NodeT, typename EdgeIter>
static EdgeIter	getEdgeTarget (NodeT, EdgeIter I)
static bool	hasEdgeDestLabels ()
template<typename NodeT>
static unsigned	numEdgeDestLabels (NodeT)
template<typename NodeT>
static std::string	getEdgeDestLabel (NodeT, 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

Definition at line 481 of file ICFG.cpp.

Member Typedef Documentation

NodeType

typedef ICFGNode SVF::DOTGraphTraits< ICFG * >::NodeType

Definition at line 484 of file ICFG.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 485 of file ICFG.cpp.

                                          :
        DOTGraphTraits<SVFIR*>(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter>

std::string SVF::DOTGraphTraits< ICFG * >::getEdgeAttributes ( NodeType * , EdgeIter EI, ICFG *  )

inlinestatic

Definition at line 553 of file ICFG.cpp.

    {
        ICFGEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
        if (SVFUtil::isa<CallCFGEdge>(edge))
            return "style=solid,color=red";
        else if (SVFUtil::isa<RetCFGEdge>(edge))
            return "style=solid,color=blue";
        else
            return "style=solid";
        return "";
    }

getEdgeSourceLabel()

template<class EdgeIter>

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

inlinestatic

Definition at line 567 of file ICFG.cpp.

    {
        ICFGEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
 
        std::string str;
        std::stringstream rawstr(str);
        if (CallCFGEdge* dirCall = SVFUtil::dyn_cast<CallCFGEdge>(edge))
            rawstr << dirCall->getSrcNode();
        else if (RetCFGEdge* dirRet = SVFUtil::dyn_cast<RetCFGEdge>(edge))
        {
            if(RetICFGNode* ret = SVFUtil::dyn_cast<RetICFGNode>(dirRet->getDstNode()))
                rawstr << ret->getCallICFGNode();
        }
 
        return rawstr.str();
    }

getGraphName()

std::string SVF::DOTGraphTraits< ICFG * >::getGraphName ( ICFG * )

inlinestatic

Return name of the graph.

Definition at line 491 of file ICFG.cpp.

    {
        return "ICFG";
    }

getNodeAttributes()

std::string SVF::DOTGraphTraits< ICFG * >::getNodeAttributes ( NodeType * node, ICFG *  )

inlinestatic

Definition at line 515 of file ICFG.cpp.

    {
        std::string str;
        std::stringstream rawstr(str);
 
        rawstr <<  "shape=record";
 
        if(SVFUtil::isa<IntraICFGNode>(node))
        {
            rawstr <<  ",color=black";
        }
        else if(SVFUtil::isa<FunEntryICFGNode>(node))
        {
            rawstr <<  ",color=yellow";
        }
        else if(SVFUtil::isa<FunExitICFGNode>(node))
        {
            rawstr <<  ",color=green";
        }
        else if(SVFUtil::isa<CallICFGNode>(node))
        {
            rawstr <<  ",color=red";
        }
        else if(SVFUtil::isa<RetICFGNode>(node))
        {
            rawstr <<  ",color=blue";
        }
        else if(SVFUtil::isa<GlobalICFGNode>(node))
        {
            rawstr <<  ",color=purple";
        }
        else
            assert(false && "no such kind of node!!");
 
        return rawstr.str();
    }

getNodeLabel()

std::string SVF::DOTGraphTraits< ICFG * >::getNodeLabel ( NodeType * node, ICFG * graph )

inline

Definition at line 496 of file ICFG.cpp.

    {
        return getSimpleNodeLabel(node, graph);
    }

getSimpleNodeLabel()

std::string SVF::DOTGraphTraits< ICFG * >::getSimpleNodeLabel ( NodeType * node, ICFG *  )

inlinestatic

Return the label of an ICFG node.

Definition at line 502 of file ICFG.cpp.

    {
        return node->toString();
    }

isNodeHidden()

bool SVF::DOTGraphTraits< ICFG * >::isNodeHidden ( ICFGNode * node, ICFG *  )

inlinestatic

Definition at line 507 of file ICFG.cpp.

    {
        if (Options::ShowHiddenNode())
            return false;
        else
            return node->getInEdges().empty() && node->getOutEdges().empty();
    }

---

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

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