Static Value-Flow Analysis
Loading...
Searching...
No Matches
Classes | Namespaces | Typedefs
SVFVariables.h File Reference
#include "Graphs/GenericGraph.h"
#include "SVFIR/ObjTypeInfo.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::ArgValVar
 Class representing a function argument variable in the SVFIR. More...
 
class  SVF::GepValVar
 
class  SVF::BaseObjVar
 
class  SVF::GepObjVar
 
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::FunObjVar
 
class  SVF::FunValVar
 
class  SVF::GlobalValVar
 
class  SVF::ConstAggValVar
 
class  SVF::ConstDataValVar
 
class  SVF::BlackHoleValVar
 
class  SVF::ConstFPValVar
 
class  SVF::ConstIntValVar
 
class  SVF::ConstNullPtrValVar
 
class  SVF::GlobalObjVar
 
class  SVF::ConstAggObjVar
 
class  SVF::ConstDataObjVar
 
class  SVF::ConstFPObjVar
 
class  SVF::ConstIntObjVar
 
class  SVF::ConstNullPtrObjVar
 
class  SVF::RetValPN
 
class  SVF::VarArgValPN
 
class  SVF::DummyValVar
 
class  SVF::DummyObjVar
 

Namespaces

namespace  SVF
 for isBitcode
 

Typedefs

typedef GenericNode< SVFVar, SVFStmtSVF::GenericPAGNodeTy