Static Value-Flow Analysis
Loading...
Searching...
No Matches
IRGraph.h File Reference

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