Code

1st PR of more precise ObjTypeInfo#1255

Code

Merged

yuleisui merged 2 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom bjjwwang:masterbjjwwang/SVF:masterCopy head branch name to clipboardNov 27, 2023

+256-103

Commits

Commits on Nov 27, 2023

• 1) add getByteSizeofObj() and isConstantByteSize() in SymbolTableInfo.h/cpp

  Show description for 9dc0447
  

  jiawei.wang

  committed
  9dc0447

  Copy full SHA for 9dc0447

• resume the pattern of Alloc function's annotation

  

  jiawei.wang

  committed
  434f138

  Copy full SHA for 434f138