Static Value-Flow Analysis
|
Go to the source code of this file.
Classes | |
class | SVF::SVFG |
struct | SVF::GenericGraphTraits< SVF::SVFG * > |
Namespaces | |
SVF | |
for isBitcode | |
Typedefs | |
typedef VFGEdge | SVF::SVFGEdge |
typedef VFGNode | SVF::SVFGNode |
typedef ActualParmVFGNode | SVF::ActualParmSVFGNode |
typedef ActualRetVFGNode | SVF::ActualRetSVFGNode |
typedef FormalParmVFGNode | SVF::FormalParmSVFGNode |
typedef FormalRetVFGNode | SVF::FormalRetSVFGNode |
typedef NullPtrVFGNode | SVF::NullPtrSVFGNode |
typedef StmtVFGNode | SVF::StmtSVFGNode |
typedef AddrVFGNode | SVF::AddrSVFGNode |
typedef CopyVFGNode | SVF::CopySVFGNode |
typedef StoreVFGNode | SVF::StoreSVFGNode |
typedef LoadVFGNode | SVF::LoadSVFGNode |
typedef GepVFGNode | SVF::GepSVFGNode |
typedef PHIVFGNode | SVF::PHISVFGNode |
typedef IntraPHIVFGNode | SVF::IntraPHISVFGNode |
typedef InterPHIVFGNode | SVF::InterPHISVFGNode |