Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVFVariables.h File Reference

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::ConstDataValVar
class  SVF::BlackHoleValVar
class  SVF::ConstFPValVar
class  SVF::ConstIntValVar
class  SVF::ConstNullPtrValVar
class  SVF::GlobalObjVar
class  SVF::ConstDataObjVar
class  SVF::ConstFPObjVar
class  SVF::ConstIntObjVar
class  SVF::ConstNullPtrObjVar
class  SVF::RetValPN
class  SVF::VarArgValPN
class  SVF::DummyValVar
class  SVF::IntrinsicValVar
class  SVF::AsmPCValVar
class  SVF::DummyObjVar

Namespaces

namespace  SVF
 for isBitcode

Typedefs

typedef GenericNode< SVFVar, SVFStmt > SVF::GenericPAGNodeTy