Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Private Member Functions | Private Attributes | Friends | List of all members
SVF::ObjTypeInfo Class Reference

#include <ObjTypeInfo.h>

Public Types

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_GLOBAL_OBJ = 0x200 , CONST_DATA = 0x400
}
 

Public Member Functions

 ObjTypeInfo (const SVFType *t, u32_t max)
 Constructors.
 
virtual ~ObjTypeInfo ()
 Destructor.
 
const SVFType * getType () const
 Get LLVM type.
 
u32_t getMaxFieldOffsetLimit ()
 Get max field offset limit.
 
void setMaxFieldOffsetLimit (u32_t limit)
 Get max field offset limit.
 
void setNumOfElements (u32_t num)
 Set the number of elements of this object.
 
u32_t getNumOfElements () const
 Get the number of elements of this object.
 
u32_t getByteSizeOfObj () const
 Get the byte size of this object.
 
void setByteSizeOfObj (u32_t size)
 Set the byte size of this object.
 
bool isConstantByteSize () const
 Check if byte size is a const value.
 
void setFlag (MEMTYPE mask)
 Flag for this object type.
 
bool hasFlag (MEMTYPE mask)
 
bool isFunction ()
 Object attributes.
 
bool isGlobalObj ()
 
bool isStaticObj ()
 
bool isStack ()
 
bool isHeap ()
 
bool isVarStruct ()
 
bool isConstantStruct ()
 
bool isStruct ()
 
bool isVarArray ()
 
bool isConstantArray ()
 
bool isArray ()
 
bool isConstDataOrConstGlobal ()
 
bool isConstDataOrAggData ()
 

Private Member Functions

void resetTypeForHeapStaticObj (const SVFType *t)
 

Private Attributes

const SVFType * type
 SVF type.
 
u32_t flags
 Type flags.
 
u32_t maxOffsetLimit
 
u32_t elemNum
 Size of the object or number of elements.
 
u32_t byteSize
 Byte size of object.
 

Friends

class SymbolTableBuilder
 

Detailed Description

Type Info of an abstract memory object

Definition at line 42 of file ObjTypeInfo.h.

Member Enumeration Documentation

◆ MEMTYPE

enum SVF::ObjTypeInfo::MEMTYPE
Enumerator
FUNCTION_OBJ 
GLOBVAR_OBJ 
STATIC_OBJ 
STACK_OBJ 
HEAP_OBJ 
VAR_STRUCT_OBJ 
VAR_ARRAY_OBJ 
CONST_STRUCT_OBJ 
CONST_ARRAY_OBJ 
CONST_GLOBAL_OBJ 
CONST_DATA 

Definition at line 47 of file ObjTypeInfo.h.

48 {
49 FUNCTION_OBJ = 0x1, // object is a function
50 GLOBVAR_OBJ = 0x2, // object is a global variable
51 STATIC_OBJ = 0x4, // object is a static variable allocated before main
52 STACK_OBJ = 0x8, // object is a stack variable
53 HEAP_OBJ = 0x10, // object is a heap variable
54 VAR_STRUCT_OBJ = 0x20, // object contains struct
55 VAR_ARRAY_OBJ = 0x40, // object contains array
56 CONST_STRUCT_OBJ = 0x80, // constant struct
57 CONST_ARRAY_OBJ = 0x100, // constant array
58 CONST_GLOBAL_OBJ = 0x200, // global constant object
59 CONST_DATA = 0x400, // constant object str e.g. 5, 10, 1.0
60 } MEMTYPE;

Constructor & Destructor Documentation

◆ ObjTypeInfo()

SVF::ObjTypeInfo::ObjTypeInfo ( const SVFType *  t,
u32_t  max 
)
inline

Constructors.

Definition at line 85 of file ObjTypeInfo.h.

85 : type(t), flags(0), maxOffsetLimit(max), elemNum(max)
86 {
87 assert(t && "no type information for this object?");
88 }
SVF::ObjTypeInfo::type
const SVFType * type
SVF type.
Definition ObjTypeInfo.h:64
SVF::ObjTypeInfo::elemNum
u32_t elemNum
Size of the object or number of elements.
Definition ObjTypeInfo.h:72
SVF::ObjTypeInfo::flags
u32_t flags
Type flags.
Definition ObjTypeInfo.h:66
SVF::IRBuilder
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

◆ ~ObjTypeInfo()

virtual SVF::ObjTypeInfo::~ObjTypeInfo ( )
inlinevirtual

Destructor.

Definition at line 91 of file ObjTypeInfo.h.

92 {
93 }

Member Function Documentation

◆ getByteSizeOfObj()

u32_t SVF::ObjTypeInfo::getByteSizeOfObj ( ) const
inline

Get the byte size of this object.

Definition at line 127 of file ObjTypeInfo.h.

128 {
129 assert(isConstantByteSize() && "This Obj's byte size is not constant.");
130 return byteSize;
131 }
SVF::ObjTypeInfo::isConstantByteSize
bool isConstantByteSize() const
Check if byte size is a const value.
Definition ObjTypeInfo.h:140
SVF::ObjTypeInfo::byteSize
u32_t byteSize
Byte size of object.
Definition ObjTypeInfo.h:75

◆ getMaxFieldOffsetLimit()

u32_t SVF::ObjTypeInfo::getMaxFieldOffsetLimit ( )
inline

Get max field offset limit.

Definition at line 102 of file ObjTypeInfo.h.

103 {
104 return maxOffsetLimit;
105 }

◆ getNumOfElements()

u32_t SVF::ObjTypeInfo::getNumOfElements ( ) const
inline

Get the number of elements of this object.

Definition at line 121 of file ObjTypeInfo.h.

122 {
123 return elemNum;
124 }

◆ getType()

const SVFType * SVF::ObjTypeInfo::getType ( ) const
inline

Get LLVM type.

Definition at line 96 of file ObjTypeInfo.h.

97 {
98 return type;
99 }

◆ hasFlag()

bool SVF::ObjTypeInfo::hasFlag ( MEMTYPE  mask)
inline

Definition at line 151 of file ObjTypeInfo.h.

152 {
153 return (flags & mask) == mask;
154 }

◆ isArray()

bool SVF::ObjTypeInfo::isArray ( )
inline

Definition at line 204 of file ObjTypeInfo.h.

205 {
206 return hasFlag(VAR_ARRAY_OBJ) || hasFlag(CONST_ARRAY_OBJ);
207 }
SVF::ObjTypeInfo::hasFlag
bool hasFlag(MEMTYPE mask)
Definition ObjTypeInfo.h:151

◆ isConstantArray()

bool SVF::ObjTypeInfo::isConstantArray ( )
inline

Definition at line 200 of file ObjTypeInfo.h.

201 {
202 return hasFlag(CONST_ARRAY_OBJ);
203 }

◆ isConstantByteSize()

bool SVF::ObjTypeInfo::isConstantByteSize ( ) const
inline

Check if byte size is a const value.

Definition at line 140 of file ObjTypeInfo.h.

141 {
142 return byteSize != 0;
143 }

◆ isConstantStruct()

bool SVF::ObjTypeInfo::isConstantStruct ( )
inline

Definition at line 188 of file ObjTypeInfo.h.

189 {
190 return hasFlag(CONST_STRUCT_OBJ);
191 }

◆ isConstDataOrAggData()

bool SVF::ObjTypeInfo::isConstDataOrAggData ( )
inline

Definition at line 212 of file ObjTypeInfo.h.

213 {
214 return hasFlag(CONST_DATA);
215 }

◆ isConstDataOrConstGlobal()

bool SVF::ObjTypeInfo::isConstDataOrConstGlobal ( )
inline

Definition at line 208 of file ObjTypeInfo.h.

209 {
210 return hasFlag(CONST_GLOBAL_OBJ) || hasFlag(CONST_DATA);
211 }

◆ isFunction()

bool SVF::ObjTypeInfo::isFunction ( )
inline

Object attributes.

Definition at line 159 of file ObjTypeInfo.h.

160 {
161 return hasFlag(FUNCTION_OBJ);
162 }

◆ isGlobalObj()

bool SVF::ObjTypeInfo::isGlobalObj ( )
inline

Definition at line 163 of file ObjTypeInfo.h.

164 {
165 return hasFlag(GLOBVAR_OBJ);
166 }

◆ isHeap()

bool SVF::ObjTypeInfo::isHeap ( )
inline

Definition at line 175 of file ObjTypeInfo.h.

176 {
177 return hasFlag(HEAP_OBJ);
178 }

◆ isStack()

bool SVF::ObjTypeInfo::isStack ( )
inline

Definition at line 171 of file ObjTypeInfo.h.

172 {
173 return hasFlag(STACK_OBJ);
174 }

◆ isStaticObj()

bool SVF::ObjTypeInfo::isStaticObj ( )
inline

Definition at line 167 of file ObjTypeInfo.h.

168 {
169 return hasFlag(STATIC_OBJ);
170 }

◆ isStruct()

bool SVF::ObjTypeInfo::isStruct ( )
inline

Definition at line 192 of file ObjTypeInfo.h.

193 {
194 return hasFlag(VAR_STRUCT_OBJ) || hasFlag(CONST_STRUCT_OBJ);
195 }

◆ isVarArray()

bool SVF::ObjTypeInfo::isVarArray ( )
inline

Definition at line 196 of file ObjTypeInfo.h.

197 {
198 return hasFlag(VAR_ARRAY_OBJ);
199 }

◆ isVarStruct()

bool SVF::ObjTypeInfo::isVarStruct ( )
inline

Object attributes (noted that an object can be a nested compound types) e.g. both isStruct and isArray can return true

Definition at line 184 of file ObjTypeInfo.h.

185 {
186 return hasFlag(VAR_STRUCT_OBJ);
187 }

◆ resetTypeForHeapStaticObj()

void SVF::ObjTypeInfo::resetTypeForHeapStaticObj ( const SVFType *  t)
inlineprivate

Definition at line 77 of file ObjTypeInfo.h.

78 {
79 assert((isStaticObj() || isHeap()) && "can only reset the inferred type for heap and static objects!");
80 type = t;
81 }

◆ setByteSizeOfObj()

void SVF::ObjTypeInfo::setByteSizeOfObj ( u32_t  size)
inline

Set the byte size of this object.

Definition at line 134 of file ObjTypeInfo.h.

135 {
136 byteSize = size;
137 }

◆ setFlag()

void SVF::ObjTypeInfo::setFlag ( MEMTYPE  mask)
inline

Flag for this object type.

Definition at line 147 of file ObjTypeInfo.h.

148 {
149 flags |= mask;
150 }

◆ setMaxFieldOffsetLimit()

void SVF::ObjTypeInfo::setMaxFieldOffsetLimit ( u32_t  limit)
inline

Get max field offset limit.

Definition at line 108 of file ObjTypeInfo.h.

109 {
110 maxOffsetLimit = limit;
111 }

◆ setNumOfElements()

void SVF::ObjTypeInfo::setNumOfElements ( u32_t  num)
inline

Set the number of elements of this object.

Definition at line 114 of file ObjTypeInfo.h.

115 {
116 elemNum = num;
117 setMaxFieldOffsetLimit(num);
118 }
SVF::ObjTypeInfo::setMaxFieldOffsetLimit
void setMaxFieldOffsetLimit(u32_t limit)
Get max field offset limit.
Definition ObjTypeInfo.h:108

Friends And Related Symbol Documentation

◆ SymbolTableBuilder

friend class SymbolTableBuilder
friend

Definition at line 44 of file ObjTypeInfo.h.

Member Data Documentation

◆ byteSize

u32_t SVF::ObjTypeInfo::byteSize
private

Byte size of object.

Definition at line 75 of file ObjTypeInfo.h.

◆ elemNum

u32_t SVF::ObjTypeInfo::elemNum
private

Size of the object or number of elements.

Definition at line 72 of file ObjTypeInfo.h.

◆ flags

u32_t SVF::ObjTypeInfo::flags
private

Type flags.

Definition at line 66 of file ObjTypeInfo.h.

◆ maxOffsetLimit

u32_t SVF::ObjTypeInfo::maxOffsetLimit
private

Max offset for flexible field sensitive analysis maximum number of field object can be created minimum number is 0 (field insensitive analysis)

Definition at line 70 of file ObjTypeInfo.h.

◆ type

const SVFType* SVF::ObjTypeInfo::type
private

SVF type.

Definition at line 64 of file ObjTypeInfo.h.

The documentation for this class was generated from the following file:
Generated by doxygen 1.9.8