Static Value-Flow Analysis
Classes | Namespaces | Typedefs
ConsGEdge.h File Reference
#include "SVFIR/SVFIR.h"
#include "Util/WorkList.h"
#include <map>
#include <set>

Go to the source code of this file.

Classes

class  SVF::ConstraintEdge
 
class  SVF::AddrCGEdge
 
class  SVF::CopyCGEdge
 
class  SVF::StoreCGEdge
 
class  SVF::LoadCGEdge
 
class  SVF::GepCGEdge
 
class  SVF::NormalGepCGEdge
 
class  SVF::VariantGepCGEdge
 

Namespaces

 SVF
 for isBitcode
 

Typedefs

typedef GenericEdge< ConstraintNode > SVF::GenericConsEdgeTy