llvm::DOTGraphTraits< PAG * > Struct Template Reference

Inheritance diagram for llvm::DOTGraphTraits< PAG * >:

Public Types
typedef PAGNode	NodeType
typedef NodeType::iterator	ChildIteratorType

Public Member Functions
	DOTGraphTraits (bool isSimple=false)

Static Public Member Functions
static std::string	getGraphName (PAG *graph)
	Return name of the graph. More...
static bool	isNodeHidden (PAGNode *node)
static std::string	getNodeLabel (PAGNode *node, PAG *)
static std::string	getNodeAttributes (PAGNode *node, PAG *)
template<class EdgeIter >
static std::string	getEdgeAttributes (PAGNode *, EdgeIter EI, PAG *)
template<class EdgeIter >
static std::string	getEdgeSourceLabel (PAGNode *, EdgeIter EI)

Detailed Description

template<>
struct llvm::DOTGraphTraits< PAG * >

Write value flow graph into dot file for debugging

Definition at line 1108 of file PAG.cpp.

Member Typedef Documentation

ChildIteratorType

typedef NodeType::iterator llvm::DOTGraphTraits< PAG * >::ChildIteratorType

Definition at line 1112 of file PAG.cpp.

NodeType

typedef PAGNode llvm::DOTGraphTraits< PAG * >::NodeType

Definition at line 1111 of file PAG.cpp.

Constructor & Destructor Documentation

DOTGraphTraits()

llvm::DOTGraphTraits< PAG * >::DOTGraphTraits ( bool  isSimple = false )

inline

Definition at line 1113 of file PAG.cpp.

                                          :
        DefaultDOTGraphTraits(isSimple)
    {
    }

Member Function Documentation

getEdgeAttributes()

template<class EdgeIter >

static std::string llvm::DOTGraphTraits< PAG * >::getEdgeAttributes ( PAGNode *  , EdgeIter  EI, PAG *    )

inlinestatic

Definition at line 1156 of file PAG.cpp.

    {
        const PAGEdge* edge = *(EI.getCurrent());
        assert(edge && "No edge found!!");
        if (SVFUtil::isa<AddrPE>(edge))
        {
            return "color=green";
        }
        else if (SVFUtil::isa<CopyPE>(edge))
        {
            return "color=black";
        }
        else if (SVFUtil::isa<GepPE>(edge))
        {
            return "color=purple";
        }
        else if (SVFUtil::isa<StorePE>(edge))
        {
            return "color=blue";
        }
        else if (SVFUtil::isa<LoadPE>(edge))
        {
            return "color=red";
        }
        else if (SVFUtil::isa<CmpPE>(edge))
        {
            return "color=grey";
        }
        else if (SVFUtil::isa<BinaryOPPE>(edge))
        {
            return "color=grey";
        }
        else if (SVFUtil::isa<UnaryOPPE>(edge))
        {
            return "color=grey";
        }
        else if (SVFUtil::isa<TDForkPE>(edge))
        {
            return "color=Turquoise";
        }
        else if (SVFUtil::isa<TDJoinPE>(edge))
        {
            return "color=Turquoise";
        }
        else if (SVFUtil::isa<CallPE>(edge))
        {
            return "color=black,style=dashed";
        }
        else if (SVFUtil::isa<RetPE>(edge))
        {
            return "color=black,style=dotted";
        }

        assert(false && "No such kind edge!!");
        exit(1);
    }

getEdgeSourceLabel()

template<class EdgeIter >

static std::string llvm::DOTGraphTraits< PAG * >::getEdgeSourceLabel ( PAGNode *  , EdgeIter  EI  )

inlinestatic

Definition at line 1214 of file PAG.cpp.

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

getGraphName()

static std::string llvm::DOTGraphTraits< PAG * >::getGraphName ( PAG *  graph )

inlinestatic

Return name of the graph.

Definition at line 1119 of file PAG.cpp.

    {
        return graph->getGraphName();
    }

getNodeAttributes()

static std::string llvm::DOTGraphTraits< PAG * >::getNodeAttributes ( PAGNode *  node, PAG *    )

inlinestatic

Definition at line 1150 of file PAG.cpp.

    {
        return node->getNodeAttrForDotDisplay();
    }

getNodeLabel()

static std::string llvm::DOTGraphTraits< PAG * >::getNodeLabel ( PAGNode *  node, PAG *    )

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 1136 of file PAG.cpp.

    {
        std::string str;
        raw_string_ostream rawstr(str);
        // print function info
        if (node->getFunction())
            rawstr << "[" << node->getFunction()->getName() << "] ";

        rawstr << node->toString();

        return rawstr.str();

    }

isNodeHidden()

static bool llvm::DOTGraphTraits< PAG * >::isNodeHidden ( PAGNode *  node )

inlinestatic

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

Definition at line 1129 of file PAG.cpp.

                                            {
#endif
        return node->isIsolatedNode();
    }

---

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

• /home/runner/work/SVF-1/SVF-1/lib/Graphs/PAG.cpp