Static Value-Flow Analysis
|
#include <ConsG.h>
Public Types | |
typedef SVF::ConstraintNode * | NodeRef |
![]() | |
using | NodeRef = typename GraphType::UnknownGraphTypeError |
typedef SVF::ConstraintNode* SVF::GenericGraphTraits< SVF::ConstraintGraph * >::NodeRef |