|
Static Value-Flow Analysis
|
#include "Graphs/GenericGraph.h"#include "Graphs/SVFGEdge.h"#include "Graphs/ICFGNode.h"#include "SVFIR/SVFIR.h"Go to the source code of this file.
Classes | |
| class | SVF::VFGNode |
| class | SVF::StmtVFGNode |
| class | SVF::LoadVFGNode |
| class | SVF::StoreVFGNode |
| class | SVF::CopyVFGNode |
| class | SVF::CmpVFGNode |
| class | SVF::BinaryOPVFGNode |
| class | SVF::UnaryOPVFGNode |
| class | SVF::BranchVFGNode |
| class | SVF::GepVFGNode |
| class | SVF::PHIVFGNode |
| class | SVF::IntraPHIVFGNode |
| class | SVF::AddrVFGNode |
| class | SVF::ArgumentVFGNode |
| class | SVF::ActualParmVFGNode |
| class | SVF::FormalParmVFGNode |
| class | SVF::ActualRetVFGNode |
| class | SVF::FormalRetVFGNode |
| class | SVF::InterPHIVFGNode |
| class | SVF::NullPtrVFGNode |
Namespaces | |
| namespace | SVF |
| for isBitcode | |
Typedefs | |
| typedef GenericNode< VFGNode, VFGEdge > | SVF::GenericVFGNodeTy |