|
Static Value-Flow Analysis
|
#include "Graphs/GenericGraph.h"#include "SVFIR/SVFValue.h"#include "Graphs/ICFG.h"#include <set>Go to the source code of this file.
Classes | |
| class | SVF::CallGraphEdge |
| class | SVF::CallGraphNode |
| class | SVF::CallGraph |
| struct | SVF::GenericGraphTraits< SVF::CallGraphNode * > |
| struct | SVF::GenericGraphTraits< Inverse< SVF::CallGraphNode * > > |
| Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal. More... | |
| struct | SVF::GenericGraphTraits< SVF::CallGraph * > |
Namespaces | |
| namespace | SVF |
| for isBitcode | |