Static Value-Flow Analysis
Loading...
Searching...
No Matches
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

namespace  SVF
 for isBitcode

Typedefs

typedef GenericEdge< ConstraintNode > SVF::GenericConsEdgeTy