SVF::DOTGraphTraits< ConstraintGraph * > Struct Reference

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

Public Types
typedef ConstraintNode	NodeType

Public Member Functions
	DOTGraphTraits (bool isSimple=false)
Public Member Functions inherited from SVF::DOTGraphTraits< SVFIR * >
	DOTGraphTraits (bool simple=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 (ConstraintGraph *)
	Return name of the graph.
static bool	isNodeHidden (NodeType *n, ConstraintGraph *)
static std::string	getNodeLabel (NodeType *n, ConstraintGraph *)
static std::string	getNodeAttributes (NodeType *n, ConstraintGraph *)
template<class EdgeIter >
static std::string	getEdgeAttributes (NodeType *, EdgeIter EI, ConstraintGraph *)
template<class EdgeIter >
static std::string	getEdgeSourceLabel (NodeType *, EdgeIter)
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 746 of file ConsG.cpp.

Member Typedef Documentation

NodeType

typedef ConstraintNode SVF::DOTGraphTraits< ConstraintGraph * >::NodeType

Definition at line 749 of file ConsG.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 750 of file ConsG.cpp.

                                          :
        DOTGraphTraits<SVFIR*>(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter >

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

inlinestatic

Definition at line 841 of file ConsG.cpp.

    {
        ConstraintEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
        if (edge->getEdgeKind() == ConstraintEdge::Addr)
        {
            return "color=green";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Copy)
        {
            return "color=black";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::NormalGep
                 || edge->getEdgeKind() == ConstraintEdge::VariantGep)
        {
            return "color=\"purple:purple\"";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Store)
        {
            return "color=blue";
        }
        else if (edge->getEdgeKind() == ConstraintEdge::Load)
        {
            return "color=red";
        }
        else
        {
            assert(0 && "No such kind edge!!");
        }
        return "";
    }

getEdgeSourceLabel()

template<class EdgeIter >

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

inlinestatic

Definition at line 874 of file ConsG.cpp.

    {
        return "";
    }

getGraphName()

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

inlinestatic

Return name of the graph.

Definition at line 756 of file ConsG.cpp.

    {
        return "ConstraintG";
    }

getNodeAttributes()

static std::string SVF::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes ( NodeType *  n, ConstraintGraph *    )

inlinestatic

Definition at line 802 of file ConsG.cpp.

    {
        const SVFVar* node = SVFIR::getPAG()->getSVFVar(n->getId());
        if (SVFUtil::isa<ValVar>(node))
        {
            if(SVFUtil::isa<GepValVar>(node))
                return "shape=hexagon";
            else if (SVFUtil::isa<DummyValVar>(node))
                return "shape=diamond";
            else
                return "shape=box";
        }
        else if (SVFUtil::isa<ObjVar>(node))
        {
            if(SVFUtil::isa<GepObjVar>(node))
                return "shape=doubleoctagon";
            else if(SVFUtil::isa<BaseObjVar>(node))
                return "shape=box3d";
            else if (SVFUtil::isa<DummyObjVar>(node))
                return "shape=tab";
            else
                return "shape=component";
        }
        else if (SVFUtil::isa<RetValPN>(node))
        {
            return "shape=Mrecord";
        }
        else if (SVFUtil::isa<VarArgValPN>(node))
        {
            return "shape=octagon";
        }
        else
        {
            assert(0 && "no such kind!!");
        }
        return "";
    }

getNodeLabel()

static std::string SVF::DOTGraphTraits< ConstraintGraph * >::getNodeLabel ( NodeType *  n, ConstraintGraph *    )

inlinestatic

Return label of a VFG node with two display mode Either you can choose to display the name of the value or the whole instruction

Definition at line 769 of file ConsG.cpp.

    {
        const SVFVar* node = SVFIR::getPAG()->getSVFVar(n->getId());
        bool briefDisplay = Options::BriefConsCGDotGraph();
        bool nameDisplay = true;
        std::string str;
        std::stringstream rawstr(str);
 
        if (briefDisplay)
        {
            if (SVFUtil::isa<ValVar>(node))
            {
                if (nameDisplay)
                    rawstr << node->getId() << ":" << node->getName();
                else
                    rawstr << node->getId();
            }
            else
                rawstr << node->getId();
        }
        else
        {
            // print the whole value
            if (!SVFUtil::isa<DummyValVar>(node) && !SVFUtil::isa<DummyObjVar>(node))
                rawstr << node->toString();
            else
                rawstr << node->getId() << ":";
 
        }
 
        return rawstr.str();
    }

isNodeHidden()

static bool SVF::DOTGraphTraits< ConstraintGraph * >::isNodeHidden ( NodeType *  n, ConstraintGraph *    )

inlinestatic

Definition at line 761 of file ConsG.cpp.

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

---

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

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