Commits

Branch selector

 8.0.0

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 24, 2020

• Merge branch 'svcomp21-v1' of https://github.com/staticafi/klee into svcomp21-v1

  mchalupa

  committed
  8d4c804

• Fix the comparison of object pointers

  mchalupa

  committed
  b9f6343

• Merge branch '7.0.4' of https://github.com/staticafi/klee into svcomp21-v1

  mchalupa

  committed
  7763069

• Merge pull request #11 from tomsik68/mmap-multiblocksize

  mchalupa

  authored
  1cf87ed

• MemoryManager: specify MAP_32BIT in ctor args

  tomsik68

  committed
  b1aa1c4

Commits on Nov 23, 2020

• MemoryManager: use multiple allocators for lowmem

  tomsik68

  committed
  607a403

Commits on Nov 20, 2020

• report memcleanup error only once

  

  tomsik68

  authored and

  mchalupa

  committed
  99a7bf5

• Executor: no recursion in terminateStateOnError

  

  tomsik68

  authored and

  mchalupa

  committed
  180668a

• Merge pull request #8 from tomsik68/memcleanup-fix

  mchalupa

  authored
  236d992

Commits on Nov 19, 2020

• report memcleanup error only once

  tomsik68

  committed
  af3d1ed

• Executor: no recursion in terminateStateOnError

  tomsik68

  committed
  40edfe1

• fix getAddressInfo -> getKValueInfo

  tomsik68

  committed
  4ea7e35

Commits on Nov 16, 2020

• Executor: do not report a leak if we are not sure

  mchalupa

  committed
  1aae979

• Executor: fix memleak check after rebase

  mchalupa

  committed
  f579c61

• klee/main.cpp: factor out loading bitcode

  mchalupa

  committed
  f7e3f5f

• fix after 7.0.2 rebase

  

  capsosk

  authored and

  mchalupa

  committed
  2a8535e

• Equality of pointers is compared using symbolic arrays.

  

  capsosk

  authored and

  mchalupa

  committed
  9fda181

• ICmp instruction assigns symbolic arrays to deleted memory objects.

  

  capsosk

  authored and

  mchalupa

  committed
  d5a3495

• Revert "Checking if freed MO points to the same address as new pointer. WIP"

  

  capsosk

  authored and

  mchalupa

  committed
  85b5b8f

• Checking if freed MO points to the same address as new pointer. WIP

  

  capsosk

  authored and

  mchalupa

  committed
  47d176e

• & and | bitwise instructions changed to check if segment is truly zero.

  

  capsosk

  authored and

  mchalupa

  committed
  c1831cb

• Added additional condition to evalConstant "hack".

  

  capsosk

  authored and

  mchalupa

  committed
  f4ffc22

• rebase to 7.0.0-dev branch

  

  capsosk

  authored and

  mchalupa

  committed
  d7eba4e

• Merge pull request #5 from tomsik68/memcleanup-abort

  mchalupa

  authored
  033481f

• Merge pull request #7 from tomsik68/exits

  mchalupa

  authored
  9b392c5

• Handle _Exit the same way as _exit

  tomsik68

  committed
  55982ec

Commits on Oct 7, 2020

• Check memcleanup regardless of termination reason

  tomsik68

  committed
  475bec1

Commits on Sep 29, 2020

• Check memcleanup after abort is called

  tomsik68

  committed
  68a9220

Commits on Sep 21, 2020

• Merge branch 'fix-gcc5-compilation' of https://github.com/lzaoral/klee into 7.0.2-dev

  mchalupa

  committed
  2805689

• Merge branch 'fix-warnings' of https://github.com/lzaoral/klee into 7.0.2-dev

  mchalupa

  committed
  a8365fc

Commits on Sep 1, 2020

• Detect realloc of local and global objects

  mchalupa

  committed
  ff0d2f5

Commits on Jul 29, 2020

• readStringAtAddress: support pointer into objects

  mchalupa

  committed
  58e8865

• readStringAtAddress: use stringstream to obtain the string

  mchalupa

  committed
  23572c8

Commits on Jul 24, 2020

• SpecialFunctionHandler: do not crash on realloc of read-only object

  mchalupa

  committed
  63cf276

Commits on May 25, 2020

• Fix build on LLVM < 3.9

  mchalupa

  committed
  0aaac7a

Pagination

PreviousNext