Static Value-Flow Analysis
Loading...
Searching...
No Matches
SparseObjGraph.h File Reference
#include "Graphs/ICFG.h"

Go to the source code of this file.

Classes

class  SVF::SparseObjEdge
 An edge carries the source packed Obj to the target ICFG location. More...
class  SVF::SparseObjNode
class  SVF::SparseObjGraph
struct  SVF::GenericGraphTraits< SparseObjNode * >
struct  SVF::GenericGraphTraits< Inverse< SparseObjNode * > >
struct  SVF::GenericGraphTraits< SparseObjGraph * >

Namespaces

namespace  SVF
 for isBitcode

Typedefs

typedef GenericEdge< SparseObjNode > SVF::GenericSparseObjEdgeTy
typedef GenericNode< SparseObjNode, SparseObjEdge > SVF::GenericSparseObjNodeTy
typedef GenericGraph< SparseObjNode, SparseObjEdge > SVF::GenericSparseObjGraphTy