Static Value-Flow Analysis
|
#include <SVFStatements.h>
Static Public Member Functions | |
static bool | classof (const RetPE *) |
the function exit statement returned from | |
static bool | classof (const SVFStmt *edge) |
static bool | classof (const GenericPAGEdgeTy *edge) |
![]() | |
static bool | classof (const AssignStmt *) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const SVFStmt *edge) |
static bool | classof (const GenericPAGEdgeTy *edge) |
![]() | |
static bool | classof (const SVFStmt *) |
ClassOf. | |
static bool | classof (const GenericPAGEdgeTy *edge) |
static GEdgeFlag | makeEdgeFlagWithAddionalOpnd (GEdgeKind k, const SVFVar *var) |
static GEdgeFlag | makeEdgeFlagWithCallInst (GEdgeKind k, const ICFGNode *cs) |
static GEdgeFlag | makeEdgeFlagWithStoreInst (GEdgeKind k, const ICFGNode *store) |
Private Member Functions | |
RetPE (const RetPE &) | |
place holder | |
void | operator= (const RetPE &) |
place holder | |
Private Attributes | |
const CallICFGNode * | call |
const FunExitICFGNode * | exit |
the callsite statement returning to | |
Additional Inherited Members | |
![]() | |
enum | PEDGEK { Addr , Copy , Store , Load , Call , Ret , Gep , Phi , Select , Cmp , BinaryOp , UnaryOp , Branch , ThreadFork , ThreadJoin } |
typedef GenericNode< SVFVar, SVFStmt >::GEdgeSetTy | SVFStmtSetTy |
typedef Map< EdgeID, SVFStmtSetTy > | PAGEdgeToSetMapTy |
typedef PAGEdgeToSetMapTy | KindToSVFStmtMapTy |
typedef SVFStmtSetTy | PAGEdgeSetTy |
![]() | |
typedef NodeTy | NodeType |
Node type. | |
typedef u64_t | GEdgeFlag |
typedef s64_t | GEdgeKind |
typedef struct SVF::GenericEdge::equalGEdge | equalGEdge |
Add the hash function for std::set (we also can overload operator< to implement this) | |
![]() | |
static u32_t | totalEdgeNum |
Total edge number. | |
![]() | |
AssignStmt (SVFVar *s, SVFVar *d, GEdgeFlag k) | |
constructor | |
![]() | |
SVFStmt (GEdgeFlag k) | |
Private constructor for reading SVFIR from file without side-effect. | |
![]() | |
static constexpr unsigned char | EdgeKindMaskBits = 8 |
We use the lower 8 bits to denote edge kind. | |
static constexpr u64_t | EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits) |
Return
Definition at line 638 of file SVFStatements.h.
RetPE::RetPE | ( | SVFVar * | s, |
SVFVar * | d, | ||
const CallICFGNode * | i, | ||
const FunExitICFGNode * | e, | ||
GEdgeKind | k = SVFStmt::Ret |
||
) |
constructor
Definition at line 339 of file SVFStatements.cpp.
|
inlinestatic |
Definition at line 660 of file SVFStatements.h.
the function exit statement returned from
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 651 of file SVFStatements.h.
Definition at line 655 of file SVFStatements.h.
|
inline |
Get method for call instruction at caller.
Definition at line 673 of file SVFStatements.h.
|
inline |
Definition at line 677 of file SVFStatements.h.
|
inline |
Definition at line 681 of file SVFStatements.h.
|
overridevirtual |
Implements SVF::AssignStmt.
Reimplemented in SVF::TDJoinPE.
Definition at line 244 of file SVFStatements.cpp.
|
private |
Definition at line 645 of file SVFStatements.h.
|
private |
the callsite statement returning to
Definition at line 646 of file SVFStatements.h.