Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | List of all members
SVF::DOTGraphTraits< const SlicedThreadCallGraphView * > Struct Reference
Inheritance diagram for SVF::DOTGraphTraits< const SlicedThreadCallGraphView * >:
SVF::DefaultDOTGraphTraits

Public Member Functions

 DOTGraphTraits (bool isSimple=false)
 
std::string getNodeLabel (SlicedCallGraphNodeRef n, const SlicedThreadCallGraphView *)
 
- 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 (const SlicedThreadCallGraphView *)
 
static const void * getNodeIdentifier (SlicedCallGraphNodeRef n)
 
static std::string getNodeAttributes (SlicedCallGraphNodeRef, const SlicedThreadCallGraphView *)
 
template<class EdgeIter >
static std::string getEdgeAttributes (SlicedCallGraphNodeRef, EdgeIter EI, const SlicedThreadCallGraphView *)
 
- 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 108 of file SlicedGraphs.cpp.

Constructor & Destructor Documentation

◆ DOTGraphTraits()

Member Function Documentation

◆ getEdgeAttributes()

template<class EdgeIter >
static std::string SVF::DOTGraphTraits< const SlicedThreadCallGraphView * >::getEdgeAttributes ( SlicedCallGraphNodeRef  ,
EdgeIter  EI,
const SlicedThreadCallGraphView  
)
inlinestatic

Definition at line 133 of file SlicedGraphs.cpp.

134 {
135 const CallGraphEdge* e = EI.currentEdge().underlying;
136 if (e != nullptr && e->getEdgeKind() == CallGraphEdge::TDForkEdge) return "color=green";
137 if (e != nullptr && e->getEdgeKind() == CallGraphEdge::CallRetEdge) return "color=blue";
138 return "color=black";
139 }
GEdgeKind getEdgeKind() const
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:76

◆ getGraphName()

static std::string SVF::DOTGraphTraits< const SlicedThreadCallGraphView * >::getGraphName ( const SlicedThreadCallGraphView )
inlinestatic

Definition at line 112 of file SlicedGraphs.cpp.

113 {
114 return "SlicedThreadCallGraph";
115 }

◆ getNodeAttributes()

static std::string SVF::DOTGraphTraits< const SlicedThreadCallGraphView * >::getNodeAttributes ( SlicedCallGraphNodeRef  ,
const SlicedThreadCallGraphView  
)
inlinestatic

Definition at line 127 of file SlicedGraphs.cpp.

128 {
129 return "shape=record,color=black";
130 }

◆ getNodeIdentifier()

static const void * SVF::DOTGraphTraits< const SlicedThreadCallGraphView * >::getNodeIdentifier ( SlicedCallGraphNodeRef  n)
inlinestatic

Definition at line 117 of file SlicedGraphs.cpp.

118 {
119 return n.raw;
120 }
cJSON * n
Definition cJSON.cpp:2558

◆ getNodeLabel()

Definition at line 122 of file SlicedGraphs.cpp.

123 {
124 return n.raw != nullptr ? n.raw->getName() : "";
125 }

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