Static Value-Flow Analysis
|
#include <GenericGraph.h>
Public Types | |
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 |
Public Types inherited from SVF::SVFBaseNode | |
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 Public Member Functions | |
static bool | classof (const GenericNode< NodeTy, EdgeTy > *) |
static bool | classof (const SVFBaseNode *) |
Private Attributes | |
GEdgeSetTy | InEdges |
all incoming edge of this node More... | |
GEdgeSetTy | OutEdges |
all outgoing edge of this node More... | |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
Additional Inherited Members | |
Static Protected Member Functions inherited from SVF::SVFBaseNode | |
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) |
Protected Attributes inherited from SVF::SVFBaseNode | |
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... | |
Generic node on the graph as base class
Definition at line 393 of file GenericGraph.h.
typedef GEdgeSetTy::const_iterator SVF::GenericNode< NodeTy, EdgeTy >::const_iterator |
Definition at line 406 of file GenericGraph.h.
typedef EdgeTy SVF::GenericNode< NodeTy, EdgeTy >::EdgeType |
Definition at line 400 of file GenericGraph.h.
typedef OrderedSet<EdgeType*, typename EdgeType::equalGEdge> SVF::GenericNode< NodeTy, EdgeTy >::GEdgeSetTy |
Edge kind.
Definition at line 402 of file GenericGraph.h.
typedef GEdgeSetTy::iterator SVF::GenericNode< NodeTy, EdgeTy >::iterator |
Edge iterator
Definition at line 405 of file GenericGraph.h.
typedef NodeTy SVF::GenericNode< NodeTy, EdgeTy >::NodeType |
Definition at line 399 of file GenericGraph.h.
|
inline |
Constructor.
Definition at line 416 of file GenericGraph.h.
|
inlinevirtual |
Destructor.
Definition at line 422 of file GenericGraph.h.
|
inline |
Add incoming and outgoing edges.
Definition at line 527 of file GenericGraph.h.
|
inline |
Definition at line 531 of file GenericGraph.h.
|
inlinestatic |
Definition at line 575 of file GenericGraph.h.
|
inlinestatic |
Definition at line 580 of file GenericGraph.h.
|
inlinevirtual |
Reimplemented in SVF::ConstraintNode.
Definition at line 498 of file GenericGraph.h.
|
inlinevirtual |
Reimplemented in SVF::ConstraintNode.
Definition at line 515 of file GenericGraph.h.
|
inlinevirtual |
Reimplemented in SVF::ConstraintNode.
Definition at line 502 of file GenericGraph.h.
|
inlinevirtual |
Reimplemented in SVF::ConstraintNode.
Definition at line 519 of file GenericGraph.h.
|
inlinevirtual |
Iterators used for SCC detection, overwrite it in child class if necessary.
Reimplemented in SVF::ConstraintNode.
Definition at line 490 of file GenericGraph.h.
|
inlinevirtual |
Reimplemented in SVF::ConstraintNode.
Definition at line 507 of file GenericGraph.h.
|
inlinevirtual |
Reimplemented in SVF::ConstraintNode.
Definition at line 494 of file GenericGraph.h.
|
inlinevirtual |
Reimplemented in SVF::ConstraintNode.
Definition at line 511 of file GenericGraph.h.
|
inline |
Definition at line 434 of file GenericGraph.h.
|
inline |
Get incoming/outgoing edge set
Definition at line 430 of file GenericGraph.h.
|
inline |
Has incoming/outgoing edge set.
Definition at line 442 of file GenericGraph.h.
|
inline |
Find incoming and outgoing edges.
Definition at line 557 of file GenericGraph.h.
|
inline |
Definition at line 446 of file GenericGraph.h.
|
inline |
Definition at line 565 of file GenericGraph.h.
|
inline |
Definition at line 462 of file GenericGraph.h.
|
inline |
Definition at line 478 of file GenericGraph.h.
|
inline |
Definition at line 466 of file GenericGraph.h.
|
inline |
Definition at line 482 of file GenericGraph.h.
|
inline |
|
inline |
Definition at line 470 of file GenericGraph.h.
|
inline |
Definition at line 458 of file GenericGraph.h.
|
inline |
Definition at line 474 of file GenericGraph.h.
|
inline |
|
inline |
|
friend |
Definition at line 396 of file GenericGraph.h.
|
friend |
Definition at line 395 of file GenericGraph.h.
|
private |
all incoming edge of this node
Definition at line 411 of file GenericGraph.h.
|
private |
all outgoing edge of this node
Definition at line 412 of file GenericGraph.h.