| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-07-24 | Support arguments of width 128, 256 and 512 bits for external calls | Pavel | |
| 2022-07-04 | Inline asm external call | Mikhail | |
| 2022-07-04 | Fix memory leak in crosscheck core solver mechanism | Daniel Schemmel | |
| 2022-06-30 | rename CallSite to CallBase | Frank Busse | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-28 | Implement getArrayForUpdate iteratively | Daniel Schemmel | |
| 2022-06-26 | Intrinsics: Add support for @llvm.f{ma,muladd}.f* | Lukáš Zaoral | |
| 2022-06-15 | Spelling Fixes | m-davis | |
| 2022-06-13 | .err files: minor readability changes to stack trace output | Frank Busse | |
| 2022-06-13 | Update SpecialFunctionHandler.cpp | Chaoqi Zhang | |
| use size() to get N in bind(), just like the way in prepare(). | |||
| 2022-05-05 | cl flags: document default values, remove dead option: --replay-keep-symbolic | Frank Busse | |
| 2022-04-25 | use mallinfo2 if available | Frank Busse | |
| 2022-04-01 | Remove unnecessary call to deprecated function sqlite3_enable_shared_cache | Cristian Cadar | |
| 2022-03-21 | Fixed a wrong type when computing memory usage on macOS | Cristian Cadar | |
| 2022-03-17 | remove obsolete KLEE_LLVM legacy defines | Julian Büning | |
| 2022-03-17 | LLVM < 6 leftovers | Julian Büning | |
| 2022-03-17 | remove LLVM < 6 from sources | Frank Busse | |
| 2022-03-17 | Fixed GetTotalMallocUsage on macOS to look at all zones. (The test ↵ | Cristian Cadar | |
| MemoryLimit.h fails on macOS 12.1 without this fix.) | |||
| 2022-03-09 | Core/Executor: Fix unaligned write of fp80 arguments | Lukáš Zaoral | |
| ... in Executor::callExternalFunction. Fixes the following error reported in Feature/VarArg{Alignment,LongDouble}.c tests: lib/Expr/Expr.cpp:366:5: runtime error: store to misaligned address 0x7ffc011d3528 for type 'long double', which requires 16 byte alignment | |||
| 2022-03-09 | Core/ExecutionState: Fix uninitialized reads in unit tests | Lukáš Zaoral | |
| ... by initialising all members of fundamental types of the ExecutionState class. Fixes the following error in SearcherTest.{Two,}RandomPath unit tests: lib/Core/ExecutionState.cpp:114:22: runtime error: load of value 254, which is not a valid value for type 'bool' | |||
| 2022-01-07 | stats: remove reachableUncovered (unused) | Frank Busse | |
| 2022-01-06 | Comment the code dealing with un/flushed bytes, and resolve old naming issue ↵ | Cristian Cadar | |
| by renaming flushMask to unflushedMask | |||
| 2022-01-05 | introduce BranchTypes | Frank Busse | |
| 2022-01-05 | Remove outdated reference to klee_make_symbolic_name | Cristian Cadar | |
| 2021-12-23 | Introduce termination categories | Frank Busse | |
| Track all path terminations: esp. for debugging or visualising a persistent process tree (with or without full MoKlee integration) it is helpful to know the exact reason (StateTerminationType) why a path terminated. | |||
| 2021-12-20 | llvm13: llvm::APInt::toString has been moved to StringExtras.h | Lukas Zaoral | |
| See: https://reviews.llvm.org/D103888 | |||
| 2021-12-20 | llvm13: CreateGEP no longer accepts nullptr | Lukas Zaoral | |
| See: https://reviews.llvm.org/D105653 | |||
| 2021-12-20 | llvm13: CreateLoad API with implicit types has been deprecated | Lukas Zaoral | |
| See: https://github.com/llvm/llvm-project/commit/6312c53870897435b38881795460ad9f34bf9819 | |||
| 2021-12-20 | llvm13: llvm::fs::F_None has been removed | Lukas Zaoral | |
| ... and should be replaced with llvm::fs::OF_None since LLVM 7. See: https://reviews.llvm.org/D101506 https://github.com/llvm/llvm-project/commit/1f67a3cba9b09636c56e2109d8a35ae96dc15782 | |||
| 2021-12-20 | Support/FileHandling.cpp: rewrite to C++14 | Lukas Zaoral | |
| 2021-11-20 | Fixed fail with preferCex, removed relation from first argument | Taras Bereznyak | |
| 2021-11-02 | Core/Executor: use `nullptr` instead of `0` | ᴀᴇꜱᴏᴘʜᴏʀ | |
| Since KLEE requires C++14, we should prefer `nullptr` to plain `0`. | |||
| 2021-10-27 | Module/RaiseAsm: Support i686 target as well | Lukas Zaoral | |
| Add i686 to the list of supporterd targets by this transformation pass. | |||
| 2021-10-27 | Module/RaiseAsm: Fix crash when host and bitcode target triples differ | Lukas Zaoral | |
| RaiseAsm always created a target machine for the host target and not for the bitcode one. Therefore, KLEE could crash on i686 bitcode as x86_64 target machine cannot be used to raise i686 assembly. Fixes: LLVM ERROR: 64-bit code requested on a subtarget that doesn't support it! | |||
| 2021-09-10 | llvm12: Implement llvm.abs intrinsic | Lukas Zaoral | |
| The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk> | |||
| 2021-09-10 | llvm11: Handle llvm.roundeven instrinsic | Lukas Zaoral | |
| See: https://reviews.llvm.org/D75670 | |||
| 2021-09-10 | llvm12: Implement llvm.{s,u}{max,min} intrinsics | Lukas Zaoral | |
| The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk> | |||
| 2021-09-10 | llvm12: VectorType::getNumElements() has been deprecated | Lukas Zaoral | |
| ... and has already been removed from the LLVM 13 source tree. See: https://reviews.llvm.org/D78127 https://reviews.llvm.org/D95570 | |||
| 2021-05-10 | allocate memory objects for functions | Julian Büning | |
| Before, we reused the llvm::Function* value in the target program, even though it stems from KLEE's own address space. This leads to non-deterministic function pointers, even with --allocate-determ. This issue was identified in the MoKLEE paper. Now, we allocate a memory object per function, for its (potentially) deterministic address. Mapping this address back to llvm::Functions is done by the legalFunctions map. Also, pointer width now depends on the target, not the host. | |||
| 2021-05-04 | differentiate between partial and completed paths in summary and fix paths ↵ | Frank Busse | |
| stats when not dumping states | |||
| 2021-04-20 | Replaced the time-based delay after which the max-static-*-pct checks are ↵ | Cristian Cadar | |
| performed with one expressed in terms of number of forks. | |||
| 2021-04-20 | Refactored maxStaticPctChecks into a sequence of conditions. | Cristian Cadar | |
| 2021-04-20 | Added a warning when forking is skipped due to MaxStatic*Pct limits being ↵ | Cristian Cadar | |
| reached | |||
| 2021-04-20 | Added -max-static-pct-check-delay to replace the hardcoded delay after which ↵ | Cristian Cadar | |
| the MaxStatic*Pct checks are performed. | |||
| 2021-04-20 | Refactored MaxStatis*Pct conditions into a separate function. | Cristian Cadar | |
| 2021-03-04 | [Z3] Handle the case when interruption caught by Z3 | Pavel Yatcheniy | |
| 2021-02-16 | Executor: remove obsolete special case for __cxa_{re,}throw | Julian Büning | |
| __cxa_throw and __cxa_rethrow were not handled by special function handlers in the final version of #966 (which introduced support for C++ exception handling) | |||
| 2021-02-16 | add ifdefs for C++ exception handling | Julian Büning | |
| restoring old behavior without EH support | |||
| 2020-12-04 | llvm11: CallBase::getParamAlignment has been deprecated | Lukas Zaoral | |
| and should be replaced with CallBase::getParamAlign | |||
| 2020-12-04 | llvm11: GlobalValue::getAlignment has been removed | Lukas Zaoral | |
| See: https://reviews.llvm.org/D80368 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |