Static Value-Flow Analysis
Loading...
Searching...
No Matches
Classes | Namespaces | Typedefs
SVFVariables.h File Reference
#include "Graphs/GenericGraph.h"
#include "SVFIR/SymbolTableInfo.h"
#include "SVFIR/SVFStatements.h"

Go to the source code of this file.

Classes

class  SVF::SVFVar
 
class  SVF::ValVar
 
class  SVF::ObjVar
 
class  SVF::GepValVar
 
class  SVF::GepObjVar
 
class  SVF::BaseObjVar
 
class  SVF::HeapObjVar
 Class representing a heap object variable in the SVFIR. More...
 
class  SVF::StackObjVar
 Represents a stack-allocated object variable in the SVFIR (SVF Intermediate Representation) @inherits BaseObjVar. More...
 
class  SVF::FunValVar
 
class  SVF::FunObjVar
 
class  SVF::GlobalValVar
 
class  SVF::ConstantDataValVar
 
class  SVF::BlackHoleVar
 
class  SVF::ConstantFPValVar
 
class  SVF::ConstantIntValVar
 
class  SVF::ConstantNullPtrValVar
 
class  SVF::GlobalObjVar
 
class  SVF::ConstantDataObjVar
 
class  SVF::ConstantFPObjVar
 
class  SVF::ConstantIntObjVar
 
class  SVF::ConstantNullPtrObjVar
 
class  SVF::RetPN
 
class  SVF::VarArgPN
 
class  SVF::DummyValVar
 
class  SVF::DummyObjVar
 

Namespaces

namespace  SVF
 for isBitcode
 

Typedefs

typedef GenericNode< SVFVar, SVFStmtSVF::GenericPAGNodeTy