Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 18, 2021

• Special thanks to people contributed to this project but not mentioned in the paper.

  Alkaid-Benetnash

  committed
  cadf554

  Copy full SHA for cadf554

• Add "Components" in README.md

  Alkaid-Benetnash

  committed
  562bedf

  Copy full SHA for 562bedf

Commits on Apr 17, 2021

• Add LICENSE and tune artifact README.txt for artifact submission (to publisher).

  Alkaid-Benetnash

  committed
  51d92e1

  Copy full SHA for 51d92e1

Commits on Apr 7, 2021

• Minor changes in README.md

  Show description for b3a0333
  Alkaid-Benetnash

  committed
  b3a0333

  Copy full SHA for b3a0333

Commits on Mar 31, 2021

• fix typo

  Alkaid-Benetnash

  committed
  f75302b

  Copy full SHA for f75302b

Commits on Mar 5, 2021

• Bump to Dockerfile v0.5

  Show description for 8054df5
  Alkaid-Benetnash

  committed
  8054df5

  Copy full SHA for 8054df5

• Update Dockerfile to v0.4

  Show description for 264e0c1
  Alkaid-Benetnash

  committed
  264e0c1

  Copy full SHA for 264e0c1

Commits on Mar 4, 2021

• Update README.txt

  Show description for 90bd338
  Alkaid-Benetnash

  committed
  90bd338

  Copy full SHA for 90bd338

• update README.txt

  Show description for 21644c8
  Alkaid-Benetnash

  committed
  21644c8

  Copy full SHA for 21644c8

• Update Dockerfile to v0.3

  Show description for f93af15
  Alkaid-Benetnash

  committed
  f93af15

  Copy full SHA for f93af15

• update README.txt

  Alkaid-Benetnash

  committed
  d0d8eec

  Copy full SHA for d0d8eec

• update bugbasev2 submodule and add python-2018-1000030 to pre-built

  Alkaid-Benetnash

  committed
  f6a668c

  Copy full SHA for f6a668c

• Update README.txt

  Show description for 9aa2f1d
  

  kasikci

  authored and

  Alkaid-Benetnash

  committed
  9aa2f1d

  Copy full SHA for 9aa2f1d

• Update README.txt

  Show description for 8ee6baa
  

  kasikci

  authored and

  Alkaid-Benetnash

  committed
  8ee6baa

  Copy full SHA for 8ee6baa

• Update README

  Show description for 5d43a92
  Alkaid-Benetnash

  committed
  5d43a92

  Copy full SHA for 5d43a92

• [POSIX] Workaround, use a fake constant gettimeofday.

  Show description for 5bffa13
  Alkaid-Benetnash

  committed
  5bffa13

  Copy full SHA for 5bffa13

• [POSIX] Add a new option -argv0 to overwrite argv[0]

  Show description for 80178d8
  Alkaid-Benetnash

  committed
  80178d8

  Copy full SHA for 80178d8

• [Executor] Add an option --report-interval to control how frequent Executor prints execution states

  Show description for 8b4b072
  Alkaid-Benetnash

  committed
  8b4b072

  Copy full SHA for 8b4b072

• Update PLDI21 artifact Dockerfile to v0.2.

  Show description for f2d4053
  Alkaid-Benetnash

  committed
  f2d4053

  Copy full SHA for f2d4053

• [Executor] Do not getSymbolicSolution for testcases terminated due to solver timeout

  Show description for acbedb6
  Alkaid-Benetnash

  committed
  acbedb6

  Copy full SHA for acbedb6

• [CMake] make KLEE specific compiler flags take default values from env

  Show description for 5f01040
  Alkaid-Benetnash

  committed
  5f01040

  Copy full SHA for 5f01040

• [Gephi Py] Also consider array size when deciding which memory update chains to record

  Show description for 8290f94
  Alkaid-Benetnash

  committed
  8290f94

  Copy full SHA for 8290f94

Commits on Mar 3, 2021

• [Solver] Optionally dump kqueries which cost more time than previous queries

  Show description for 0e02437
  Alkaid-Benetnash

  committed
  0e02437

  Copy full SHA for 0e02437

• [Core] Handle solver timeout in Executor.cpp

  Show description for 0f82e73
  Alkaid-Benetnash

  committed
  0f82e73

  Copy full SHA for 0f82e73

• Add an option -debug-concretization

  Show description for 9021b39
  Alkaid-Benetnash

  committed
  9021b39

  Copy full SHA for 9021b39

• [klee] Report "In-engine time" at exit, which excludes bitcode parsing and initialization

  Show description for f216605
  Alkaid-Benetnash

  committed
  f216605

  Copy full SHA for f216605

• [prepass] Only report recording cost when frequency info is available

  Show description for 6a4275d
  Alkaid-Benetnash

  committed
  6a4275d

  Copy full SHA for 6a4275d

• [Gephi Py] Add array ranking when analyzing memory update chains.

  Show description for 45f40b8
  Alkaid-Benetnash

  committed
  45f40b8

  Copy full SHA for 45f40b8

• [ConstraintMgr] IndepElementSetIndexer did not track "elements to wholeObject" switching correctly.

  Show description for 51a65fe
  Alkaid-Benetnash

  committed
  51a65fe

  Copy full SHA for 51a65fe

• add v0.1 Dockerfile for pldi artifact

  Alkaid-Benetnash

  committed
  1d95c09

  Copy full SHA for 1d95c09

Commits on Mar 2, 2021

• Add external repo as submodules

  Show description for d20046c
  Alkaid-Benetnash

  committed
  d20046c

  Copy full SHA for d20046c

Commits on Feb 28, 2021

• fix typo

  Alkaid-Benetnash

  committed
  491c492

  Copy full SHA for 491c492

• Add an option -debug-dump-kquery

  Show description for 6c6b1d1
  Alkaid-Benetnash

  committed
  6c6b1d1

  Copy full SHA for 6c6b1d1

• [CmdLine] Introduce MiscCmdLine to manage global options

  Show description for f097043
  Alkaid-Benetnash

  committed
  f097043

  Copy full SHA for f097043

• [KModule] Refactor getUniqueID to be part of the KInstruction class

  Show description for d92cfd2
  Alkaid-Benetnash

  committed
  d92cfd2

  Copy full SHA for d92cfd2

Pagination

Previous

Next