|
static std::string | getGraphName (IRGraph *graph) |
| Return name of the graph. More...
|
|
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) |
|
template<typename GraphType > |
static std::string | getGraphName (const GraphType &) |
|
template<typename GraphType > |
static std::string | getGraphProperties (const GraphType &) |
|
static bool | renderGraphFromBottomUp () |
|
template<typename GraphType > |
static bool | isNodeHidden (const void *, const GraphType &) |
|
template<typename GraphType > |
static std::string | getNodeIdentifierLabel (const void *, const GraphType &) |
|
template<typename GraphType > |
static std::string | getNodeDescription (const void *, const GraphType &) |
|
template<typename GraphType > |
static std::string | getNodeAttributes (const void *, const GraphType &) |
|
template<typename EdgeIter , typename GraphType > |
static std::string | getEdgeAttributes (const void *, EdgeIter, const GraphType &) |
|
template<typename EdgeIter > |
static std::string | getEdgeSourceLabel (const void *, EdgeIter) |
|
template<typename EdgeIter > |
static bool | edgeTargetsEdgeSource (const void *, EdgeIter) |
|
template<typename EdgeIter > |
static EdgeIter | getEdgeTarget (const void *, EdgeIter I) |
|
static bool | hasEdgeDestLabels () |
|
static unsigned | numEdgeDestLabels (const void *) |
|
static std::string | getEdgeDestLabel (const void *, unsigned) |
|
template<typename GraphType , typename GraphWriter > |
static void | addCustomGraphFeatures (const GraphType &, GraphWriter &) |
|
Write value flow graph into dot file for debugging
Definition at line 122 of file IRGraph.cpp.