#include <GenericGraph.h>
|
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
} |
|
Definition at line 137 of file GenericGraph.h.
◆ GNodeK
Enumerator |
---|
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 | |
Definition at line 142 of file GenericGraph.h.
◆ SVFBaseNode()
Definition at line 254 of file GenericGraph.h.
const SVFType * type
SVF type.
GNodeK nodeKind
Node kind.
◆ getId()
NodeID SVF::SVFBaseNode::getId |
( |
| ) |
const |
|
inline |
◆ getNodeKind()
GNodeK SVF::SVFBaseNode::getNodeKind |
( |
| ) |
const |
|
inline |
◆ getSourceLoc()
virtual const std::string SVF::SVFBaseNode::getSourceLoc |
( |
| ) |
const |
|
inlinevirtual |
◆ getType()
virtual const SVFType* SVF::SVFBaseNode::getType |
( |
| ) |
const |
|
inlinevirtual |
◆ isArgumentVFGNodeKinds()
static bool SVF::SVFBaseNode::isArgumentVFGNodeKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 347 of file GenericGraph.h.
350 "The number of ArgumentVFGNodeKinds has changed, make "
351 "sure the range is correct");
352 return n <= FParm && n >=
FRet;
◆ isICFGNodeKinds()
static bool SVF::SVFBaseNode::isICFGNodeKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Helper functions to check node kinds.
Definition at line 298 of file GenericGraph.h.
301 "the number of ICFGNodeKinds has changed, make sure "
302 "the range is correct");
◆ isInterICFGNodeKind()
static bool SVF::SVFBaseNode::isInterICFGNodeKind |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 306 of file GenericGraph.h.
309 "the number of InterICFGNodeKind has changed, make sure "
310 "the range is correct");
◆ isMRSVFGNodeKinds()
static bool SVF::SVFBaseNode::isMRSVFGNodeKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 371 of file GenericGraph.h.
374 "The number of MRSVFGNodeKinds has changed, make sure "
375 "the range is correct");
376 return n <= MInterPhi && n >=
FPIN;
◆ isMSSAPHISVFGNodeKinds()
static bool SVF::SVFBaseNode::isMSSAPHISVFGNodeKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 379 of file GenericGraph.h.
382 "The number of MSSAPHISVFGNodeKinds has changed, make "
383 "sure the range is correct");
384 return n <= MInterPhi && n >=
MPhi;
◆ isObjVarKinds()
static bool SVF::SVFBaseNode::isObjVarKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 331 of file GenericGraph.h.
334 "The number of ObjVarKinds has changed, make sure the "
336 return n <= DummyObjNode && n >=
ObjNode;
◆ isPHIVFGNodeKinds()
static bool SVF::SVFBaseNode::isPHIVFGNodeKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 363 of file GenericGraph.h.
366 "The number of PHIVFGNodeKinds has changed, make sure "
367 "the range is correct");
368 return n <= TInterPhi && n >=
TPhi;
◆ isStmtVFGNodeKinds()
static bool SVF::SVFBaseNode::isStmtVFGNodeKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 355 of file GenericGraph.h.
358 "The number of StmtVFGNodeKinds has changed, make sure "
359 "the range is correct");
360 return n <= Load && n >=
Addr;
◆ isSVFVarKind()
static bool SVF::SVFBaseNode::isSVFVarKind |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 314 of file GenericGraph.h.
317 "The number of SVFVarKinds has changed, make sure the "
320 return n <= DummyObjNode && n >=
ValNode;
◆ isValVarKinds()
static bool SVF::SVFBaseNode::isValVarKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 323 of file GenericGraph.h.
326 "The number of ValVarKinds has changed, make sure the "
328 return n <= DummyValNode && n >=
ValNode;
◆ isVFGNodeKinds()
static bool SVF::SVFBaseNode::isVFGNodeKinds |
( |
GNodeK |
n | ) |
|
|
inlinestaticprotected |
Definition at line 339 of file GenericGraph.h.
342 "The number of VFGNodeKinds has changed, make sure the "
344 return n <= MInterPhi && n >=
Cmp;
◆ setSourceLoc()
virtual void SVF::SVFBaseNode::setSourceLoc |
( |
const std::string & |
sourceCodeInfo | ) |
|
|
inlinevirtual |
◆ valueOnlyToString()
const std::string SVF::SVFBaseNode::valueOnlyToString |
( |
| ) |
const |
Definition at line 688 of file LLVMUtil.cpp.
691 llvm::raw_string_ostream rawstr(str);
694 rawstr <<
"Function: " << fun->getFunction()->getName() <<
" ";
700 rawstr <<
" " << *llvmVal <<
" ";
702 rawstr <<
" No llvmVal found";
const Value * getLLVMValue(const SVFValue *value) const
static LLVMModuleSet * getLLVMModuleSet()
virtual const std::string getSourceLoc() const
◆ id
◆ nodeKind
GNodeK SVF::SVFBaseNode::nodeKind |
|
protected |
◆ sourceLoc
Source code information of this value.
Definition at line 294 of file GenericGraph.h.
◆ type
const SVFType* SVF::SVFBaseNode::type |
|
protected |
The documentation for this class was generated from the following files: