Static Value-Flow Analysis
|
#include <SVFStatements.h>
Static Public Member Functions | |
static bool | classof (const CmpStmt *) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const SVFStmt *edge) |
static bool | classof (const MultiOpndStmt *edge) |
static bool | classof (const GenericPAGEdgeTy *edge) |
![]() | |
static bool | classof (const MultiOpndStmt *) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const SVFStmt *node) |
static bool | classof (const GenericPAGEdgeTy *node) |
![]() | |
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 | |
CmpStmt (const CmpStmt &) | |
place holder | |
void | operator= (const CmpStmt &) |
place holder | |
Private Attributes | |
u32_t | predicate |
Additional Inherited Members | |
![]() | |
static u32_t | totalEdgeNum |
Total edge number. | |
![]() | |
MultiOpndStmt (SVFVar *r, const OPVars &opnds, GEdgeFlag k) | |
Constructor, only used by subclasses but not external users. | |
![]() | |
SVFStmt (GEdgeFlag k) | |
Private constructor for reading SVFIR from file without side-effect. | |
![]() | |
OPVars | opVars |
![]() | |
static constexpr unsigned char | EdgeKindMaskBits = 8 |
We use the lower 8 bits to denote edge kind. | |
static constexpr u64_t | EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits) |
Comparison statement
Definition at line 886 of file SVFStatements.h.
OpCode for CmpStmt, enum value is same to llvm CmpInst.
Definition at line 897 of file SVFStatements.h.
constructor
Definition at line 350 of file SVFStatements.cpp.
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 936 of file SVFStatements.h.
|
inlinestatic |
Definition at line 948 of file SVFStatements.h.
|
inlinestatic |
Definition at line 944 of file SVFStatements.h.
Definition at line 940 of file SVFStatements.h.
|
inline |
Definition at line 957 of file SVFStatements.h.
|
overridevirtual |
Reimplemented from SVF::SVFStmt.
Definition at line 132 of file SVFStatements.cpp.
|
private |
Definition at line 893 of file SVFStatements.h.