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