about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Collapse)Author
2019-10-31support compilation against LLVM 9.0Julian Büning
2019-10-29[klee-replay] Fix relative executable pathsTimotej Kapus
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-08-15replace fprintf with fputs/fputcFrank Busse
2019-08-14Delete functions delete_file() and delete_dir() which are not needed now ↵Cristian Cadar
that klee-replay creates a temporary directory for replay
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-08-14Create all files in the replay directory and chdir to this directory before ↵Cristian Cadar
executing the program.
2019-08-14Added an option to klee-replay to keep replay directoryCristian Cadar
2019-08-14Cleaned up messages emitted by klee-replay, and prefixed them all with ↵Cristian Cadar
"KLEE-REPLAY:" to distinguish them from those printed by the replayed program
2019-08-14Changed klee-replay to create a temporary directory with a random name in ↵Cristian Cadar
/tmp instead of using a fixed name in the current directory.
2019-08-08Read Klee's start time correctly in klee-statsGeorge Ordish
The last modification time of the run.stats database was being used as the starting time of klee. This was causing Grafana to show graphs incorrectly. Instead we now read the start time from the info file. Co-Authored-By: Kenny Macheka <knm17@ic.ac.uk>
2019-08-01gen(-random)-bout: add --bout-file flagFrank Busse
2019-07-30Consolidated 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-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ↵Cristian Cadar
consistent naming convention
2019-05-30remove 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-29Fix gen-random-bout to build on FreeBSD.Gleb Popov
2019-04-12Fix handling of time in grafanaTimotej Kapus
2019-04-04klee-stats: add - to to-csv/grafana optionsFrank Busse
2019-04-04Add klee-stats test, fix microseconds bugTimotej Kapus
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-04Remove unused functionTimotej Kapus
2019-04-04Remove precisionTimotej Kapus
2019-04-04Remove compare-byTimotej Kapus
2019-04-04Remove sort-byTimotej Kapus
2019-04-04Remove unused -sample-interval optionTimotej Kapus
2019-04-04Remove linechart for klee-statsTimotej Kapus
2019-04-04Add add -grafana option to klee-statsTimotej Kapus
It starts a simple web server that acts as a simple JSON datasource for grafana
2019-04-04Change the .stats format into sqlite3Timotej Kapus
Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour.
2019-04-02Fix klee-replay tool on FreeBSD.Gleb Popov
2019-03-31Applied clang-format on tools/gen-random-bout/gen-random-bout.cppAndrew Santosa
2019-03-31Various updates to gen-random-bout.cppAndrew 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-21drop support for LLVM <= 3.7Julian Büning
2019-03-17Fix libc++ testcasesMartin 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-17Added libcxx flagLukas Wölfer
2019-03-15Hiding general (LLVM) options in klee --help !Cristian Cadar
2019-03-15Placed --max-time in the termination categoryCristian Cadar
2019-03-15Placed --exit-on-error, --max-tests and --watchdog in the termination categoryCristian Cadar
2019-03-15Renamed --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-13Hide the general category (with LLVM options) in Kleaver.Cristian Cadar
2019-03-13Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some ↵Cristian Cadar
reformatting)
2019-03-13Moved options in kleaver/main.cpp in either the constraint solving or the ↵Cristian Cadar
expression building/printing category
2019-03-13Renamed --warn-all-externals to --warn-all-external-symbols and placed it in ↵Cristian Cadar
the startup category
2019-03-13Renamed --no-output to --write-no-tests and placed it in the test case ↵Cristian Cadar
category (with --write-cov, --write-cvcs etc.)
2019-03-05ktest-tool: add --extract optionFrank Busse
2019-03-05Renamed "Starting options" to "Startup options" and added a missing space in ↵Cristian Cadar
a help message.
2018-12-19ktest-tool: move from optparse to argparse, add ouput/example sections to helpFrank Busse
2018-12-19Various fixes for ktest-toolFrank 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-19Added default values to option commentsMartinNowack
Co-Authored-By: ccadar <c.cadar@imperial.ac.uk>
2018-12-19Renamed --environ to --env-fileCristian Cadar
2018-12-19Renamed --stop-after-n-tests to --max-testsCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 05:34:19 +0000