| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-03-01 | [klee-stats] Grafana: Limit number of entries to query for column names | Martin Nowack | |
| 2020-03-01 | [klee-stats] Use the last row inserted instead of the row with highest ↵ | Martin Nowack | |
| Instructions Last `Instructions` is not a good identifier to retrieve the correct row. For the default setup, KLEE will generate two entries with the same last instruction. One before clean-up and one after clean-up (i.e. if states are terminated on halt). Using `rowid` will select the last line. | |||
| 2020-03-01 | [klee-stats] Refactor preparing and printing the table | Martin Nowack | |
| The number and order of statistics in klee-stats is hard coded. Moreover, adding new statistics to KLEE lead to crashes. Rewriting that part of the script generalises and streamlines the process. List of changes: * Extend legend: this is used for known columns to provide shorter names * simplify sqlite handling and make it more robust and reading of data * select columns based on internal KLEE names * streamline addition of artificial columns and make it robust * handle the case if different runs should be compared but not all have the same statistics * fix calculation of summary row: - avg of column if column is showing a relative value or avg value - max of column if column is showing a max value - sum of column entries, else | |||
| 2020-03-01 | [klee-stats] Check for existence of stats file for Grafana as well | Martin Nowack | |
| 2020-03-01 | [klee-stats] Do not crash if tabulate is not installed but requested | Martin Nowack | |
| 2020-03-01 | [klee-stats] Refactor writing table into own function | Martin Nowack | |
| 2020-03-01 | [klee-stats] Refactor CSV printout in own function | Martin Nowack | |
| 2020-03-01 | [klee-stats] Check if stats file exist before trying to open it | Martin Nowack | |
| Providing a list of directories might sometimes not contain the stats file. Check its existence before trying to access it. | |||
| 2020-02-24 | Add leading zeros to genbout | Timotej Kapus | |
| 2020-01-17 | Add support to provid a specific host address and port for grafana server | Martin Nowack | |
| 2020-01-17 | Extended the grafana dashboard. | knm17 | |
| Added units for some of the data and modified klee-stats source code to provide solver time as a fraction of walltime along with fork, resolve and cexcache time. | |||
| 2020-01-17 | Fixed documentation for command line argument link-llvm-lib | Martin Nowack | |
| Currently, arbitrary *.bc files or archives containing .bc files (.bca or .a) can be linked using `--link-llvm-lib`. Change documentation of command line argument to make this clear. This feature is useful to keep avoid linking the bitcode libraries with the application as bitcode file in the first place. Fix error message in case library could not be loaded | |||
| 2019-11-07 | Allow main with 3 arguments | Cristian Cadar | |
| 2019-10-31 | support compilation against LLVM 9.0 | Julian Büning | |
| 2019-10-29 | [klee-replay] Fix relative executable paths | Timotej Kapus | |
| 2019-09-03 | Moved solver-related header files into a separate klee/Solver/ directory. | Cristian Cadar | |
| 2019-08-15 | replace fprintf with fputs/fputc | Frank Busse | |
| 2019-08-14 | Delete functions delete_file() and delete_dir() which are not needed now ↵ | Cristian Cadar | |
| that klee-replay creates a temporary directory for replay | |||
| 2019-08-14 | Replace sprintf with snprintf throughout codebase | Cristian Cadar | |
| 2019-08-14 | Create all files in the replay directory and chdir to this directory before ↵ | Cristian Cadar | |
| executing the program. | |||
| 2019-08-14 | Added an option to klee-replay to keep replay directory | Cristian Cadar | |
| 2019-08-14 | Cleaned 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-14 | Changed 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-08 | Read Klee's start time correctly in klee-stats | George 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-01 | gen(-random)-bout: add --bout-file flag | Frank Busse | |
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |