#include <SymbolTableInfo.h>

Inheritance diagram for SVF::LocObjTypeInfo:

Public Member Functions
	LocObjTypeInfo (const Value val, Type t, Size_t max)
	Constructor. More...

virtual	~LocObjTypeInfo ()
	Destructor. More...

u32_t	getObjSize (const Value *val)
	Get the size of this object. More...

Public Member Functions inherited from SVF::ObjTypeInfo
	ObjTypeInfo (const Value , const Type t, u32_t max)
	Constructors. More...

	ObjTypeInfo (u32_t max, const Type *t)
	Constructor. More...

virtual	~ObjTypeInfo ()
	Destructor. More...

void	init (const Value *value)
	Initialize the object type. More...

void	analyzeGlobalStackObjType (const Value *val)
	Analyse types of gobal and stack objects. More...

void	analyzeHeapStaticObjType (const Value *val)
	Analyse types of heap and static objects. More...

const Type *	getType () const
	Get LLVM type. More...

u32_t	getMaxFieldOffsetLimit ()
	Get max field offset limit. More...

void	setMaxFieldOffsetLimit (u32_t limit)
	Get max field offset limit. More...

void	setFlag (MEMTYPE mask)
	Flag for this object type. More...

bool	hasFlag (MEMTYPE mask)

bool	isFunction ()
	Object attributes. More...

bool	isGlobalObj ()

bool	isStaticObj ()

bool	isStack ()

bool	isHeap ()

bool	isVarStruct ()

bool	isConstStruct ()

bool	isStruct ()

bool	isVarArray ()

bool	isConstArray ()

bool	isArray ()

bool	isConstant ()

bool	hasPtrObj ()

virtual bool	isNonPtrFieldObj (const LocationSet &ls)

Additional Inherited Members
Public Types inherited from SVF::ObjTypeInfo
enum	MEMTYPE { FUNCTION_OBJ = 0x1, GLOBVAR_OBJ = 0x2, STATIC_OBJ = 0x4, STACK_OBJ = 0x8, HEAP_OBJ = 0x10, VAR_STRUCT_OBJ = 0x20, VAR_ARRAY_OBJ = 0x40, CONST_STRUCT_OBJ = 0x80, CONST_ARRAY_OBJ = 0x100, CONST_OBJ = 0x200, HASPTR_OBJ = 0x400 }

Detailed Description

Definition at line 488 of file SymbolTableInfo.h.

Constructor & Destructor Documentation

◆ LocObjTypeInfo()

SVF::LocObjTypeInfo::LocObjTypeInfo	(	const Value *	val,
		Type *	t,
		Size_t	max
	)

inline

Constructor.

Definition at line 493 of file SymbolTableInfo.h.

                                                           : ObjTypeInfo(val,t,max)
     {
 
     }

◆ ~LocObjTypeInfo()

virtual SVF::LocObjTypeInfo::~LocObjTypeInfo ( )

inlinevirtual

Destructor.

Definition at line 498 of file SymbolTableInfo.h.

     {
 
     }

Member Function Documentation

◆ getObjSize()

u32_t LocObjTypeInfo::getObjSize ( const Value * val )

virtual

Get the size of this object.

Get the size of this object

Reimplemented from SVF::ObjTypeInfo.

Definition at line 596 of file MemModel.cpp.

 {
 
     Type* ety  = SVFUtil::cast<PointerType>(val->getType())->getElementType();
     return LocSymTableInfo::SymbolInfo()->getTypeSizeInBytes(ety);
 }

The documentation for this class was generated from the following files:

/home/runner/work/SVF-1/SVF-1/include/SVF-FE/SymbolTableInfo.h
/home/runner/work/SVF-1/SVF-1/lib/MemoryModel/MemModel.cpp