|
Static Value-Flow Analysis
|
#include <SVFLLVMValue.h>
Public Member Functions | |
| SVFConstantNullPtr (const SVFType *ty) | |
| SVFConstantNullPtr ()=delete | |
Public Member Functions inherited from SVF::SVFConstantData | |
| SVFConstantData (const SVFType *ty, SVFValKind k=SVFConstData) | |
| SVFConstantData ()=delete | |
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 |
| 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. | |
Static Public Member Functions | |
| static bool | classof (const SVFLLVMValue *node) |
| static bool | classof (const SVFConstantData *node) |
Static Public Member Functions inherited from SVF::SVFConstantData | |
| static bool | classof (const SVFLLVMValue *node) |
| static bool | classof (const SVFConstantData *node) |
Static Public Member Functions inherited from SVF::SVFConstant | |
| static bool | classof (const SVFLLVMValue *node) |
Friends | |
| class | SVFIRWriter |
| class | SVFIRReader |
Additional Inherited Members | |
Public Types inherited from SVF::SVFLLVMValue | |
| enum | SVFValKind { SVFVal , SVFFunc , SVFBB , SVFInst , SVFCall , SVFVCall , SVFGlob , SVFArg , SVFConst , SVFConstData , SVFConstInt , SVFConstFP , SVFNullPtr , SVFBlackHole , SVFMetaAsValue , SVFOther } |
| typedef s64_t | GNodeK |
Protected Member Functions inherited from SVF::SVFLLVMValue | |
| SVFLLVMValue (const SVFType *ty, SVFValKind k) | |
| Constructor without name. | |
| void | setConstDataOrAggData () |
| void | setPtrInUncalledFunction () |
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 709 of file SVFLLVMValue.h.
Definition at line 715 of file SVFLLVMValue.h.
|
delete |
|
inlinestatic |
Definition at line 725 of file SVFLLVMValue.h.
|
inlinestatic |
Definition at line 721 of file SVFLLVMValue.h.
Definition at line 712 of file SVFLLVMValue.h.
Definition at line 711 of file SVFLLVMValue.h.