|
Static Value-Flow Analysis
|
#include <SVFLLVMValue.h>
Public Member Functions | |
| SVFGlobalValue (const SVFType *ty) | |
| SVFGlobalValue (std::string &&name, const SVFType *ty) | |
| SVFGlobalValue ()=delete | |
| const SVFLLVMValue * | getDefGlobalForMultipleModule () const |
Public Member Functions inherited from SVF::SVFConstant | |
| SVFConstant (const SVFType *ty, SVFValKind k=SVFConst) | |
| SVFConstant ()=delete | |
Public Member Functions inherited from SVF::SVFLLVMValue | |
| SVFLLVMValue ()=delete | |
| virtual | ~SVFLLVMValue ()=default |
| GNodeK | getKind () const |
| Get the type of this SVFValue. | |
| const std::string & | getName () const |
| void | setName (std::string &&n) |
| virtual const SVFType * | getType () const |
| bool | isConstDataOrAggData () const |
| bool | ptrInUncalledFunction () 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. | |
Static Public Member Functions | |
| static bool | classof (const SVFLLVMValue *node) |
| static bool | classof (const SVFConstant *node) |
Static Public Member Functions inherited from SVF::SVFConstant | |
| static bool | classof (const SVFLLVMValue *node) |
Protected Member Functions | |
| void | setDefGlobalForMultipleModule (const SVFLLVMValue *defg) |
| the definition of a function across multiple modules | |
Protected Member Functions inherited from SVF::SVFLLVMValue | |
| SVFLLVMValue (const SVFType *ty, SVFValKind k) | |
| Constructor without name. | |
| void | setConstDataOrAggData () |
| void | setPtrInUncalledFunction () |
Private Attributes | |
| const SVFLLVMValue * | realDefGlobal |
Friends | |
| class | SVFIRWriter |
| class | SVFIRReader |
| class | LLVMModuleSet |
Additional Inherited Members | |
Public Types inherited from SVF::SVFLLVMValue | |
| enum | SVFValKind { SVFVal , SVFFunc , SVFBB , SVFInst , SVFCall , SVFVCall , SVFGlob , SVFArg , SVFConst , SVFConstData , SVFMetaAsValue , SVFOther } |
| typedef s64_t | GNodeK |
Protected Attributes inherited from SVF::SVFLLVMValue | |
| const SVFType * | type |
| Type of this SVFValue. | |
| std::string | name |
| Short name of value for printing & debugging. | |
| std::string | sourceLoc |
Definition at line 522 of file SVFLLVMValue.h.
Definition at line 538 of file SVFLLVMValue.h.
Definition at line 541 of file SVFLLVMValue.h.
|
delete |
|
inlinestatic |
Definition at line 557 of file SVFLLVMValue.h.
|
inlinestatic |
Definition at line 553 of file SVFLLVMValue.h.
|
inline |
Definition at line 547 of file SVFLLVMValue.h.
|
inlineprotected |
the definition of a function across multiple modules
Definition at line 532 of file SVFLLVMValue.h.
|
friend |
Definition at line 526 of file SVFLLVMValue.h.
Definition at line 525 of file SVFLLVMValue.h.
Definition at line 524 of file SVFLLVMValue.h.
|
private |
Definition at line 529 of file SVFLLVMValue.h.