Commits

Branch selector

 master

User selector

ccadar

Datepicker

All time

Commit History

Commits on Mar 20, 2024

• Workaround for MSan failures due to https://github.com/llvm/llvm-project/issues/78354

  

  ccadar

  authored and

  251

  committed
  37e1fa0

  Copy full SHA for 37e1fa0

• Addressed missing override warnings emitted by recent compilers

  

  ccadar

  authored and

  251

  committed
  7c94542

  Copy full SHA for 7c94542

Commits on Mar 13, 2024

• TARGET_TRIPLE was renamed to LLVM_TARGET_TRIPLE since LLVM 15

  

  ccadar

  authored and

  251

  committed
  f4f1409

  Copy full SHA for f4f1409

• New domain name klee-se.org, updating links.

  

  ccadar

  authored and

  251

  committed
  56b3b23

  Copy full SHA for 56b3b23

Commits on Mar 4, 2024

• Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available anymore.

  

  ccadar

  authored and

  251

  committed
  c7873a1

  Copy full SHA for c7873a1

Commits on Feb 29, 2024

• Setting version to 3.2-pre

  

  ccadar

  authored and

  MartinNowack

  committed
  a864870

  Copy full SHA for a864870

• Final changes to release notes for v3.1

  ccadar

  committed
  fe22b90

  Copy full SHA for fe22b90

• Release notes for KLEE 3.1

  

  ccadar

  authored and

  251

  committed
  7b8edeb

  Copy full SHA for 7b8edeb

• Set version number to 3.1

  

  ccadar

  authored and

  251

  committed
  3250b73

  Copy full SHA for 3250b73

Commits on Feb 27, 2024

• Small refactorings and reformatting in callExternalFunction

  

  ccadar

  authored and

  MartinNowack

  committed
  399ea40

  Copy full SHA for 399ea40

• Simplified callExternalFunction by using toConstant instead of getValue

  

  ccadar

  authored and

  MartinNowack

  committed
  b0261e0

  Copy full SHA for b0261e0

• Extend toConstant() to take an additional boolean argument that decides whether the expression is concretised. Also changed a C string argument to std::string.

  

  ccadar

  authored and

  MartinNowack

  committed
  7a640c6

  Copy full SHA for 7a640c6

• This commit fixes the concretization of arguments following an external call with symbolic arguments. It also introduces a new external call policy, where the symbolic inputs are left unconstraine…

  Show description for a802c6d
  

  ccadar

  authored and

  MartinNowack

  committed
  a802c6d

  Copy full SHA for a802c6d

• Two test cases exercising two policies for calling external calls with symbolic arguments. One of them is currently expected to fail.

  

  ccadar

  authored and

  MartinNowack

  committed
  8585874

  Copy full SHA for 8585874

Commits on Feb 19, 2024

• Rename --ptree-batch-size to --exec-tree-batch size, and --compress-execution-tree to --compress-exec-tree. Fix an incorrect reference to --write-exec-tree.

  

  ccadar

  authored and

  MartinNowack

  committed
  38c0f67

  Copy full SHA for 38c0f67

Commits on Feb 17, 2024

• Remove the not Darwin requirement for the test TargetMismatch.c

  

  ccadar

  authored and

  MartinNowack

  committed
  7679d0b

  Copy full SHA for 7679d0b

• Fixed incorrect reference in ExternalCallWarnings

  

  ccadar

  authored and

  MartinNowack

  committed
  df8a738

  Copy full SHA for df8a738

Commits on Jan 30, 2024

• Modify getValueFromSeeds() to include more functionality and simplify its callers

  

  ccadar

  authored and

  MartinNowack

  committed
  cb5e898

  Copy full SHA for cb5e898

• Make Assignment::evaluate be const

  

  ccadar

  authored and

  MartinNowack

  committed
  42662b7

  Copy full SHA for 42662b7

• Add checks to the seed concretization tests about the expected number of queries

  

  ccadar

  authored and

  MartinNowack

  committed
  3e006db

  Copy full SHA for 3e006db

• Added a test for --allow-seed-extension

  

  ccadar

  authored and

  MartinNowack

  committed
  3f65d6e

  Copy full SHA for 3f65d6e

• Removed --zero-seed-extension, and merge it with --allow-seed-extension. This reworked logic also fixes a buffer overflow which could be triggered during seed extension.

  

  ccadar

  authored and

  MartinNowack

  committed
  513de04

  Copy full SHA for 513de04

• Refactored some code related to seeding.

  

  ccadar

  authored and

  MartinNowack

  committed
  4e99f8f

  Copy full SHA for 4e99f8f

• On a symbolic allocation, retrieve size from a seed, if available

  

  ccadar

  authored and

  MartinNowack

  committed
  9d5bbe8

  Copy full SHA for 9d5bbe8

• Concretize arguments to external function calls using seeds, if available. Added a test case.

  

  ccadar

  authored and

  MartinNowack

  committed
  251b28e

  Copy full SHA for 251b28e

• Concretize constants using seed values, when available. Added two tests (w/ and w/o seed extension) based on FP concretization.

  

  ccadar

  authored and

  MartinNowack

  committed
  cbf10db

  Copy full SHA for cbf10db

Commits on Jan 12, 2024

• Renamed PTree to ExecutionTree (and similar)

  

  ccadar

  authored and

  MartinNowack

  committed
  3fa03d1

  Copy full SHA for 3fa03d1

• Rename files from PTree to ExecutionTree (and similar)

  

  ccadar

  authored and

  MartinNowack

  committed
  2c8b74c

  Copy full SHA for 2c8b74c

Commits on Sep 11, 2023

• Make KDAlloc the default memory allocator

  

  ccadar

  authored and

  MartinNowack

  committed
  9edf8e8

  Copy full SHA for 9edf8e8

• Changed use-after-free and double-free tests to expect KDAlloc, plus some small improvements.

  

  ccadar

  authored and

  MartinNowack

  committed
  2e393db

  Copy full SHA for 2e393db

Commits on Sep 7, 2023

• Remove broken experimental optimisation for validity (--cex-cache-exp)

  ccadar

  committed
  9912da3

  Copy full SHA for 9912da3

Commits on Jul 21, 2023

• Add code to only keep in the --help menu the KLEE/Kleaver option categories

  

  ccadar

  authored and

  MartinNowack

  committed
  7082eaf

  Copy full SHA for 7082eaf

• Move some options to the klee namespace and declare them in OptionCategories.h

  

  ccadar

  authored and

  MartinNowack

  committed
  974f140

  Copy full SHA for 974f140

Commits on Jul 12, 2023

• Replaced --suppress-external-warnings and --all-external-warnings with --external-call-warnings=none|once-per-function|all.

  Show description for 9cb9fd5
  

  ccadar

  authored and

  MartinNowack

  committed
  9cb9fd5

  Copy full SHA for 9cb9fd5

Commits on Jun 26, 2023

• Consistently use ".ktest" when referring to .ktest files in the help menu

  

  ccadar

  authored and

  MartinNowack

  committed
  8b799c5

  Copy full SHA for 8b799c5

Pagination

Previous

Next