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::PTACallGraphEdge |
class | SVF::PTACallGraphNode |
class | SVF::PTACallGraph |
struct | SVF::GenericGraphTraits< SVF::PTACallGraphNode * > |
struct | SVF::GenericGraphTraits< Inverse< SVF::PTACallGraphNode * > > |
Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal. More... | |
struct | SVF::GenericGraphTraits< SVF::PTACallGraph * > |
Namespaces | |
namespace | SVF |
for isBitcode | |