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 |