| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-05-22 | CompressionStream: fix sporadic segfaults (uninitialised avail_in) | Frank Busse | |
| 2018-05-22 | Removed .c_str() from getSourceLocation calls | Cristian Cadar | |
| 2018-05-22 | Renamed printFileLine to getSourceLocation (as suggested by @delcypher) to ↵ | Cristian Cadar | |
| reflect the fact that it simply returns a string | |||
| 2018-05-22 | Simplified printFileLine by using std::to_string, and removed unneeded ↵ | Cristian Cadar | |
| version that takes an argument a stream | |||
| 2018-05-21 | stop using DEBUG macro name | Jiri Slaby | |
| This is too generic and llvm 6.0 defines DEBUG as follows: #define DEBUG(X) DEBUG_WITH_TYPE(DEBUG_TYPE, X) This then results in various build failures where once the macro is defined, once it is not. So rename this generic macro to KLEE_ARRAY_DEBUG. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-05-21 | fix some casts for LLP64 compilers | Frank Busse | |
| 2018-05-18 | tests: use names in klee_make_symbolic | Frank Busse | |
| 2018-05-18 | Delete coverageServer.py | Timotej Kapus | |
| Delete the old coverage gathering code. Unneccessary with move to codecov. | |||
| 2018-05-17 | Abort execution if --only-output-states-covering-new is enabled but its ↵ | Cristian Cadar | |
| dependency --output-istats is not | |||
| 2018-05-17 | Add support for concretizing symbolic objects passed to external functions | Timotej Kapus | |
| 2018-05-17 | Improve error messages for ReadStringAtAddress | Timotej Kapus | |
| 2018-05-15 | Improved code quality | Lukas Wölfer | |
| 2018-05-15 | Implemented incomplete merging | Lukas Wölfer | |
| 2018-05-15 | remove QueryLog.h | Frank Busse | |
| 2018-05-12 | Update clang-format standard for KLEE codebase to C++11 | Martin Nowack | |
| 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 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |