Static Value-Flow Analysis
|
#include "Graphs/GenericGraph.h"
#include "SVFIR/SymbolTableInfo.h"
#include "SVFIR/SVFStatements.h"
Go to the source code of this file.
Classes | |
class | SVF::SVFVar |
class | SVF::ValVar |
class | SVF::ObjVar |
class | SVF::GepValVar |
class | SVF::GepObjVar |
class | SVF::FIObjVar |
class | SVF::RetPN |
class | SVF::VarArgPN |
class | SVF::DummyValVar |
class | SVF::DummyObjVar |
Namespaces | |
SVF | |
for isBitcode | |
Typedefs | |
typedef GenericNode< SVFVar, SVFStmt > | SVF::GenericPAGNodeTy |