Static Value-Flow Analysis
|
Public Types | |
typedef SVFGNode | NodeType |
Public Member Functions | |
DOTGraphTraits (bool isSimple=false) | |
std::string | getNodeLabel (NodeType *node, SVFG *graph) |
Public Member Functions inherited from SVF::DOTGraphTraits< SVFIR * > | |
DOTGraphTraits (bool simple=false) | |
Public Member Functions inherited from SVF::DefaultDOTGraphTraits | |
DefaultDOTGraphTraits (bool simple=false) | |
template<typename GraphType > | |
std::string | getNodeLabel (const void *, const GraphType &) |
Static Public Member Functions | |
static std::string | getGraphName (SVFG *) |
Return name of the graph. More... | |
static bool | isNodeHidden (SVFGNode *node, SVFG *) |
static std::string | getSimpleNodeLabel (NodeType *node, SVFG *) |
Return label of a VFG node without MemSSA information. More... | |
static std::string | getCompleteNodeLabel (NodeType *node, SVFG *) |
Return label of a VFG node with MemSSA information. More... | |
static std::string | getNodeAttributes (NodeType *node, SVFG *graph) |
template<class EdgeIter > | |
static std::string | getEdgeAttributes (NodeType *, EdgeIter EI, SVFG *) |
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 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 &) |
Additional Inherited Members | |
Protected Member Functions inherited from SVF::DefaultDOTGraphTraits | |
bool | isSimple () |
|
inline |
|
inlinestatic |
Return label of a VFG node with MemSSA information.
Definition at line 872 of file SVFG.cpp.
|
inlinestatic |
Definition at line 1070 of file SVFG.cpp.
|
inlinestatic |
Definition at line 1096 of file SVFG.cpp.
|
inlinestatic |
|
inlinestatic |
dump slice information
Definition at line 947 of file SVFG.cpp.
|
inline |
Definition at line 792 of file SVFG.cpp.
|
inlinestatic |
|
inlinestatic |