|
typedef Map< u32_t, const PAGNode * > | OPVers |
|
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
} |
|
|
| PHIVFGNode (NodeID id, const PAGNode *r, VFGNodeK k=TPhi) |
| Constructor. More...
|
|
bool | isPTANode () const |
| Whether this phi node is of pointer type (used for pointer analysis). More...
|
|
const PAGNode * | getOpVer (u32_t pos) const |
| Operands at a llvm PHINode. More...
|
|
void | setOpVer (u32_t pos, const PAGNode *node) |
|
const PAGNode * | getRes () const |
|
u32_t | getOpVerNum () const |
|
OPVers::const_iterator | opVerBegin () const |
|
OPVers::const_iterator | opVerEnd () const |
|
const NodeBS | getDefSVFVars () const override |
| Return the left hand side SVF Vars. More...
|
|
const SVFValue * | getValue () const override |
| Return the corresponding LLVM value, if possible, nullptr otherwise. More...
|
|
const std::string | toString () const override |
|
| 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 |
|
Definition at line 668 of file VFGNode.h.