| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-05-09 | Fix test case to check for correct call string | Martin Nowack | |
| 2018-05-09 | Improve handling of constant array in Z3 | Timotej Kapus | |
| 2018-05-09 | Remove the option for truncating lines in assembly.ll | Martin Nowack | |
| The behaviour couldn't be triggered for a kcachegrind from 2012. | |||
| 2018-05-09 | Remove workaround for bug in older LLVM version (< 3) | Martin Nowack | |
| 2018-05-09 | Fix include files | Martin Nowack | |
| 2018-05-08 | remove unused file: tools/klee/Debug.cpp | Daniel Schemmel | |
| 2018-05-07 | Fixed test case to exercise modification to utimes() | Cristian Cadar | |
| 2018-05-07 | Fixed utimes() behavior for symbolic files when the second argument is NULL | yxliang01 | |
| 2018-05-06 | Moved regression test to proper location. Fixes #705 | Cristian Cadar | |
| 2018-05-05 | Fix handling of errno if external functions are invoked | Martin Nowack | |
| If an external function in KLEE is invoked, it might update errno. Previously, the errno specific variable in a state was only updated if it was part of the executed instructions. That opened up a timeframe that increased the likelihood of errno being overwritten by another method call. This patch fixes two issues: * the errno of the KLEE process state is updated before the external function call allowing to detect changes to it later on * after the external call, the memory object of errno is directly updated with its new value, reducing the likelihood to be overwritten by another call Additional features: * Add support for `errno()` for Darwin as well. * Simplified errno handling in POSIX layer | |||
| 2018-05-05 | Factor out method to update state memory with process state | Martin Nowack | |
| 2018-05-01 | Ensured program reliably has 3 paths to be explored, and removed unnecessary ↵ | Cristian Cadar | |
| options. Make klee_abort() call abort() in replay, and removed trivial test which cannot be easily integrated into the test suite. | |||
| 2018-05-01 | Implement klee_prefer_cex() and klee_abort() in Runtest and added ↵ | lyxia | |
| corresponding tests | |||
| 2018-05-01 | add blockaddress and indirectbr instructions | Frank Busse | |
| 2018-05-01 | fix compilation warning | Frank Busse | |
| 2018-04-28 | exitOnError no output buf fix | Zekun Shen | |
| 2018-04-17 | Change llvm apt repository to enable llvm 3.7+ | Timotej Kapus | |
| 2018-04-12 | Fix python2 linking | Martin Nowack | |
| 2018-04-09 | doDumpStates: incorrectly increments stats | Frank Busse | |
| doDumpStates calls stepInstruction and therefore indirectly increases time and instruction statistics for all dangling (dumped) states. This patch removes the call, but now the timing stats for the last executed state are lost, as StatsTracker::stepInstruction isn't called anymore. | |||
| 2018-03-26 | [CMake] Add option to set GTest include dir | lyxia | |
| 2018-03-23 | fix test/Feature/BFSSearcherAndDFSSearcherInterleaved.c to use explicit ↵ | Julian Büning | |
| enumeration of possible strings instead of CHECK-SAME (does not work as intended with LLVM >= 3.7) | |||
| 2018-03-01 | Store CexCache stats and then update klee-stats to use them | Domenico Fabio Marino | |
| Signed-off-by: Domenico Fabio Marino <nospamdomi@hotmail.it> | |||
| 2018-02-18 | Add missing endian information to avoid selecction of big endian systems | Martin Nowack | |
| 2018-02-18 | Fail for aggegrations with big endian ordering | Martin Nowack | |
| 2018-02-18 | Fixed handling of constant vectors with complex data | Martin Nowack | |
| 2018-02-18 | Test complex constant data vectors as well | Martin Nowack | |
| 2018-02-18 | Make print function of ObjectState public and const | Martin Nowack | |
| 2018-02-18 | Add testcase for constant array handling | Martin Nowack | |
| 2018-02-18 | Add test case for constant vector init | Martin Nowack | |
| 2018-02-18 | Fix correct element order of InsertElement/ExtractElement | Martin Nowack | |
| 2018-02-18 | Fix getelementptr for array or vector indices | Martin Nowack | |
| Rewrote code based on: llvm::GEPOperator::accumulateConstantOffset(): Handle signed offset correctly. | |||
| 2018-02-18 | Fix generation of expressions from constant sequential data | Martin Nowack | |
| 2018-02-18 | Added comment for getPointerWidth | Martin Nowack | |
| 2018-02-01 | llvm50: use auto variable instead of SwitchInst::CaseIt | Jiri Slaby | |
| llvm50 changed the semantics of SwitchInst::CaseIt and started using "auto" variable type. So use it here too for all versions greater than 3.4 -- 3.4 does not support this semantics yet. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-01-30 | Enable caching for travis-ci | Martin Nowack | |
| * Use ccache for building * Implement caching of locally build brew packages | |||
| 2018-01-30 | Fix coverage generation | Martin Nowack | |
| * Generate base coverage tracking all files * Reset coverage tracking before running experiments * Use base path KLEE_SRC * Fix uploading of results | |||
| 2018-01-22 | MergeHandler: remove unused closedStateCount | Jiri Slaby | |
| clang 5 reports: In file included from ../lib/Core/MergeHandler.cpp:10: ../include/klee/MergeHandler.h:81:12: warning: private field 'closedStateCount' is not used [-Wunused-private-field] unsigned closedStateCount; ^ So fix it by removing the member. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-01-17 | add wllvm to the python packages to be installed | Hexcoder | |
| 2018-01-16 | [Travis-CI] Added codecov.io support | Andrea Mattavelli | |
| 2018-01-08 | [NFC] Remove unused config header template that was only used by | Dan Liew | |
| the old build system (now removed). | |||
| 2017-12-11 | fix regression test: use `%klee` instead of `klee` | Felix Rath | |
| 2017-12-11 | fix merging tests: use `%klee` instead of `klee` | Felix Rath | |
| Fixes #800 | |||
| 2017-12-05 | Move Homebrew tap from personal repository to the KLEE organization | Andrea Mattavelli | |
| 2017-12-05 | Updated TravisCI to use pip2 instead of pip | Andrea Mattavelli | |
| 2017-12-05 | Bumped xcode version for TravisCI | Andrea Mattavelli | |
| 2017-11-30 | Implemented bounded merging functionality | Lukas Wölfer | |
| 2017-11-30 | Added pause and continue functionality for states in Executor | Lukas Wölfer | |
| 2017-11-26 | Replace confusing message in lit.site.cfg.in about the file being autogenerated | Cristian Cadar | |
| 2017-11-24 | klee_make_symbolic: add test cases for API | Frank Busse | |
| 2017-11-24 | klee_make_symbolic: warn on deprecated usage | Frank Busse | |
| * terminates state instead of using assertion for illegal argument number * renames empty names to "unnamed" (otherwise test generation fails) * deprecates two argument version | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |