Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 6, 2024

• test: update SVF

  sxd5813

  committed
  0703c98

  Copy full SHA for 0703c98

Commits on Sep 25, 2024

• test: set linker to be llvm-link

  sxd5813

  committed
  d5abafd

  Copy full SHA for d5abafd

Commits on Jun 15, 2024

• test: build script fix attempt 1

  sxd5813

  committed
  311473d

  Copy full SHA for 311473d

Commits on May 30, 2024

• test: fix compile error on arm64 mac

  sxd5813

  committed
  1917a06

  Copy full SHA for 1917a06

Commits on May 28, 2024

• refactor: fix bugs for crypto libs

  sxd5813

  committed
  c07c457

  Copy full SHA for c07c457

Commits on May 14, 2024

• refactor: added some help function and debug information

  sxd5813

  committed
  fcf2e6e

  Copy full SHA for fcf2e6e

Commits on Feb 19, 2024

• refactor: fix SVFValue tostring and expose pts results

  sxd5813

  committed
  dd96dbf

  Copy full SHA for dd96dbf

Commits on Feb 16, 2024

• initialize

  sxd5813

  committed
  b0b80e9

  Copy full SHA for b0b80e9

Commits on Dec 31, 2023

• Merge pull request SVF-tools#1311 from bjjwwang/1230

  Show description for b8c148c
  yuleisui

  authored
  b8c148c

  Copy full SHA for b8c148c

• remove string include

  

  bjjwwang

  committed
  9ef55bb

  Copy full SHA for 9ef55bb

• Merge pull request SVF-tools#1310 from bjjwwang/1230

  Show description for 94bc3fb
  yuleisui

  authored
  94bc3fb

  Copy full SHA for 94bc3fb

Commits on Dec 30, 2023

• fix rangelimit of intervalvalue, support float/double

  

  bjjwwang

  committed
  b3b3c95

  Copy full SHA for b3b3c95

• SVF code formatter

  yuleisui

  committed
  01d4ef1

  Copy full SHA for 01d4ef1

• fix issue SVF-tools#1306: compute vf guard for strong update in another branch (SVF-tools#1309)

  Show description for 3dee455
  jumormt

  authored
  3dee455

  Copy full SHA for 3dee455

• fix svfstat

  

  bjjwwang

  committed
  27abd75

  Copy full SHA for 27abd75

• clean up SVF options

  yuleisui

  committed
  fe88f84

  Copy full SHA for fe88f84

• -print-pts will now print the base and offset of a field object (SVF-tools#1307)

  Show description for c7a0787
  kisslune

  authored
  c7a0787

  Copy full SHA for c7a0787

Commits on Dec 29, 2023

• SVF code formatter

  yuleisui

  committed
  b15ec37

  Copy full SHA for b15ec37

• Merge pull request SVF-tools#1303 from jumormt/gep

  Show description for 76e4d05
  yuleisui

  authored
  76e4d05

  Copy full SHA for 76e4d05

Commits on Dec 28, 2023

• Add -fno-rtti/fno-exceptions based on LLVM's configuration (SVF-tools#1291)

  Show description for 52b7034
  

  3 peopleauthored
  52b7034

  Copy full SHA for 52b7034

• clean code

  jumormt

  committed
  a11b255

  Copy full SHA for a11b255

• Merge pull request SVF-tools#1302 from egnchen/patch-1

  Show description for dfeb685
  yuleisui

  authored
  dfeb685

  Copy full SHA for dfeb685

• bugfix in AndersenPWC

  egnchen

  authored
  e6a9596

  Copy full SHA for e6a9596

• getElementNum for multi-level pointer

  jumormt

  committed
  460444f

  Copy full SHA for 460444f

• remove pointer type checking assertion in getElementNum and add comments

  jumormt

  committed
  de63fe7

  Copy full SHA for de63fe7

• add assertion: gep must have only one pointer type

  jumormt

  committed
  b0e54be

  Copy full SHA for b0e54be

Commits on Dec 23, 2023

• Merge pull request SVF-tools#1300 from sinotca529/fix_getFilePath

  Show description for a6f6832
  yuleisui

  authored
  a6f6832

  Copy full SHA for a6f6832

• bugfix: check return value of getenv

  sinotca529

  committed
  8f33f96

  Copy full SHA for 8f33f96

Commits on Dec 22, 2023

• Merge pull request SVF-tools#1297 from yuleisui/master

  Show description for 90a0715
  yuleisui

  authored
  90a0715

  Copy full SHA for 90a0715

• infer object type in rather than

  yuleisui

  committed
  ee4d36a

  Copy full SHA for ee4d36a

• Merge pull request SVF-tools#1296 from jumormt/opaque

  Show description for 1195c8e
  yuleisui

  authored
  1195c8e

  Copy full SHA for 1195c8e

• remove print flatten

  jumormt

  committed
  3168159

  Copy full SHA for 3168159

• remove unused function

  jumormt

  committed
  39ee67d

  Copy full SHA for 39ee67d

• remove getptrelementtype in svf/

  jumormt

  committed
  48aef4b

  Copy full SHA for 48aef4b

• update getElementNum

  jumormt

  committed
  12dde0e

  Copy full SHA for 12dde0e

Pagination

Previous

Next