Static Value-Flow Analysis
|
#include <SVFVariables.h>
Static Public Member Functions | |
static bool | classof (const GepObjVar *) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const ObjVar *node) |
static bool | classof (const SVFVar *node) |
static bool | classof (const GenericPAGNodeTy *node) |
static bool | classof (const SVFValue *node) |
![]() | |
static bool | classof (const ObjVar *) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const SVFVar *node) |
static bool | classof (const GenericPAGNodeTy *node) |
static bool | classof (const SVFValue *node) |
![]() | |
static bool | classof (const SVFVar *) |
Type checking support for LLVM-style RTTI. | |
static bool | classof (const GenericPAGNodeTy *node) |
static bool | classof (const SVFValue *node) |
![]() | |
static bool | classof (const GenericNode< NodeTy, EdgeTy > *) |
static bool | classof (const SVFValue *) |
Private Attributes | |
APOffset | apOffset = 0 |
const BaseObjVar * | base |
Definition at line 699 of file SVFVariables.h.
|
inline |
Constructor.
Definition at line 733 of file SVFVariables.h.
|
inlinestatic |
Definition at line 722 of file SVFVariables.h.
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 710 of file SVFVariables.h.
Definition at line 714 of file SVFVariables.h.
Definition at line 726 of file SVFVariables.h.
Definition at line 718 of file SVFVariables.h.
|
inline |
Return the base object from which this GEP node came from.
Definition at line 746 of file SVFVariables.h.
|
inline |
Definition at line 751 of file SVFVariables.h.
|
inline |
offset of the mem object
Definition at line 740 of file SVFVariables.h.
Get containing function, or null for globals/constants.
Reimplemented from SVF::SVFVar.
Definition at line 766 of file SVFVariables.h.
Return the type of this gep object.
Reimplemented from SVF::SVFValue.
Definition at line 213 of file SVFVariables.cpp.
|
inlinevirtual |
Return name of a LLVM value.
Reimplemented from SVF::ObjVar.
Definition at line 761 of file SVFVariables.h.
Check if this variable represents constant/aggregate data.
Reimplemented from SVF::SVFVar.
Definition at line 778 of file SVFVariables.h.
Check if this variable represents constant data/metadata but not null pointer.
Reimplemented from SVF::SVFVar.
Definition at line 783 of file SVFVariables.h.
Check if this variable represents a pointer.
Reimplemented from SVF::SVFVar.
Definition at line 788 of file SVFVariables.h.
Check if this pointer is in an uncalled function.
Reimplemented from SVF::SVFVar.
Definition at line 773 of file SVFVariables.h.
|
virtual |
Get string representation.
Reimplemented from SVF::ObjVar.
Definition at line 200 of file SVFVariables.cpp.
|
private |
Definition at line 703 of file SVFVariables.h.
|
private |
Definition at line 705 of file SVFVariables.h.