Static Value-Flow Analysis
|
#include <SVFStatements.h>
Public Member Functions | |
const AccessPath & | getAccessPath () const |
const AccessPath::IdxOperandPairs | getOffsetVarAndGepTypePairVec () const |
bool | isConstantOffset () const |
Return TRUE if this is a constant location set. More... | |
APOffset | accumulateConstantByteOffset () const |
APOffset | accumulateConstantOffset () const |
Return accumulated constant offset (when accessing array or struct) if this offset is a constant. More... | |
APOffset | getConstantStructFldIdx () const |
Field index of the gep statement if it access the field of a struct. More... | |
bool | isVariantFieldGep () const |
Gep statement with a variant field index (pointer arithmetic) for struct field access. More... | |
GepStmt (SVFVar *s, SVFVar *d, const AccessPath &ap, bool varfld=false) | |
constructor More... | |
virtual const std::string | toString () const |
Public Member Functions inherited from SVF::AssignStmt | |
SVFVar * | getRHSVar () const |
SVFVar * | getLHSVar () const |
NodeID | getRHSVarID () const |
NodeID | getLHSVarID () const |
Public Member Functions inherited from SVF::SVFStmt | |
SVFStmt (SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true) | |
Constructor. More... | |
~SVFStmt () | |
Destructor. More... | |
EdgeID | getEdgeID () const |
Return Edge ID. More... | |
bool | isPTAEdge () const |
Whether src and dst nodes are both of pointer type. More... | |
const SVFInstruction * | getInst () const |
Get/set methods for llvm instruction. More... | |
void | setValue (const SVFValue *val) |
const SVFValue * | getValue () const |
void | setBB (const SVFBasicBlock *bb) |
const SVFBasicBlock * | getBB () const |
void | setICFGNode (ICFGNode *node) |
ICFGNode * | getICFGNode () const |
Public Member Functions inherited from SVF::GenericEdge< NodeTy > | |
GenericEdge (NodeTy *s, NodeTy *d, GEdgeFlag k) | |
Constructor. More... | |
virtual | ~GenericEdge () |
Destructor. More... | |
NodeID | getSrcID () const |
get methods of the components More... | |
NodeID | getDstID () const |
GEdgeKind | getEdgeKind () const |
GEdgeKind | getEdgeKindWithoutMask () const |
NodeType * | getSrcNode () const |
NodeType * | getDstNode () const |
virtual bool | operator== (const GenericEdge< NodeType > *rhs) const |
Static Public Member Functions | |
static bool | classof (const GepStmt *) |
Methods for support type inquiry through isa, cast, and dyn_cast: More... | |
static bool | classof (const SVFStmt *edge) |
static bool | classof (const GenericPAGEdgeTy *edge) |
Static Public Member Functions inherited from SVF::AssignStmt | |
static bool | classof (const AssignStmt *) |
Methods for support type inquiry through isa, cast, and dyn_cast: More... | |
static bool | classof (const SVFStmt *edge) |
static bool | classof (const GenericPAGEdgeTy *edge) |
Static Public Member Functions inherited from SVF::SVFStmt | |
static bool | classof (const SVFStmt *) |
ClassOf. More... | |
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 | |
GepStmt () | |
Constructs empty GepStmt (for SVFIRReader/serialization) More... | |
GepStmt (const GepStmt &) | |
place holder More... | |
void | operator= (const GepStmt &) |
place holder More... | |
Private Attributes | |
AccessPath | ap |
Access path of the GEP edge. More... | |
bool | variantField |
Gep statement with a variant field index (pointer arithmetic) for struct field access (e.g., p = &(q + f), where f is a variable) More... | |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
Additional Inherited Members | |
Public Types inherited from SVF::SVFStmt | |
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 |
Public Types inherited from SVF::GenericEdge< NodeTy > | |
typedef NodeTy | NodeType |
Node type. More... | |
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) More... | |
Static Public Attributes inherited from SVF::SVFStmt | |
static u32_t | totalEdgeNum |
Total edge number. More... | |
Protected Member Functions inherited from SVF::AssignStmt | |
AssignStmt (SVFVar *s, SVFVar *d, GEdgeFlag k) | |
constructor More... | |
AssignStmt (GEdgeFlag k) | |
Constructor to create empty AssignStmt (for SVFIRReader/serialization) More... | |
Protected Member Functions inherited from SVF::SVFStmt | |
SVFStmt (GEdgeFlag k) | |
Private constructor for reading SVFIR from file without side-effect. More... | |
Static Protected Attributes inherited from SVF::GenericEdge< NodeTy > | |
static constexpr unsigned char | EdgeKindMaskBits = 8 |
We use the lower 8 bits to denote edge kind. More... | |
static constexpr u64_t | EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits) |
Gep statement for struct field access, array access and pointer arithmetic
Definition at line 526 of file SVFStatements.h.
|
inlineprivate |
Constructs empty GepStmt (for SVFIRReader/serialization)
Definition at line 533 of file SVFStatements.h.
|
private |
place holder
|
inline |
constructor
Definition at line 598 of file SVFStatements.h.
|
inline |
Return accumulated constant offset (when accessing array or struct) if this offset is a constant. elemBytesize is the element byte size of an static alloc or heap alloc array e.g. GepStmt* gep = **, s32_t elemBytesize = LLVMUtil::SVFType2ByteSize(gep->getRHSVar()->getValue()->getType()); APOffset byteOffset = gep->accumulateConstantByteOffset(elemBytesize);
Definition at line 575 of file SVFStatements.h.
|
inline |
Return accumulated constant offset (when accessing array or struct) if this offset is a constant.
Definition at line 581 of file SVFStatements.h.
|
inlinestatic |
Definition at line 550 of file SVFStatements.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 542 of file SVFStatements.h.
|
inlinestatic |
Definition at line 546 of file SVFStatements.h.
|
inline |
Definition at line 556 of file SVFStatements.h.
|
inline |
Field index of the gep statement if it access the field of a struct.
Definition at line 586 of file SVFStatements.h.
|
inline |
Definition at line 560 of file SVFStatements.h.
|
inline |
Return TRUE if this is a constant location set.
Definition at line 565 of file SVFStatements.h.
|
inline |
Gep statement with a variant field index (pointer arithmetic) for struct field access.
Definition at line 592 of file SVFStatements.h.
|
private |
place holder
|
virtual |
Implements SVF::AssignStmt.
Definition at line 218 of file SVFStatements.cpp.
|
friend |
Definition at line 529 of file SVFStatements.h.
|
friend |
Definition at line 528 of file SVFStatements.h.
|
private |
Access path of the GEP edge.
Definition at line 537 of file SVFStatements.h.
|
private |
Gep statement with a variant field index (pointer arithmetic) for struct field access (e.g., p = &(q + f), where f is a variable)
Definition at line 538 of file SVFStatements.h.