Static Value-Flow Analysis
|
#include <SVFType.h>
Public Member Functions | |
SVFFunctionType (const SVFType *rt) | |
const SVFType * | getReturnType () const |
void | print (std::ostream &os) const override |
Public Member Functions inherited from SVF::SVFType | |
SVFType (void)=delete | |
virtual | ~SVFType () |
GNodeK | getKind () const |
std::string | toString () 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 bool | classof (const SVFType *node) |
Static Public Member Functions inherited from SVF::SVFType | |
static SVFType * | getSVFPtrType () |
static SVFType * | getSVFInt8Type () |
Private Attributes | |
const SVFType * | retTy |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
Additional Inherited Members | |
Public Types inherited from SVF::SVFType | |
enum | SVFTyKind { SVFTy , SVFPointerTy , SVFIntegerTy , SVFFunctionTy , SVFStructTy , SVFArrayTy , SVFOtherTy } |
typedef s64_t | GNodeK |
Protected Member Functions inherited from SVF::SVFType | |
SVFType (bool svt, SVFTyKind k, u32_t Sz=1) | |
|
overridevirtual |
|
friend |
|
friend |