Static Value-Flow Analysis
|
#include "SVFIR/SVFStatements.h"
#include "SVFIR/SVFVariables.h"
#include "Util/NodeIDAllocator.h"
#include "Util/SVFUtil.h"
#include "Graphs/ICFG.h"
Go to the source code of this file.
Classes | |
class | SVF::IRGraph |
struct | SVF::GenericGraphTraits< SVF::SVFVar * > |
struct | SVF::GenericGraphTraits< Inverse< SVF::SVFVar * > > |
Inverse GenericGraphTraits specializations for SVFIR node, it is used for inverse traversal. More... | |
struct | SVF::GenericGraphTraits< SVF::IRGraph * > |
Namespaces | |
namespace | SVF |
for isBitcode | |
Typedefs | |
typedef SVFVar | SVF::PAGNode |
typedef SVFStmt | SVF::PAGEdge |