| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-07-04 | Inline asm external call | Mikhail | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-27 | Fix error with empty EntryPoint | Saveliy Grigoryev | |
| 2022-05-06 | Renamed gen-random-bout to ktest-randgen | Cristian Cadar | |
| 2022-05-06 | Updated klee-zesti to use ktest-gen instead of gen-bout | Cristian Cadar | |
| 2022-05-06 | Renamed gen-bout to ktest-gen | Cristian Cadar | |
| 2022-05-05 | cl flags: document default values, remove dead option: --replay-keep-symbolic | Frank Busse | |
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-03-17 | remove obsolete KLEE_LLVM legacy defines | Julian Büning | |
| 2022-03-17 | remove LLVM < 6 from sources | Frank Busse | |
| 2022-01-07 | klee-stats: fix --print-more | Frank Busse | |
| 2022-01-07 | klee-stats: add --print-columns | Frank Busse | |
| 2022-01-07 | klee-stats: do not print summary line for csv/readable-csv | Frank Busse | |
| 2022-01-07 | klee-stats: fix BCov calculation for zero br instructions | Frank Busse | |
| 2022-01-07 | klee-stats: rename/reorder/document columns | Frank Busse | |
| * rename columns for consistency * reorder columns and group by "categories" * add missing documentation * fix existing documentation * show MaxMem as float | |||
| 2022-01-05 | Do not use stat64 directly in gen-random-bout | Cristian Cadar | |
| 2021-12-20 | llvm13: llvm::cl::GeneralCategory is no longer a global | Lukas Zaoral | |
| Therefore, llvm::cl::getGeneralCategory() should be used instead. See: https://reviews.llvm.org/D105959 | |||
| 2021-11-02 | ktest-tool: --extract: warn if object can't be found | Frank Busse | |
| 2021-11-02 | klee-stats: order remaining columns alphabetically | Frank Busse | |
| 2021-10-27 | tools/klee: Warn if module and host target triples differ | Lukas Zaoral | |
| ... as running a bitcode with a different target triple may result in unexpected crashes or assertion violations. | |||
| 2021-05-04 | differentiate between partial and completed paths in summary and fix paths ↵ | Frank Busse | |
| stats when not dumping states | |||
| 2021-04-29 | Fix erroneous klee-stats legend for --print-all | Jordy Ruiz | |
| Only absolute times were displayed, and were marked as %. Fixes CexCacheTime, ForkTime and ResolveTime columns. | |||
| 2021-04-18 | klee-replay: Fix -Wformat-truncation warning | Lukas Zaoral | |
| Increase the size of the buffer to PATH_MAX in create_link as that is the maximal possible length of fname and check whether output truncation occurred. Fixes: tools/klee-replay/file-creator.c: In function 'create_file': tools/klee-replay/file-creator.c:55:31: warning: '%s' directive output may be truncated writing up to 4095 bytes into a region of size 64 [-Wformat-truncation=] 55 | snprintf(buf, sizeof(buf), "%s.lnk", fname); | ^~ ...... 344 | target = tmpname; | ~~~~~~~ In file included from /usr/include/stdio.h:866, from tools/klee-replay/file-creator.c:16: /usr/include/bits/stdio2.h:70:10: note: '__snprintf_chk' output between 5 and 4100 bytes into a destination of size 64 70 | return __builtin___snprintf_chk (__s, __n, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 71 | __bos (__s), __fmt, __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | |||
| 2021-02-16 | add klee_messages for C++ exception handling support | Julian Büning | |
| otherwise, it is hard to tell whether EH support is available or not | |||
| 2021-02-16 | add ifdefs for C++ exception handling | Julian Büning | |
| restoring old behavior without EH support | |||
| 2021-02-16 | renaming 'libcxx' -> 'libc++' | Julian Büning | |
| 2020-12-04 | llvm11: Use getCalledOperand instead of getCalledValue | Lukas Zaoral | |
| CallBase::getCalledValue has been deprecated by getCalledOperand since LLVM 8 and has been removed in LLVM 11 See: https://reviews.llvm.org/D78882 | |||
| 2020-12-04 | llvm11: Make conversions from StringRef to std::string explicit | Lukas Zaoral | |
| The same applies to SmallString. See: llvm/llvm-project@777180a#diff-497ba4c0c527a125d382b51a34f32542 | |||
| 2020-11-11 | klee-stats: add (readable) csv format (--table-format=readable-csv/csv) | Frank Busse | |
| 2020-11-11 | Do not redefine fgetc_unlocked and fputc_unlocked unconditionally. | Gleb Popov | |
| 2020-11-09 | Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ↵ | Cristian Cadar | |
| used. | |||
| 2020-11-04 | Rename FreeStanding to Freestanding where appropriate | Martin Nowack | |
| 2020-11-04 | Link to the different runtime libraries depending on the application to test. | Martin Nowack | |
| Currently, only 32bit vs. 64bit is supported. | |||
| 2020-10-12 | Exception handling only for LLVM >= 8.0.0 | Julian Büning | |
| 2020-10-12 | Implemented support for C++ Exceptions | Felix Rath | |
| We implement the Itanium ABI unwinding base-API, and leave the C++-specific parts to libcxxabi. Co-authored-by: Lukas Wölfer <lukas.woelfer@rwth-aachen.de> | |||
| 2020-09-30 | klee-stats: fix behaviour for broken/empty DBs | Frank Busse | |
| * fill missing columns in rows with None * fill previous rows with None if new column encountered * error for --to-csv when more than one input directory given | |||
| 2020-09-17 | [gen-bout] Support multiple symbolic files | Timotej Kapus | |
| 2020-09-17 | Add klee-zesti a ZESTI like wrapper script | Timotej Kapus | |
| klee-zesti takes concrete arguments, files and stdin of the program under tests converts them to a seed and then runs klee with that seed. This emulates the interface of ZESTI. | |||
| 2020-08-23 | klee-stats: check for a run.stats file in the klee-out directory, to prevent ↵ | Jordy Ruiz | |
| outputting wrong data. When KLEE crashes, it produces an empty info file, so it is not enough to check for the existence of an info file. Previously, table columns would mismatch and return data labeled with the wrong directory names. | |||
| 2020-07-01 | Separate constraint set and constraint manager | Martin Nowack | |
| 2020-06-29 | Implement fshr/fshl intrinsics | Alastair Reid | |
| Changes: - IntrinsicCleaner accepts fshr/fshl as accepted intrinsics - Executor::executeCall converts fshr/fshl to urem/zext/concat/shift/extract - Klee/main suppresses warnings about externals that are LLVM reserved (i.e., begin with "llvm.") - New test exercises 32 and 7 bit versions including oversize shift values Test values are based on LLVM's test for fshl/fshr - Changes that depend on existence of fshr/fshl are guarded by #if LLVM_VERSION_CODE >= LLVM_VERSION(7, 0) or ; REQUIRES: geq-llvm-7.0 | |||
| 2020-04-30 | Moved header files that were placed directly in include/klee/ into ↵ | Cristian Cadar | |
| appropriate existing directories and a new directory Statistics; a few missing renames. | |||
| 2020-04-30 | Created include/klee/Core directory and moved appropriate files direc\ | Cristian Cadar | |
| tly in lib/Core | |||
| 2020-04-30 | Removed the Internal directory from include/klee | Cristian Cadar | |
| 2020-04-08 | stats: rename QueriesConstructs to QueryConstructs | Frank Busse | |
| 2020-03-31 | Fixed some messages, particularly Klee -> KLEE | Cristian Cadar | |
| 2020-03-17 | Fixed compiler warning when printing variable of type off_t | Cristian Cadar | |
| 2020-03-17 | stat64 is deprecated on macOS; use stat instead | Cristian Cadar | |
| 2020-03-01 | [klee-stats] Grafana: Limit number of entries to query for column names | Martin Nowack | |
| 2020-03-01 | [klee-stats] Use the last row inserted instead of the row with highest ↵ | Martin Nowack | |
| Instructions Last `Instructions` is not a good identifier to retrieve the correct row. For the default setup, KLEE will generate two entries with the same last instruction. One before clean-up and one after clean-up (i.e. if states are terminated on halt). Using `rowid` will select the last line. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |