|
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 |
| u32_t | getId () const |
| 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 i=0, 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 |
| LLVM Byte Size. | |
| u32_t | id |
| array | |
Static Private Attributes | |
| static SVFType * | svfPtrTy = nullptr |
| ptr type | |
| static SVFType * | svfI8Ty = nullptr |
| 8-bit int type | |
Friends | |
| class | LLVMModuleSet |
| Enumerator | |
|---|---|
| SVFTy | |
| SVFPointerTy | |
| SVFIntegerTy | |
| SVFFunctionTy | |
| SVFStructTy | |
| SVFArrayTy | |
| SVFOtherTy | |
Definition at line 162 of file SVFType.h.
Definition at line 201 of file SVFType.h.
|
delete |
|
inline |
|
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 |
|
private |