Static Value-Flow Analysis
|
Go to the source code of this file.
Classes | |
class | SVF::CFLGraphBuilder |
class | SVF::AliasCFLGraphBuilder |
AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing. More... | |
class | SVF::VFCFLGraphBuilder |
VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow. More... | |
Namespaces | |
namespace | SVF |
for isBitcode | |
Enumerations | |
enum class | SVF::BuildDirection { SVF::plain , SVF::bidirection } |