Static Value-Flow Analysis
|
#include <SVFValue.h>
Public Member Functions | |
SVFVirtualCallInst (const SVFType *ty, const SVFBasicBlock *b, bool vararg, bool tm) | |
const SVFValue * | getVtablePtr () const |
s32_t | getFunIdxInVtable () const |
const std::string & | getFunNameOfVirtualCall () const |
Public Member Functions inherited from SVF::SVFCallInst | |
SVFCallInst (const SVFType *ty, const SVFBasicBlock *b, bool va, bool tm, SVFValKind k=SVFCall) | |
SVFCallInst (void)=delete | |
u32_t | arg_size () const |
bool | arg_empty () const |
const SVFValue * | getArgOperand (u32_t i) const |
u32_t | getNumArgOperands () const |
const SVFValue * | getCalledOperand () const |
bool | isVarArg () const |
const SVFFunction * | getCalledFunction () const |
const SVFFunction * | getCaller () const |
Public Member Functions inherited from SVF::SVFInstruction | |
SVFInstruction (const SVFType *ty, const SVFBasicBlock *b, bool tm, bool isRet, SVFValKind k=SVFInst) | |
return true if this is an return instruction of a function More... | |
SVFInstruction (void)=delete | |
const SVFBasicBlock * | getParent () const |
const SVFFunction * | getFunction () const |
bool | isRetInst () const |
Public Member Functions inherited from SVF::SVFValue | |
SVFValue ()=delete | |
virtual | ~SVFValue ()=default |
GNodeK | getKind () const |
Get the type of this SVFValue. More... | |
const std::string & | getName () const |
void | setName (const std::string &n) |
void | setName (std::string &&n) |
virtual const SVFType * | getType () const |
bool | isConstDataOrAggData () const |
bool | ptrInUncalledFunction () const |
bool | isblackHole () const |
bool | isNullPtr () const |
virtual void | setSourceLoc (const std::string &sourceCodeInfo) |
virtual const std::string | getSourceLoc () const |
std::string | toString () const |
Needs to be implemented by a SVF front end. More... | |
Static Public Member Functions | |
static bool | classof (const SVFValue *node) |
static bool | classof (const SVFInstruction *node) |
static bool | classof (const SVFCallInst *node) |
Static Public Member Functions inherited from SVF::SVFCallInst | |
static bool | classof (const SVFValue *node) |
static bool | classof (const SVFInstruction *node) |
Static Public Member Functions inherited from SVF::SVFInstruction | |
static bool | classof (const SVFValue *node) |
Protected Member Functions | |
void | setFunIdxInVtable (s32_t idx) |
the function name of this virtual call More... | |
void | setFunNameOfVirtualCall (const std::string &name) |
void | setVtablePtr (const SVFValue *vptr) |
Protected Member Functions inherited from SVF::SVFCallInst | |
void | addArgument (const SVFValue *a) |
attributes to be set only through Module builders e.g., LLVMModule More... | |
void | setCalledOperand (const SVFValue *v) |
Protected Member Functions inherited from SVF::SVFValue | |
SVFValue (const SVFType *ty, SVFValKind k) | |
Constructor without name. More... | |
void | setConstDataOrAggData () |
void | setPtrInUncalledFunction () |
Private Attributes | |
const SVFValue * | vCallVtblPtr |
s32_t | virtualFunIdx |
virtual table pointer More... | |
std::string | funNameOfVcall |
virtual function index of the virtual table(s) at a virtual call More... | |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
class | LLVMModuleSet |
Additional Inherited Members | |
Public Types inherited from SVF::SVFValue | |
enum | SVFValKind { SVFVal , SVFFunc , SVFBB , SVFInst , SVFCall , SVFVCall , SVFGlob , SVFArg , SVFConst , SVFConstData , SVFConstInt , SVFConstFP , SVFNullPtr , SVFBlackHole , SVFMetaAsValue , SVFOther } |
typedef s64_t | GNodeK |
Protected Attributes inherited from SVF::SVFValue | |
const SVFType * | type |
Type of this SVFValue. More... | |
std::string | name |
Short name of value for printing & debugging. More... | |
std::string | sourceLoc |
Definition at line 738 of file SVFValue.h.
|
inline |
Definition at line 764 of file SVFValue.h.
|
inlinestatic |
Definition at line 792 of file SVFValue.h.
|
inlinestatic |
Definition at line 788 of file SVFValue.h.
|
inlinestatic |
Definition at line 784 of file SVFValue.h.
|
inline |
Definition at line 775 of file SVFValue.h.
|
inline |
Definition at line 780 of file SVFValue.h.
|
inline |
Definition at line 770 of file SVFValue.h.
|
inlineprotected |
the function name of this virtual call
Definition at line 750 of file SVFValue.h.
|
inlineprotected |
Definition at line 754 of file SVFValue.h.
|
inlineprotected |
Definition at line 758 of file SVFValue.h.
|
friend |
Definition at line 742 of file SVFValue.h.
|
friend |
Definition at line 741 of file SVFValue.h.
|
friend |
Definition at line 740 of file SVFValue.h.
|
private |
virtual function index of the virtual table(s) at a virtual call
Definition at line 747 of file SVFValue.h.
|
private |
Definition at line 745 of file SVFValue.h.
|
private |
virtual table pointer
Definition at line 746 of file SVFValue.h.