Commits

Branch selector

 master

User selector

bjjwwang

All time

Commit History

Commits on May 28, 2024

• fix Dockerfile to support both x86 and arm64 (SVF-tools#1474)

  

  3 peoplecommittedMay 28, 2024
  ee95396

Commits on May 23, 2024

• State1 refactor SVFIR2AbsState (SVF-tools#1464)

  

  bjjwwang

  and

  bjjwwang

  committedMay 23, 2024
  dce81da

• refactor APIs in AbstractState/Value (SVF-tools#1463)

  

  bjjwwang

  and

  bjjwwang

  committedMay 23, 2024
  ddef3eb

Commits on Apr 29, 2024

• Update build.sh

  bjjwwang

  committedApr 29, 2024
  6739122

• Update build.sh

  bjjwwang

  committedApr 29, 2024
  edc3737

• Update build.sh

  bjjwwang

  committedApr 29, 2024
  7d80016

Commits on Apr 4, 2024

• [WIP]add AbstractValue (SVF-tools#1423)

  

  3 peoplecommittedApr 4, 2024
  0d210da

Commits on Mar 15, 2024

• first commit of supporting zext and sext (SVF-tools#1398)

  

  bjjwwang

  and

  bjjwwang

  committedMar 15, 2024
  75e0234

Commits on Mar 13, 2024

• Sync SVF-EX with https://github.com/SVF-tools/Test-Suite (SVF-tools#1404)

  

  bjjwwang

  and

  bjjwwang

  committedMar 13, 2024
  d7d7f33

Commits on Mar 3, 2024

• add simplify ICFG (SVF-tools#1386)

  

  bjjwwang

  and

  bjjwwang

  committedMar 3, 2024
  9aa7d45

Commits on Feb 22, 2024

• Ae convert CFBBG to ICFG (SVF-tools#1384)

  

  bjjwwang

  and

  bjjwwang

  committedFeb 22, 2024
  a3b8cc4

Commits on Feb 13, 2024

• move libSvfCore and libSvfLLVM files to lib folder (SVF-tools#1366)

  

  bjjwwang

  and

  bjjwwang

  committedFeb 13, 2024
  748f2be

Commits on Feb 8, 2024

• add AE stage 1 (SVF-tools#1360)

  

  bjjwwang

  and

  bjjwwang

  committedFeb 8, 2024
  e2224fc

Commits on Jan 17, 2024

• add arraySize to AddrStmt (SVF-tools#1324)

  

  bjjwwang

  and

  bjjwwang

  committedJan 17, 2024
  afbb2a6

Commits on Dec 2, 2023

• add range limit to IntegerType (SVF-tools#1264)

  

  bjjwwang

  and

  jiawei.wang

  committedDec 2, 2023
  eae8d50

Commits on Nov 28, 2023

• 2nd PR. Add SVF's byte size and fix some api use (SVF-tools#1260)

  

  bjjwwang

  and

  jiawei.wang

  committedNov 28, 2023
  914e226

Commits on Nov 17, 2023

• Merge branch 'master' into 1107

  bjjwwang

  committedNov 17, 2023
  bb8f967

Commits on Nov 10, 2023

• Merge branch 'master' into 1107

  bjjwwang

  committedNov 10, 2023
  36822e5

Commits on Oct 12, 2023

• Merge branch 'master' into 10.9

  bjjwwang

  committedOct 12, 2023
  e87fe04

Commits on Sep 29, 2023

• fix compiler err in gcc13.2 (SVF-tools#1209)

  

  bjjwwang

  and

  bjjwwang

  committedSep 29, 2023
  1c97381

Commits on Sep 11, 2023

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

  

  bjjwwang

  and

  jiawei.wang

  committedSep 11, 2023
  5f0fe51

Commits on Sep 9, 2023

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

  

  bjjwwang

  and

  jiawei.wang

  committedSep 9, 2023
  2ddd8bd

Commits on Aug 22, 2023

• Merge branch 'master' into 0821

  bjjwwang

  committedAug 22, 2023
  3d18a81

Commits on Aug 21, 2023

• Merge branch 'master' into 0821

  bjjwwang

  committedAug 21, 2023
  3c1a9e3

Commits on Jul 4, 2023

• collect removed functions and erase it from Modules. (SVF-tools#1140)

  

  bjjwwang

  and

  jiawei.wang

  committedJul 4, 2023
  43c5285

Commits on Jul 3, 2023

• multiple module, and temp remove default extapi bc (SVF-tools#1138)

  

  bjjwwang

  and

  jiawei.wang

  committedJul 3, 2023
  f1b6873

Commits on Nov 28, 2022

• Merge branch 'master' into 11.24

  bjjwwang

  committedNov 28, 2022
  bcd641e

Commits on Mar 19, 2022

• Update BasicTypes.h

  bjjwwang

  committedMar 19, 2022
  40bd15d