Static Value-Flow Analysis
|
#include <VFG.h>
Public Types | |
typedef SVF::VFGNode * | NodeRef |
Public Types inherited from SVF::GenericGraphTraits< SVF::GenericGraph< SVF::VFGNode, SVF::VFGEdge > * > | |
using | NodeRef = typename GraphType::UnknownGraphTypeError |
typedef SVF::VFGNode* SVF::GenericGraphTraits< SVF::VFG * >::NodeRef |