| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-07-30 | Consolidated Expr-related include files into a single include/klee/Expr ↵ | Cristian Cadar | |
| directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE. | |||
| 2019-06-04 | Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ↵ | Cristian Cadar | |
| consistent naming convention | |||
| 2019-05-30 | remove klee_alias_function() | Julian Büning | |
| this function can be used to modify the control flow of the program on different paths, enabling self-modifying code. | |||
| 2019-04-29 | Fix gen-random-bout to build on FreeBSD. | Gleb Popov | |
| 2019-04-12 | Fix handling of time in grafana | Timotej Kapus | |
| 2019-04-04 | klee-stats: add - to to-csv/grafana options | Frank Busse | |
| 2019-04-04 | Add klee-stats test, fix microseconds bug | Timotej Kapus | |
| 2019-04-04 | Clean klee-stats, StatsTracker and cmake | Timotej Kapus | |
| 2019-04-04 | Remove unused function | Timotej Kapus | |
| 2019-04-04 | Remove precision | Timotej Kapus | |
| 2019-04-04 | Remove compare-by | Timotej Kapus | |
| 2019-04-04 | Remove sort-by | Timotej Kapus | |
| 2019-04-04 | Remove unused -sample-interval option | Timotej Kapus | |
| 2019-04-04 | Remove linechart for klee-stats | Timotej Kapus | |
| 2019-04-04 | Add add -grafana option to klee-stats | Timotej Kapus | |
| It starts a simple web server that acts as a simple JSON datasource for grafana | |||
| 2019-04-04 | Change the .stats format into sqlite3 | Timotej Kapus | |
| Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour. | |||
| 2019-04-02 | Fix klee-replay tool on FreeBSD. | Gleb Popov | |
| 2019-03-31 | Applied clang-format on tools/gen-random-bout/gen-random-bout.cpp | Andrew Santosa | |
| 2019-03-31 | Various updates to gen-random-bout.cpp | Andrew Santosa | |
| * Added handling of --sym-arg * Resolved the crash when minimum and maximum number of arguments for --sym-args are equal * Replaced "range" with "n_args" produced by --sym-args * Added model_version variable (constrained to 1), to prevent klee complaining about insufficient input * Allow a single dash to prefix an option * Arrange the elements in the correct order: command-line arguments, files, stdin, stdout * Added test/Runtime/POSIX/GenRandomBout.c test, with a substitution for %gen-random-bout in test/lit.cfg | |||
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning | |
| 2019-03-17 | Fix libc++ testcases | Martin Nowack | |
| * remove wrapper script invocation and script * add build instruction to test cases * added additional checks * add check to avoid execution of tests if KLEE is not compiled with libc++ | |||
| 2019-03-17 | Added libcxx flag | Lukas Wölfer | |
| 2019-03-15 | Hiding general (LLVM) options in klee --help ! | Cristian Cadar | |
| 2019-03-15 | Placed --max-time in the termination category | Cristian Cadar | |
| 2019-03-15 | Placed --exit-on-error, --max-tests and --watchdog in the termination category | Cristian Cadar | |
| 2019-03-15 | Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and ↵ | Cristian Cadar | |
| placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace. | |||
| 2019-03-13 | Hide the general category (with LLVM options) in Kleaver. | Cristian Cadar | |
| 2019-03-13 | Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some ↵ | Cristian Cadar | |
| reformatting) | |||
| 2019-03-13 | Moved options in kleaver/main.cpp in either the constraint solving or the ↵ | Cristian Cadar | |
| expression building/printing category | |||
| 2019-03-13 | Renamed --warn-all-externals to --warn-all-external-symbols and placed it in ↵ | Cristian Cadar | |
| the startup category | |||
| 2019-03-13 | Renamed --no-output to --write-no-tests and placed it in the test case ↵ | Cristian Cadar | |
| category (with --write-cov, --write-cvcs etc.) | |||
| 2019-03-05 | ktest-tool: add --extract option | Frank Busse | |
| 2019-03-05 | Renamed "Starting options" to "Startup options" and added a missing space in ↵ | Cristian Cadar | |
| a help message. | |||
| 2018-12-19 | ktest-tool: move from optparse to argparse, add ouput/example sections to help | Frank Busse | |
| 2018-12-19 | Various fixes for ktest-tool | Frank Busse | |
| * switch to Python 3 * add file encoding * some PEP8 reformatting * fix TOCTOU for open * replace trimZeros() with rstrip * remove unused pos/args variables * remove --write-ints (print by default) * remove progname section (unused) * added/modified output rows - "data:" now shows the Python representation (for use in scripts) - "hex :" shows the hex representation - "text:" shows ASCII, all out-of-range/non-printable characters are replaced by a dot - "int :"/"uint:" print (unsigned) 8/16/32/64 bit integers * reduce width for object counter to needed minimum instead of 4 * refactor printing into function | |||
| 2018-12-19 | Added default values to option comments | MartinNowack | |
| Co-Authored-By: ccadar <c.cadar@imperial.ac.uk> | |||
| 2018-12-19 | Renamed --environ to --env-file | Cristian Cadar | |
| 2018-12-19 | Renamed --stop-after-n-tests to --max-tests | Cristian Cadar | |
| 2018-12-19 | Added a replaying option category | Cristian Cadar | |
| 2018-12-19 | Added checks option category, moved --optimize to starting category, renamed ↵ | Cristian Cadar | |
| original --run-in option to --running-dir | |||
| 2018-12-19 | Added linking option category | Cristian Cadar | |
| 2018-12-19 | Added starting option category | Cristian Cadar | |
| 2018-12-19 | Added test case option category | Cristian Cadar | |
| 2018-11-23 | Implemented memalign with alignment | Lukas Wölfer | |
| 2018-10-30 | Base time API upon std::chrono | Frank Busse | |
| This should not change the behaviour of KLEE and mimics the old API. - functions moved from util into time namespace - uses time points and time spans instead of double - CLI arguments now have the form "3h5min8us" Changed command line parameters: - batch-time (double to string) - istats-write-interval (double to string) - max-instruction-time (double to string) - max-solver-time (double to string) - max-time (double to string) - min-query-time-to-log (double to string) - seed-time (double to string) - stats-write-interval (double to string) - uncovered-update-interval (double to string) - added: log-timed-out-queries (replaces negative max-solver-time) | |||
| 2018-10-26 | Added gen-bout tool to generate ktest file (file.bout) using specified ↵ | Andrew Santosa | |
| concrete arguments and files. * Sample use cases: * Using an interesting input as a seed, such as a crashing input. * Analyzing the path condition of a crashing input. * Also added the test: test/Runtime/POSIX/GenBout.c | |||
| 2018-10-26 | llvm5: avoid ++ on function->arg_begin() | Jiri Slaby | |
| Starting with llvm 5, arguments of a function are not an iterator, but an array. So they cannot be incremented in-place. Add a local auto variable and increment that. Otherwise we see: ../tools/klee/main.cpp:661:23: error: expression is not assignable Value *oldArgv = &*(++mainFn->arg_begin()); ^ ~~~~~~~~~~~~~~~~~~~ Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-10-23 | refactor klee_open_output_file to return std::unique_ptr | Julian Büning | |
| and introduce klee_open_compressed_output_file with similar behavior along some other minor improvements | |||
| 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-08 | cleanup headers, whitespaces, and types | Frank Busse | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |