|
typedef NodeTy | NodeType |
|
typedef EdgeTy | EdgeType |
|
typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge > | GEdgeSetTy |
| Edge kind. More...
|
|
typedef GEdgeSetTy::iterator | iterator |
|
typedef GEdgeSetTy::const_iterator | const_iterator |
|
enum | GNodeK {
IntraBlock
, GlobalBlock
, FunEntryBlock
, FunExitBlock
,
FunCallBlock
, FunRetBlock
, ValNode
, GepValNode
,
RetNode
, VarargNode
, DummyValNode
, ObjNode
,
GepObjNode
, FIObjNode
, DummyObjNode
, Cmp
,
BinaryOp
, UnaryOp
, Branch
, DummyVProp
,
NPtr
, FRet
, ARet
, AParm
,
FParm
, Addr
, Copy
, Gep
,
Store
, Load
, TPhi
, TIntraPhi
,
TInterPhi
, FPIN
, FPOUT
, APIN
,
APOUT
, MPhi
, MIntraPhi
, MInterPhi
,
CallNodeKd
, CDNodeKd
, CFLNodeKd
, CHNodeKd
,
ConstraintNodeKd
, TCTNodeKd
, DCHNodeKd
, OtherKd
} |
|
static bool | isICFGNodeKinds (GNodeK n) |
| Helper functions to check node kinds. More...
|
|
static bool | isInterICFGNodeKind (GNodeK n) |
|
static bool | isSVFVarKind (GNodeK n) |
|
static bool | isValVarKinds (GNodeK n) |
|
static bool | isObjVarKinds (GNodeK n) |
|
static bool | isVFGNodeKinds (GNodeK n) |
|
static bool | isArgumentVFGNodeKinds (GNodeK n) |
|
static bool | isStmtVFGNodeKinds (GNodeK n) |
|
static bool | isPHIVFGNodeKinds (GNodeK n) |
|
static bool | isMRSVFGNodeKinds (GNodeK n) |
|
static bool | isMSSAPHISVFGNodeKinds (GNodeK n) |
|
NodeID | id |
| Node ID. More...
|
|
GNodeK | nodeKind |
| Node kind. More...
|
|
const SVFType * | type |
| SVF type. More...
|
|
std::string | sourceLoc |
| Source code information of this value. More...
|
|
Definition at line 85 of file TCT.h.