Static Value-Flow Analysis
Classes | Namespaces | Typedefs
SVFG.h File Reference
#include "Graphs/VFG.h"
#include "Graphs/SVFGNode.h"

Go to the source code of this file.

Classes

class  SVF::SVFG
 
struct  SVF::GenericGraphTraits< SVF::SVFG * >
 

Namespaces

 SVF
 for isBitcode
 

Typedefs

typedef VFGEdge SVF::SVFGEdge
 
typedef VFGNode SVF::SVFGNode
 
typedef ActualParmVFGNode SVF::ActualParmSVFGNode
 
typedef ActualRetVFGNode SVF::ActualRetSVFGNode
 
typedef FormalParmVFGNode SVF::FormalParmSVFGNode
 
typedef FormalRetVFGNode SVF::FormalRetSVFGNode
 
typedef NullPtrVFGNode SVF::NullPtrSVFGNode
 
typedef StmtVFGNode SVF::StmtSVFGNode
 
typedef AddrVFGNode SVF::AddrSVFGNode
 
typedef CopyVFGNode SVF::CopySVFGNode
 
typedef StoreVFGNode SVF::StoreSVFGNode
 
typedef LoadVFGNode SVF::LoadSVFGNode
 
typedef GepVFGNode SVF::GepSVFGNode
 
typedef PHIVFGNode SVF::PHISVFGNode
 
typedef IntraPHIVFGNode SVF::IntraPHISVFGNode
 
typedef InterPHIVFGNode SVF::InterPHISVFGNode