StaticCFG::CFGEdge

Synopsis

Declared in <SageIII/virtualCFG/interproceduralCFG.h>

using VirtualCFG::CFGEdge;

Introduced Symbols

Name	Description
VirtualCFG::CFGEdge	A control flow edge connecting two CFG nodes, with an edge condition to indicate edge types

Created with MrDocs