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