Code

0822 wip#1196

Code

Merged

yuleisui merged 19 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom JasonZhongZexin:0822WIPJasonZhongZexin/SVF-1:0822WIPCopy head branch name to clipboardSep 13, 2023

+278-77

Commits

Commits on Sep 11, 2023

• fix vfspta read&write

  

  JasonZhongZexin

  authored and

  JasonZhongZexin

  committed
  f75671d

  Copy full SHA for f75671d

• fix

  

  JasonZhongZexin

  authored and

  JasonZhongZexin

  committed
  8a40c0d

  Copy full SHA for 8a40c0d

Commits on Sep 13, 2023

• fix a nullptr dereference when creating AndersenSCD singleton instance

  

  canliture

  authored and

  JasonZhongZexin

  committed
  b19ef7d

  Copy full SHA for b19ef7d

• Fix the bug of failing to find extapi.bc in npm

  

  shuangxiangkan

  authored and

  JasonZhongZexin

  committed
  334634f

  Copy full SHA for 334634f

• Chang function names in ExtAPI

  

  shuangxiangkan

  authored and

  JasonZhongZexin

  committed
  87ed6f0

  Copy full SHA for 87ed6f0

• SVF code formatter

  

  yuleisui

  authored and

  JasonZhongZexin

  committed
  dd14a6f

  Copy full SHA for dd14a6f

• Add comments to some APIs in SVFIRExtAPI.cpp

  

  shuangxiangkan

  authored and

  JasonZhongZexin

  committed
  a808867

  Copy full SHA for a808867

• SVF code formatter

  

  yuleisui

  authored and

  JasonZhongZexin

  committed
  cad7d0e

  Copy full SHA for cad7d0e

• fix getgepoffset and accumulateconstantOffset

  Show description for 70f613b
  

  jiawei.wang

  authored and

  JasonZhongZexin

  committed
  70f613b

  Copy full SHA for 70f613b

• refactor gepoffset api and accumulateOffset api

  Show description for bfd6017
  

  jiawei.wang

  authored and

  JasonZhongZexin

  committed
  bfd6017

  Copy full SHA for bfd6017

• add comment to getGepByteOffset and accumulateConstantByteOffset

  

  jiawei.wang

  authored and

  JasonZhongZexin

  committed
  41c56d0

  Copy full SHA for 41c56d0

• SVF code formatter

  

  yuleisui

  authored and

  JasonZhongZexin

  committed
  6aebb82

  Copy full SHA for 6aebb82

• Remove "STATIC" annotation in extapi.bc (SVF-tools#1188)

  Show description for 6b5caea
  

  shuangxiangkan

  authored and

  JasonZhongZexin

  committed
  6b5caea

  Copy full SHA for 6b5caea

• fix a bug that leads to get many incorrect switch target case value -1 (SVF-tools#1191)

  Show description for 15d8100
  

  canliture

  authored and

  JasonZhongZexin

  committed
  15d8100

  Copy full SHA for 15d8100

• add reshapeValue() to getOffsetfromGepPair (SVF-tools#1192)

  Show description for ad5a69b
  

  2 peopleauthored and

  JasonZhongZexin

  committed
  ad5a69b

  Copy full SHA for ad5a69b

• SVF code formatter

  

  yuleisui

  authored and

  JasonZhongZexin

  committed
  4167863

  Copy full SHA for 4167863

• replace int64 with s64 in IntervalValue/Z3Expr (SVF-tools#1195)

  Show description for ae326b2
  

  2 peopleauthored and

  JasonZhongZexin

  committed
  ae326b2

  Copy full SHA for ae326b2

• SVF code formatter

  Show description for fb24d39
  

  yuleisui

  authored and

  JasonZhongZexin

  committed
  fb24d39

  Copy full SHA for fb24d39

• Merge branch 'SVF-tools:master' into 0822WIP

  JasonZhongZexin

  authored
  0413de1

  Copy full SHA for 0413de1