SVF::DOTGraphTraits< SVF::CDG * > Struct Reference

#include <CDG.h>

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

Public Types
typedef SVF::CDGNode	NodeType

Public Member Functions
	DOTGraphTraits (bool isSimple=false)
std::string	getNodeLabel (NodeType *node, SVF::CDG *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< SVF::PAG * >
	DOTGraphTraits (bool simple=false)

Static Public Member Functions
static std::string	getGraphName (SVF::CDG *)
	Return name of the graph.
static std::string	getSimpleNodeLabel (NodeType *node, SVF::CDG *)
	Return the label of an ICFG node.
static std::string	getNodeAttributes (NodeType *node, SVF::CDG *)
template<class EdgeIter>
static std::string	getEdgeAttributes (NodeType *, EdgeIter EI, SVF::CDG *)
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 346 of file CDG.h.

Member Typedef Documentation

NodeType

typedef SVF::CDGNode SVF::DOTGraphTraits< SVF::CDG * >::NodeType

Definition at line 349 of file CDG.h.

Constructor & Destructor Documentation

DOTGraphTraits()

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

inline

Definition at line 351 of file CDG.h.

                                          :
        DOTGraphTraits<SVF::PAG *>(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter>

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

inlinestatic

Definition at line 462 of file CDG.h.

    {
        assert(*(EI.getCurrent()) && "No edge found!!");
        return "style=solid";
    }

getEdgeSourceLabel()

template<class EdgeIter>

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

inlinestatic

Definition at line 469 of file CDG.h.

    {
        SVF::CDGEdge *edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
 
        std::string str;
        std::stringstream rawstr(str);
        for (const auto &cond: edge->getBranchConditions())
        {
            rawstr << std::to_string(cond.second) << "|";
        }
        std::string lb = rawstr.str();
        lb.pop_back();
 
        return lb;
    }

getGraphName()

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

inlinestatic

Return name of the graph.

Definition at line 357 of file CDG.h.

    {
        return "Control Dependence Graph";
    }

getNodeAttributes()

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

inlinestatic

Definition at line 423 of file CDG.h.

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

getNodeLabel()

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

inline

Definition at line 362 of file CDG.h.

    {
        return getSimpleNodeLabel(node, graph);
    }

getSimpleNodeLabel()

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

inlinestatic

Return the label of an ICFG node.

Definition at line 368 of file CDG.h.

    {
        std::string str;
        std::stringstream rawstr(str);
        rawstr << "NodeID: " << node->getId() << "\n";
        const SVF::ICFGNode *icfgNode = node->getICFGNode();
        if (const SVF::IntraICFGNode *bNode = SVF::SVFUtil::dyn_cast<SVF::IntraICFGNode>(icfgNode))
        {
            rawstr << "IntraBlockNode ID: " << bNode->getId() << " \t";
            SVF::PAG::SVFStmtList &edges = SVF::PAG::getPAG()->getPTASVFStmtList(bNode);
            if (edges.empty())
            {
                rawstr << (bNode)->toString() << " \t";
            }
            else
            {
                for (SVF::PAG::SVFStmtList::iterator it = edges.begin(), eit = edges.end(); it != eit; ++it)
                {
                    const SVF::PAGEdge *edge = *it;
                    rawstr << edge->toString();
                }
            }
            rawstr << " {fun: " << bNode->getFun()->getName() << "}";
        }
        else if (const SVF::FunEntryICFGNode *entry = SVF::SVFUtil::dyn_cast<SVF::FunEntryICFGNode>(icfgNode))
        {
            rawstr << entry->toString();
        }
        else if (const SVF::FunExitICFGNode *exit = SVF::SVFUtil::dyn_cast<SVF::FunExitICFGNode>(icfgNode))
        {
            rawstr << exit->toString();
        }
        else if (const SVF::CallICFGNode *call = SVF::SVFUtil::dyn_cast<SVF::CallICFGNode>(icfgNode))
        {
            rawstr << call->toString();
        }
        else if (const SVF::RetICFGNode *ret = SVF::SVFUtil::dyn_cast<SVF::RetICFGNode>(icfgNode))
        {
            rawstr << ret->toString();
        }
        else if (const SVF::GlobalICFGNode *glob = SVF::SVFUtil::dyn_cast<SVF::GlobalICFGNode>(icfgNode))
        {
            SVF::PAG::SVFStmtList &edges = SVF::PAG::getPAG()->getPTASVFStmtList(glob);
            for (SVF::PAG::SVFStmtList::iterator it = edges.begin(), eit = edges.end(); it != eit; ++it)
            {
                const SVF::PAGEdge *edge = *it;
                rawstr << edge->toString();
            }
        }
        else
            assert(false && "what else kinds of nodes do we have??");
 
        return rawstr.str();
    }

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/CDG.h