SVF::DOTGraphTraits< const SlicedICFGView * > Struct Reference

Inheritance diagram for SVF::DOTGraphTraits< const SlicedICFGView * >:

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

Static Public Member Functions
static std::string	getGraphName (const SlicedICFGView *)
static const void *	getNodeIdentifier (SlicedICFGNodeRef n)
static std::string	getNodeAttributes (SlicedICFGNodeRef n, const SlicedICFGView *)
template<class EdgeIter>
static std::string	getEdgeAttributes (SlicedICFGNodeRef, EdgeIter EI, const SlicedICFGView *)
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 49 of file SlicedGraphs.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 51 of file SlicedGraphs.cpp.

                                          : DefaultDOTGraphTraits(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter>

std::string SVF::DOTGraphTraits< const SlicedICFGView * >::getEdgeAttributes ( SlicedICFGNodeRef , EdgeIter EI, const SlicedICFGView *  )

inlinestatic

Definition at line 92 of file SlicedGraphs.cpp.

    {
        const SlicedICFGEdgeRef& e = EI.currentEdge();
        if (e.bridged)
            return "style=dashed,color=gray";
        if (e.underlying != nullptr && SVFUtil::isa<CallCFGEdge>(e.underlying))
            return "style=solid,color=red";
        if (e.underlying != nullptr && SVFUtil::isa<RetCFGEdge>(e.underlying))
            return "style=solid,color=blue";
        return "style=solid";
    }

getGraphName()

std::string SVF::DOTGraphTraits< const SlicedICFGView * >::getGraphName ( const SlicedICFGView * )

inlinestatic

Definition at line 55 of file SlicedGraphs.cpp.

    {
        return "SlicedICFG";
    }

getNodeAttributes()

std::string SVF::DOTGraphTraits< const SlicedICFGView * >::getNodeAttributes ( SlicedICFGNodeRef n, const SlicedICFGView *  )

inlinestatic

Definition at line 71 of file SlicedGraphs.cpp.

    {
        std::string str = "shape=record";
        const ICFGNode* node = n.raw;
        if (SVFUtil::isa<FunEntryICFGNode>(node))
            str += ",color=yellow";
        else if (SVFUtil::isa<FunExitICFGNode>(node))
            str += ",color=green";
        else if (SVFUtil::isa<CallICFGNode>(node))
            str += ",color=red";
        else if (SVFUtil::isa<RetICFGNode>(node))
            str += ",color=blue";
        else if (SVFUtil::isa<GlobalICFGNode>(node))
            str += ",color=purple";
        else
            str += ",color=black";
        return str;
    }

getNodeIdentifier()

const void * SVF::DOTGraphTraits< const SlicedICFGView * >::getNodeIdentifier ( SlicedICFGNodeRef n )

inlinestatic

Definition at line 61 of file SlicedGraphs.cpp.

    {
        return n.raw;
    }

getNodeLabel()

std::string SVF::DOTGraphTraits< const SlicedICFGView * >::getNodeLabel ( SlicedICFGNodeRef n, const SlicedICFGView *  )

inline

Definition at line 66 of file SlicedGraphs.cpp.

    {
        return n.raw != nullptr ? n.raw->toString() : "";
    }

---

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

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