Static Value-Flow Analysis
|
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, SVFStmt > | SVF::GenericPAGNodeTy |