SVF::DOTGraphTraits< IRGraph * > Struct Reference

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

Public Types
typedef SVFVar	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 NodeT, typename GraphType>
std::string	getNodeLabel (NodeT, const GraphType &)

Static Public Member Functions
static std::string	getGraphName (IRGraph *graph)
	Return name of the graph.
static bool	isNodeHidden (SVFVar *node, IRGraph *)
static std::string	getNodeLabel (SVFVar *node, IRGraph *)
static std::string	getNodeAttributes (SVFVar *node, IRGraph *)
template<class EdgeIter>
static std::string	getEdgeAttributes (SVFVar *, EdgeIter EI, IRGraph *)
template<class EdgeIter>
static std::string	getEdgeSourceLabel (SVFVar *, 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 value flow graph into dot file for debugging

Definition at line 380 of file IRGraph.cpp.

Member Typedef Documentation

ChildIteratorType

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

Definition at line 384 of file IRGraph.cpp.

NodeType

typedef SVFVar SVF::DOTGraphTraits< IRGraph * >::NodeType

Definition at line 383 of file IRGraph.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 385 of file IRGraph.cpp.

                                          :
        DefaultDOTGraphTraits(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter>

std::string SVF::DOTGraphTraits< IRGraph * >::getEdgeAttributes ( SVFVar * , EdgeIter EI, IRGraph *  )

inlinestatic

Definition at line 458 of file IRGraph.cpp.

    {
        std::string str;
        std::stringstream rawstr(str);
 
        rawstr << "shape=record";
 
        const SVFStmt* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
        if (SVFUtil::isa<AddrStmt>(edge))
        {
            rawstr << ",color=green";
        }
        else if (SVFUtil::isa<CopyStmt>(edge))
        {
            rawstr << ",color=black";
        }
        else if (SVFUtil::isa<GepStmt>(edge))
        {
            rawstr << ",color=\"purple:purple\"";
        }
        else if (SVFUtil::isa<StoreStmt>(edge))
        {
            rawstr << ",color=blue";
        }
        else if (SVFUtil::isa<LoadStmt>(edge))
        {
            rawstr << ",color=red";
        }
        else if (SVFUtil::isa<PhiStmt>(edge))
        {
            rawstr << ",color=grey";
        }
        else if (SVFUtil::isa<SelectStmt>(edge))
        {
            rawstr << ",color=grey";
        }
        else if (SVFUtil::isa<CmpStmt>(edge))
        {
            rawstr << ",color=grey";
        }
        else if (SVFUtil::isa<BinaryOPStmt>(edge))
        {
            rawstr << ",color=grey";
        }
        else if (SVFUtil::isa<UnaryOPStmt>(edge))
        {
            rawstr << ",color=grey";
        }
        else if (SVFUtil::isa<BranchStmt>(edge))
        {
            rawstr << ",color=grey";
        }
        else if (SVFUtil::isa<TDForkPE>(edge))
        {
            rawstr << ",color=Turquoise";
        }
        else if (SVFUtil::isa<TDJoinPE>(edge))
        {
            rawstr << ",color=Turquoise";
        }
        else if (SVFUtil::isa<CallPE>(edge))
        {
            rawstr << ",color=black,style=dashed";
        }
        else if (SVFUtil::isa<RetPE>(edge))
        {
            rawstr << ",color=black,style=dotted";
        }
        else
        {
            assert(false && "No such kind edge!!");
        }
 
        return rawstr.str();
    }

getEdgeSourceLabel()

template<class EdgeIter>

std::string SVF::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel ( SVFVar * , EdgeIter EI )

inlinestatic

Definition at line 536 of file IRGraph.cpp.

    {
        const SVFStmt* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
        if(const CallPE* calledge = SVFUtil::dyn_cast<CallPE>(edge))
        {
            return calledge->getFunEntryICFGNode()->getSourceLoc();
        }
        else if(const RetPE* retedge = SVFUtil::dyn_cast<RetPE>(edge))
        {
            return retedge->getCallSite()->getSourceLoc();
        }
        return "";
    }

getGraphName()

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

inlinestatic

Return name of the graph.

Definition at line 391 of file IRGraph.cpp.

    {
        return graph->getGraphName();
    }

getNodeAttributes()

std::string SVF::DOTGraphTraits< IRGraph * >::getNodeAttributes ( SVFVar * node, IRGraph *  )

inlinestatic

Definition at line 420 of file IRGraph.cpp.

    {
        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()

std::string SVF::DOTGraphTraits< IRGraph * >::getNodeLabel ( SVFVar * node, IRGraph *  )

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 406 of file IRGraph.cpp.

    {
        std::string str;
        std::stringstream rawstr(str);
        // print function info
        if (node->getFunction())
            rawstr << "[" << node->getFunction()->getName() << "] ";
 
        rawstr << node->toString();
 
        return rawstr.str();
 
    }

isNodeHidden()

bool SVF::DOTGraphTraits< IRGraph * >::isNodeHidden ( SVFVar * node, IRGraph *  )

inlinestatic

isNodeHidden - If the function returns true, the given node is not displayed in the graph

Definition at line 398 of file IRGraph.cpp.

    {
        if (Options::ShowHiddenNode()) return false;
        else return node->isIsolatedNode();
    }

---

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

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