Static Value-Flow Analysis
Classes | Namespaces
ConsG.h File Reference
#include "Graphs/ConsGEdge.h"
#include "Graphs/ConsGNode.h"

Go to the source code of this file.

Classes

class  SVF::ConstraintGraph
 
struct  SVF::GenericGraphTraits< SVF::ConstraintNode * >
 
struct  SVF::GenericGraphTraits< Inverse< SVF::ConstraintNode * > >
 Inverse GenericGraphTraits specializations for Value flow node, it is used for inverse traversal. More...
 
struct  SVF::GenericGraphTraits< SVF::ConstraintGraph * >
 

Namespaces

 SVF
 for isBitcode