#include <SVFValue.h>
|
enum | SVFValKind {
SVFVal
, SVFFunc
, SVFBB
, SVFInst
,
SVFCall
, SVFVCall
, SVFGlob
, SVFArg
,
SVFConst
, SVFConstData
, SVFConstInt
, SVFConstFP
,
SVFNullPtr
, SVFBlackHole
, SVFMetaAsValue
, SVFOther
} |
|
typedef s64_t | GNodeK |
|
Definition at line 177 of file SVFValue.h.
◆ GNodeK
◆ SVFValKind
Enumerator |
---|
SVFVal | |
SVFFunc | |
SVFBB | |
SVFInst | |
SVFCall | |
SVFVCall | |
SVFGlob | |
SVFArg | |
SVFConst | |
SVFConstData | |
SVFConstInt | |
SVFConstFP | |
SVFNullPtr | |
SVFBlackHole | |
SVFMetaAsValue | |
SVFOther | |
Definition at line 186 of file SVFValue.h.
◆ SVFValue() [1/2]
Constructor without name.
Definition at line 216 of file SVFValue.h.
bool ptrInUncalledFun
true if this pointer is in an uncalled function
GNodeK kind
used for classof
bool constDataOrAggData
true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate
const SVFType * type
Type of this SVFValue.
◆ SVFValue() [2/2]
SVF::SVFValue::SVFValue |
( |
| ) |
|
|
delete |
◆ ~SVFValue()
virtual SVF::SVFValue::~SVFValue |
( |
| ) |
|
|
virtualdefault |
◆ getKind()
GNodeK SVF::SVFValue::getKind |
( |
void |
| ) |
const |
|
inline |
◆ getName()
Definition at line 243 of file SVFValue.h.
std::string name
Short name of value for printing & debugging.
◆ getSourceLoc()
virtual const std::string SVF::SVFValue::getSourceLoc |
( |
| ) |
const |
|
inlinevirtual |
◆ getType()
virtual const SVFType* SVF::SVFValue::getType |
( |
| ) |
const |
|
inlinevirtual |
◆ isblackHole()
bool SVF::SVFValue::isblackHole |
( |
| ) |
const |
|
inline |
Definition at line 268 of file SVFValue.h.
GNodeK getKind() const
Get the type of this SVFValue.
◆ isConstDataOrAggData()
bool SVF::SVFValue::isConstDataOrAggData |
( |
| ) |
const |
|
inline |
◆ isNullPtr()
bool SVF::SVFValue::isNullPtr |
( |
| ) |
const |
|
inline |
◆ ptrInUncalledFunction()
bool SVF::SVFValue::ptrInUncalledFunction |
( |
| ) |
const |
|
inline |
◆ setConstDataOrAggData()
void SVF::SVFValue::setConstDataOrAggData |
( |
| ) |
|
|
inlineprotected |
attributes to be set only through Module builders e.g., LLVMModule
Definition at line 224 of file SVFValue.h.
◆ setName() [1/2]
◆ setName() [2/2]
Definition at line 251 of file SVFValue.h.
constexpr std::remove_reference< T >::type && move(T &&t) noexcept
◆ setPtrInUncalledFunction()
void SVF::SVFValue::setPtrInUncalledFunction |
( |
| ) |
|
|
inlineprotected |
◆ setSourceLoc()
virtual void SVF::SVFValue::setSourceLoc |
( |
const std::string & |
sourceCodeInfo | ) |
|
|
inlinevirtual |
◆ toString()
Needs to be implemented by a SVF front end.
Definition at line 663 of file LLVMUtil.cpp.
666 llvm::raw_string_ostream rawstr(str);
669 rawstr <<
"Function: " << fun->getName() <<
" ";
671 else if (
const SVFBasicBlock* bb = SVFUtil::dyn_cast<SVFBasicBlock>(
this))
673 rawstr <<
"BasicBlock: " << bb->getName() <<
" ";
679 rawstr <<
" " << *llvmVal <<
" ";
681 rawstr <<
" No llvmVal found";
const Value * getLLVMValue(const SVFValue *value) const
static LLVMModuleSet * getLLVMModuleSet()
virtual const std::string getSourceLoc() const
◆ LLVMModuleSet
◆ operator<<
Overloading operator << for dumping ICFG node ID.
Definition at line 290 of file SVFValue.h.
292 return os << value.toString();
◆ SVFIRReader
◆ SVFIRWriter
◆ constDataOrAggData
bool SVF::SVFValue::constDataOrAggData |
|
private |
true if this value is a ConstantData (e.g., numbers, string, floats) or a constantAggregate
Definition at line 209 of file SVFValue.h.
◆ kind
◆ name
Short name of value for printing & debugging.
Definition at line 213 of file SVFValue.h.
◆ ptrInUncalledFun
bool SVF::SVFValue::ptrInUncalledFun |
|
private |
true if this pointer is in an uncalled function
Definition at line 208 of file SVFValue.h.
◆ sourceLoc
Source code information of this value
Definition at line 214 of file SVFValue.h.
◆ type
The documentation for this class was generated from the following files: