VirtualCFG::cfgToDotForDebugging
Dump the full dot graph of a virtual control flow graph starting from SgNode (start)
Synopses
Declared in <SageIII/virtualCFG/cfgToDot.h>
Dump the full dot graph of a virtual control flow graph starting from SgNode (start)
[[visibility]]
void
cfgToDotForDebugging(
SgNode* start,
std::string const& file_name);
[[visibility]]
std::ostream&
cfgToDotForDebugging(
std::ostream& o,
std::string graphName,
CFGNode start);
[[visibility]]
std::ostream&
cfgToDotForDebugging(
std::ostream& o,
std::string graphName,
InterestingNode start);
Created with MrDocs