| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-23 | Avoid unsafe static downcasts | Martin Nowack | |
| 2018-10-23 | Modernize code | Martin Nowack | |
| * use `using` instead of typdef * use `collection.empty()` instead of size * use `auto` if clear * use `emplace_back` where useful * use `nullptr` instead of NULL * use `override` if applicable * use `explicit` for constructor to avoid implicit conversion | |||
| 2018-10-23 | Move optimization specific headers away from the project include directory | Martin Nowack | |
| Don't pollute the project include directory with optimization specific headers. | |||
| 2018-10-23 | Clean-up headers | Martin Nowack | |
| Remove unneeded headers from include files | |||
| 2018-10-23 | Use std::unordered collections as we use C++11 | Martin Nowack | |
| 2018-10-23 | Remove unneeded externs | Martin Nowack | |
| 2018-10-23 | Remove condition check before function invocation | Martin Nowack | |
| Conditions are checked inside of `optimizeExpr()` anyway. This simplifies the code a lot. | |||
| 2018-10-23 | Move ConstantExpr check inside optimizeExpr function | Martin Nowack | |
| 2018-10-23 | optimizeExpr: return the result as return value instead as function argument | Martin Nowack | |
| simplifies code a lot. | |||
| 2018-10-23 | Make valueOnly parameter of optimizeExpr explicit | Martin Nowack | |
| avoid ambiguity of valueOnly parameter | |||
| 2018-10-23 | Fixed compilation of array optimization patch with LLVM >= 4.0 | Cristian Cadar | |
| 2018-10-23 | Added missing headers and clang-format the files | Cristian Cadar | |
| 2018-10-23 | Added support for KLEE value-based array optimization | Andrea Mattavelli | |
| 2018-10-23 | Added support for KLEE index-based array optimization | Andrea Mattavelli | |
| 2018-10-17 | tests: disable CompressedExprLogging on zlib-less systems | Frank Busse | |
| 2018-10-16 | Small changes to comments | Cristian Cadar | |
| 2018-10-16 | Added missing header to SolverCmdLine.h and clang-format it | Cristian Cadar | |
| 2018-10-16 | Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ↵ | Cristian Cadar | |
| to have only solver options. | |||
| 2018-10-10 | fix handling of failing external calls | Frank Busse | |
| Currently KLEE only handles the first segfault in external calls as it doesn't unblock SIGSEGV afterwards. This patch unblocks the signal and enables handling of multiple failing calls. | |||
| 2018-10-10 | cmake/lit: add asan/non-asan, ubsan/non-ubsan flags | Frank Busse | |
| 2018-10-08 | cleanup headers, whitespaces, and types | Frank Busse | |
| 2018-10-08 | add support for klee-replay on OSX | Frank Busse | |
| * also adds klee-replay as dependency for systemtests | |||
| 2018-10-07 | Workaround for flaky coverage | Martin Nowack | |
| Merge unittest coverage results and system tests coverage results into one coverage report. | |||
| 2018-10-04 | kleeModule: always link irreader (required since llvm 3.3) | Julian Büning | |
| 2018-10-04 | remove obsolete dependency of kleeModule on kleeCore | Julian Büning | |
| 2018-10-04 | config.h.cmin: remove obsolete cmakedefine | Julian Büning | |
| 2018-10-03 | Marking resolve methods as const | Cristian Cadar | |
| 2018-10-03 | Refactored AddressSpace::resolve() by creating a new function ↵ | Cristian Cadar | |
| AddressSpace::checkPointerInObject() that is called in both the forward and the backward searches. This makes the code more modular and removes a large part of duplicated code and should also address the non-deterministic coverage in the resolve() function which affects Codecov reports. | |||
| 2018-09-30 | Fix a crash when the last running state is terminated during merging | Lukas Wölfer | |
| 2018-09-29 | Changed code to create up to 100 properly-numbered symbolic arguments, and ↵ | Cristian Cadar | |
| add a corresponding check. | |||
| 2018-09-29 | Add checks for correct usage of the POSIX model, together with an associated ↵ | Cristian Cadar | |
| test. | |||
| 2018-09-27 | Revert lit to 0.6.0 version, as 0.7.0 misbehaves | Cristian Cadar | |
| 2018-09-20 | Removed unused file | Cristian Cadar | |
| 2018-09-20 | Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the ↵ | Cristian Cadar | |
| test to use FileCheck instead of grep | |||
| 2018-09-20 | Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make ↵ | Cristian Cadar | |
| stdin symbolic and removed unused arguments to main. | |||
| 2018-09-20 | Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make ↵ | Cristian Cadar | |
| stdin symbolic. | |||
| 2018-09-20 | Silence an uninitialized variable compiler warning (and a tiny formatting ↵ | Cristian Cadar | |
| change) | |||
| 2018-09-18 | travis: enable LLVM 4 testing | Jiri Slaby | |
| Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-18 | llvm4: gep_type_iterator has no operator* | Jiri Slaby | |
| Starting with LLVM 4, we have getStructTypeOrNull(), so use it. operator* in post-4 will have a different semantics. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-18 | llvm4: PointerType is not SequentialType | Jiri Slaby | |
| So handle the type specially whenever needed. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-18 | llvm4: use chrono helpers from LLVM | Jiri Slaby | |
| LLVM 4 removes the old time interface and starts using the C++11's chrono. So switch to that in klee for LLVM 4 too. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-18 | llvm4: errorOr and similar | Jiri Slaby | |
| Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-18 | llvm4: APFloat members are functions | Jiri Slaby | |
| Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-18 | llvm4: handle different header names | Jiri Slaby | |
| LLVM 4 renamed and splitted some headers. Take this into account in includes. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-14 | travis CI: add LLVM 3.9 build tests | Jiri Slaby | |
| Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-14 | llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+Asserts | Jiri Slaby | |
| So that we do not optimize the library during build. It should be optimized only on runtime, depending on the -optimize parameter. It could cause various failures like: inlinable function call in a function with debug info must have a !dbg location call void @klee_overshift_check(i64 64, i64 %int_cast_to_i64) Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-14 | cmake: find_llvm, fix libraries with llvm-config 3.9 | Jiri Slaby | |
| llvm-config from llvm 3.9 was broken. Fix handling of improperly returned libraries. From: liblibLLVM-3.9.so.so To: libLLVM-3.9.so Fixes #895. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-14 | llvm: make KLEE compile against LLVM 3.9 | Jiri Slaby | |
| Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-09-10 | Add testcase to run POSIX environment and main without arguments | Martin Nowack | |
| 2018-09-10 | Add POSIX runtime as dependency for the test case | Martin Nowack | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |