SVF::DOTGraphTraits< CFLGraph * > Struct Reference

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

Public Types
typedef CFLNode	NodeType

Public Member Functions
	DOTGraphTraits (bool isSimple=false)
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 (CFLGraph *)
	Return name of the graph.
static std::string	getNodeLabel (CFLNode *node, CFLGraph *)
	Return function name;.
static std::string	getNodeAttributes (CFLNode *node, CFLGraph *)
template<class EdgeIter>
static std::string	getEdgeAttributes (CFLNode *, EdgeIter EI, CFLGraph *graph)
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

Write CFL graph into dot file for debugging

Definition at line 89 of file CFLGraph.cpp.

Member Typedef Documentation

NodeType

typedef CFLNode SVF::DOTGraphTraits< CFLGraph * >::NodeType

Definition at line 92 of file CFLGraph.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 94 of file CFLGraph.cpp.

                                          : DefaultDOTGraphTraits(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter>

std::string SVF::DOTGraphTraits< CFLGraph * >::getEdgeAttributes ( CFLNode * , EdgeIter EI, CFLGraph * graph )

inlinestatic

Definition at line 118 of file CFLGraph.cpp.

    {
        CFLEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
        std::string str;
        std::stringstream rawstr(str);
        if (edge->getEdgeKind() == ConstraintEdge::Addr)
        {
            rawstr << "color=green";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Copy)
        {
            rawstr << "color=black";
        }
        else if (edge->getEdgeKindWithMask() == ConstraintEdge::NormalGep)
        {
            rawstr << "color=\"purple:purple\",label=" << '"' << "Gep_" << edge->getEdgeAttri() << '"';
        }
        else if (edge->getEdgeKindWithMask() == ConstraintEdge::VariantGep)
        {
            rawstr << "color=\"purple:purple\",label=" << '"' << "VGep" << '"';
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Store)
        {
            rawstr << "color=blue";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Load)
        {
            rawstr << "color=red";
        }
        else if (edge->getEdgeKind() == graph->getStartKind())
        {
            rawstr << "color=Turquoise";
        }
        else
        {
            rawstr  << "style=invis";
        }
        return rawstr.str();
    }

getEdgeSourceLabel()

template<class EdgeIter>

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

inlinestatic

Definition at line 160 of file CFLGraph.cpp.

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

getGraphName()

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

inlinestatic

Return name of the graph.

Definition at line 99 of file CFLGraph.cpp.

    {
        return "CFL Reachability Graph";
    }

getNodeAttributes()

std::string SVF::DOTGraphTraits< CFLGraph * >::getNodeAttributes ( CFLNode * node, CFLGraph *  )

inlinestatic

Definition at line 112 of file CFLGraph.cpp.

    {
        return "shape=box";
    }

getNodeLabel()

std::string SVF::DOTGraphTraits< CFLGraph * >::getNodeLabel ( CFLNode * node, CFLGraph *  )

inlinestatic

Return function name;.

Definition at line 104 of file CFLGraph.cpp.

    {
        std::string str;
        std::stringstream rawstr(str);
        rawstr << "Node ID: " << node->getId() << " ";
        return rawstr.str();
    }

---

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

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