Static Value-Flow Analysis
|
#include <SVFType.h>
Public Types | |
enum | SVFTyKind { SVFTy , SVFPointerTy , SVFIntegerTy , SVFFunctionTy , SVFStructTy , SVFArrayTy , SVFOtherTy } |
typedef s64_t | GNodeK |
Public Member Functions | |
SVFType (void)=delete | |
virtual | ~SVFType () |
GNodeK | getKind () const |
std::string | toString () const |
virtual void | print (std::ostream &os) const =0 |
void | setTypeInfo (StInfo *ti) |
StInfo * | getTypeInfo () |
const StInfo * | getTypeInfo () const |
u32_t | getByteSize () const |
bool | isPointerTy () const |
bool | isArrayTy () const |
bool | isStructTy () const |
bool | isSingleValueType () const |
Static Public Member Functions | |
static SVFType * | getSVFPtrType () |
static SVFType * | getSVFInt8Type () |
Protected Member Functions | |
SVFType (bool svt, SVFTyKind k, u32_t Sz=1) | |
Private Attributes | |
GNodeK | kind |
used for classof | |
StInfo * | typeinfo |
SVF's TypeInfo. | |
bool | isSingleValTy |
The type represents a single value, not struct or. | |
u32_t | byteSize |
array | |
Static Private Attributes | |
static SVFType * | svfPtrTy = nullptr |
ptr type | |
static SVFType * | svfI8Ty = nullptr |
8-bit int type | |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
class | LLVMModuleSet |
Enumerator | |
---|---|
SVFTy | |
SVFPointerTy | |
SVFIntegerTy | |
SVFFunctionTy | |
SVFStructTy | |
SVFArrayTy | |
SVFOtherTy |
Definition at line 165 of file SVFType.h.
Definition at line 203 of file SVFType.h.
|
delete |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
pure virtual |
Implemented in SVF::SVFPointerType, SVF::SVFIntegerType, SVF::SVFFunctionType, SVF::SVFStructType, SVF::SVFArrayType, and SVF::SVFOtherType.
|
inline |
std::string SVF::SVFType::toString | ( | ) | const |
os<<svfType
or svfType.print(os)
when possible to avoid string concatenation.
|
friend |
|
friend |
|
friend |
|
private |