|
| LoadVFGNode (NodeID id, const LoadStmt *edge) |
| Constructor. More...
|
|
const NodeBS | getDefSVFVars () const override |
| Return the left hand side SVF Vars. More...
|
|
const std::string | toString () const override |
|
| StmtVFGNode (NodeID id, const PAGEdge *e, VFGNodeK k) |
| Constructor. More...
|
|
bool | isPTANode () const |
| Whether this node is used for pointer analysis. Both src and dst PAGNodes are of ptr type. More...
|
|
const PAGEdge * | getPAGEdge () const |
|
NodeID | getPAGSrcNodeID () const |
|
NodeID | getPAGDstNodeID () const |
|
PAGNode * | getPAGSrcNode () const |
|
PAGNode * | getPAGDstNode () const |
|
const SVFValue * | getValue () const override |
| Return the corresponding LLVM value, if possible, nullptr otherwise. More...
|
|
| VFGNode (NodeID i, VFGNodeK k) |
| Constructor. More...
|
|
virtual const ICFGNode * | getICFGNode () const |
| Return corresponding ICFG node. More...
|
|
virtual void | setICFGNode (const ICFGNode *node) |
| Set corresponding ICFG node. More...
|
|
virtual const SVFFunction * | getFun () const |
| Get the function of this SVFGNode. More...
|
|
| GenericNode (NodeID i, GNodeK k) |
| Constructor. More...
|
|
virtual | ~GenericNode () |
| Destructor. More...
|
|
bool | hasIncomingEdge () const |
| Has incoming/outgoing edge set. More...
|
|
bool | hasOutgoingEdge () const |
|
iterator | OutEdgeBegin () |
| iterators More...
|
|
iterator | OutEdgeEnd () |
|
iterator | InEdgeBegin () |
|
iterator | InEdgeEnd () |
|
const_iterator | OutEdgeBegin () const |
|
const_iterator | OutEdgeEnd () const |
|
const_iterator | InEdgeBegin () const |
|
const_iterator | InEdgeEnd () const |
|
virtual iterator | directOutEdgeBegin () |
| Iterators used for SCC detection, overwrite it in child class if necessary. More...
|
|
virtual iterator | directOutEdgeEnd () |
|
virtual iterator | directInEdgeBegin () |
|
virtual iterator | directInEdgeEnd () |
|
virtual const_iterator | directOutEdgeBegin () const |
|
virtual const_iterator | directOutEdgeEnd () const |
|
virtual const_iterator | directInEdgeBegin () const |
|
virtual const_iterator | directInEdgeEnd () const |
|
bool | addIncomingEdge (EdgeType *inEdge) |
| Add incoming and outgoing edges. More...
|
|
bool | addOutgoingEdge (EdgeType *outEdge) |
|
EdgeType * | hasIncomingEdge (EdgeType *edge) const |
| Find incoming and outgoing edges. More...
|
|
EdgeType * | hasOutgoingEdge (EdgeType *edge) const |
|
const GEdgeSetTy & | getOutEdges () const |
|
const GEdgeSetTy & | getInEdges () const |
|
u32_t | removeIncomingEdge (EdgeType *edge) |
|
u32_t | removeOutgoingEdge (EdgeType *edge) |
|
| SVFBaseNode (NodeID i, GNodeK k, SVFType *ty=nullptr) |
|
NodeID | getId () const |
| Get ID. More...
|
|
GNodeK | getNodeKind () const |
| Get node kind. More...
|
|
virtual const SVFType * | getType () const |
|
virtual void | setSourceLoc (const std::string &sourceCodeInfo) |
|
virtual const std::string | getSourceLoc () const |
|
const std::string | valueOnlyToString () const |
|
|
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. 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) |
|
const ICFGNode * | icfgNode |
|
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...
|
|
VFGNode for loads
Definition at line 200 of file VFGNode.h.