|
typedef GNodeK | VFGNodeK |
|
typedef VFGEdge::VFGEdgeSetTy::iterator | iterator |
|
typedef VFGEdge::VFGEdgeSetTy::const_iterator | const_iterator |
|
typedef Set< const CallPE * > | CallPESet |
|
typedef Set< const RetPE * > | RetPESet |
|
typedef NodeTy | NodeType |
|
typedef EdgeTy | EdgeType |
|
typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge > | GEdgeSetTy |
| Edge kind.
|
|
typedef GEdgeSetTy::iterator | iterator |
|
typedef GEdgeSetTy::const_iterator | const_iterator |
|
enum | GNodeK {
IntraBlock
, GlobalBlock
, FunEntryBlock
, FunExitBlock
,
FunCallBlock
, FunRetBlock
, ValNode
, ArgValNode
,
FunValNode
, GepValNode
, RetValNode
, VarargValNode
,
GlobalValNode
, ConstAggValNode
, ConstDataValNode
, BlackHoleValNode
,
ConstFPValNode
, ConstIntValNode
, ConstNullptrValNode
, DummyValNode
,
ObjNode
, GepObjNode
, BaseObjNode
, FunObjNode
,
HeapObjNode
, StackObjNode
, GlobalObjNode
, ConstAggObjNode
,
ConstDataObjNode
, ConstFPObjNode
, ConstIntObjNode
, ConstNullptrObjNode
,
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
, BasicBlockKd
, OtherKd
} |
|
static bool | isICFGNodeKinds (GNodeK n) |
| Helper functions to check node kinds.
|
|
static bool | isInterICFGNodeKind (GNodeK n) |
|
static bool | isSVFVarKind (GNodeK n) |
|
static bool | isValVarKinds (GNodeK n) |
|
static bool | isConstantDataValVar (GNodeK n) |
|
static bool | isObjVarKinds (GNodeK n) |
|
static bool | isBaseObjVarKinds (GNodeK n) |
|
static bool | isConstantDataObjVarKinds (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) |
|
const ICFGNode * | icfgNode |
|
NodeID | id |
| Node ID.
|
|
GNodeK | nodeKind |
| Node kind.
|
|
const SVFType * | type |
| SVF type.
|
|
std::string | name |
|
std::string | sourceLoc |
| Source code information of this value.
|
|
Definition at line 566 of file VFGNode.h.