|
Static Value-Flow Analysis
|
#include "CFL/CFGrammar.h"#include "Graphs/CFLGraph.h"#include "Graphs/SVFG.h"#include "Util/GeneralType.h"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 } |