Commits

Branch selector

 master

User selector

shaobo-he

Datepicker

All time

Commit History

Commits on Feb 6, 2019

• Attempted to fix Linux build issues of AV

  Show description for 0d189a0
  shaobo-he

  committed
  0d189a0

  Copy full SHA for 0d189a0

Commits on Oct 31, 2017

• Bug fix for issue #57

  shaobo-he

  committed
  7ade29e

  Copy full SHA for 7ade29e

Commits on Jun 28, 2017

• Bug fix

  Show description for 0378168
  shaobo-he

  committed
  0378168

  Copy full SHA for 0378168

Commits on Mar 8, 2017

• Updated runtest.bat

  shaobo-he

  committed
  a09ce0f

  Copy full SHA for a09ce0f

• Added a property file

  shaobo-he

  committed
  9c204c9

  Copy full SHA for 9c204c9

• Added some regressions for propinst

  shaobo-he

  committed
  5d3b010

  Copy full SHA for 5d3b010

Commits on Feb 1, 2017

• Added an example for #39

  shaobo-he

  committed
  4e66ea6

  Copy full SHA for 4e66ea6

• Added an example for issue #38

  shaobo-he

  committed
  57dcc93

  Copy full SHA for 57dcc93

Commits on Jan 24, 2017

• Added one example to try blocking control flow

  shaobo-he

  committed
  2049c01

  Copy full SHA for 2049c01

Commits on Jan 19, 2017

• Make function pointer dispatch procedures angelic

  shaobo-he

  committed
  9a3c85e

  Copy full SHA for 9a3c85e

• Added an option to print reads/writes to collapsed region

  Show description for fa6a9c5
  shaobo-he

  committed
  fa6a9c5

  Copy full SHA for fa6a9c5

Commits on Dec 7, 2016

• Added an option to SMACKInst so that it can add general memory safety

  Show description for b7e5af3
  shaobo-he

  committed
  b7e5af3

  Copy full SHA for b7e5af3

Commits on Nov 8, 2016

• Added slic assumes to function dispatch

  shaobo-he

  committed
  f860ab4

  Copy full SHA for f860ab4

Commits on Oct 20, 2016

• Check base pointer UAF at call sites

  shaobo-he

  committed
  962ca9e

  Copy full SHA for 962ca9e

Commits on Oct 17, 2016

• Emit "assume {:nonnull}" at memory access

  shaobo-he

  committed
  21ac7af

  Copy full SHA for 21ac7af

Commits on Sep 22, 2016

• Fixed some regressions

  shaobo-he

  committed
  18a6921

  Copy full SHA for 18a6921

Commits on Sep 9, 2016

• Merge remote-tracking branch 'origin/master' into smack-inst

  Show description for 6c050e6
  shaobo-he

  committed
  6c050e6

  Copy full SHA for 6c050e6

Commits on Aug 18, 2016

• Added an example with two frees

  shaobo-he

  committed
  7bfb791

  Copy full SHA for 7bfb791

• Updated use after free property file

  shaobo-he

  committed
  d9972b4

  Copy full SHA for d9972b4

Commits on Aug 13, 2016

• Removed old file with typo in the name

  shaobo-he

  committed
  bc8517d

  Copy full SHA for bc8517d

• Updated useafterfree property file

  shaobo-he

  committed
  7844fcc

  Copy full SHA for 7844fcc

Commits on Aug 11, 2016

• Added some regressions for file open/close

  shaobo-he

  committed
  285b9d2

  Copy full SHA for 285b9d2

• Updated file open/close property file

  Show description for a71300a
  shaobo-he

  committed
  a71300a

  Copy full SHA for a71300a

Commits on Aug 10, 2016

• Added file open/close property file

  shaobo-he

  committed
  ea797fc

  Copy full SHA for ea797fc

• Added a bunch of examples

  shaobo-he

  committed
  eb5bb6f

  Copy full SHA for eb5bb6f

• Updated use after free property file

  shaobo-he

  committed
  9b7f32c

  Copy full SHA for 9b7f32c

Commits on Aug 7, 2016

• Bug fix for propinst

  shaobo-he

  committed
  920ab0a

  Copy full SHA for 920ab0a

Commits on Jul 29, 2016

• check in files to debug issue #30

  shaobo-he

  committed
  d58033e

  Copy full SHA for d58033e

Commits on Jul 28, 2016

• Updated double free propinst file

  shaobo-he

  committed
  f71b3ea

  Copy full SHA for f71b3ea

Commits on Jul 27, 2016

• Updated double free propinst file

  shaobo-he

  committed
  52147fc

  Copy full SHA for 52147fc

Commits on Jul 25, 2016

• Added property instrumentation file for double free

  shaobo-he

  committed
  d13165f

  Copy full SHA for d13165f

• Updated runtest.py to incorporate more properties

  shaobo-he

  committed
  e083bfd

  Copy full SHA for e083bfd

Commits on Jul 24, 2016

• Always inline functions

  Show description for fed38d9
  shaobo-he

  committed
  fed38d9

  Copy full SHA for fed38d9

Commits on Jul 20, 2016

• Updated runtest.py to enable checkNULL flag

  shaobo-he

  committed
  8d5400b

  Copy full SHA for 8d5400b

• Minor fix for checkNULL flag

  Show description for 84441cd
  shaobo-he

  committed
  84441cd

  Copy full SHA for 84441cd

Pagination

Previous

Next