Static Value-Flow Analysis
Classes | Namespaces | Typedefs
VFGNode.h File Reference
#include "Graphs/GenericGraph.h"
#include "Graphs/SVFGEdge.h"
#include "Graphs/ICFGNode.h"
#include "SVFIR/SVFIR.h"

Go to the source code of this file.

Classes

class  SVF::VFGNode
 
class  SVF::StmtVFGNode
 
class  SVF::LoadVFGNode
 
class  SVF::StoreVFGNode
 
class  SVF::CopyVFGNode
 
class  SVF::CmpVFGNode
 
class  SVF::BinaryOPVFGNode
 
class  SVF::UnaryOPVFGNode
 
class  SVF::BranchVFGNode
 
class  SVF::GepVFGNode
 
class  SVF::PHIVFGNode
 
class  SVF::IntraPHIVFGNode
 
class  SVF::AddrVFGNode
 
class  SVF::ArgumentVFGNode
 
class  SVF::ActualParmVFGNode
 
class  SVF::FormalParmVFGNode
 
class  SVF::ActualRetVFGNode
 
class  SVF::FormalRetVFGNode
 
class  SVF::InterPHIVFGNode
 
class  SVF::NullPtrVFGNode
 

Namespaces

 SVF
 for isBitcode
 

Typedefs

typedef GenericNode< VFGNode, VFGEdge > SVF::GenericVFGNodeTy