|
Static Value-Flow Analysis
|
#include <ICFG.h>
Public Types | |
| using | NodeRef |
| Public Types inherited from SVF::GenericGraphTraits< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * > | |
| using | NodeRef |
| using SVF::GenericGraphTraits< SVF::ICFGNode * >::NodeRef |
Definition at line 80 of file GraphTraits.h.