|
Static Value-Flow Analysis
|
#include "Graphs/BasicBlockG.h"#include "Graphs/GenericGraph.h"#include "SVFIR/ObjTypeInfo.h"#include "SVFIR/SVFStatements.h"#include "Util/GeneralType.h"#include "Util/SVFLoopAndDomInfo.h"#include "Util/SVFUtil.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::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 |