|
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 |