22 Commits
Author SHA1 Message Date
christoph 13da6f6063 add resultbrowser make target 2026-01-18 21:16:01 +01:00
christoph 56e2c9e39d update dump-trace path 2026-01-18 19:19:22 +01:00
christoph f44de98b7e update paths to fail binaries 2026-01-18 18:48:17 +01:00
Christian Dietrich fda664bf4a Add Posix Target 2021-08-23 16:32:24 +02:00
Christian Dietrich b60865d8c3 AVR: Add support for FAIL/SAIL AVR 2021-08-18 15:51:25 +02:00
Christian Dietrich ed94692a08 Better Docker environment 2021-08-17 12:47:26 +02:00
Christian Dietrich cba1c2a510 trace: use full-trace when possible
If the fail-client was compiled with our modified, register-tracing,
sail compiler, the full trace will also record register R/W events.
Therefore, we also try to import the memory-type 'register'.
2021-08-17 12:41:27 +02:00
Christian Dietrich 77f7526a6e Multi-Arch Support: We support IA-32, RISCV-32, and RISCV-64 2021-08-16 16:15:49 +02:00
Christian Dietrich a3fa6ea4ab towards multi-arch 2021-08-16 10:59:38 +02:00
Christian Dietrich 39c0e0681e Order Results 2021-01-26 16:55:46 +01:00
Christian Dietrich 98a0f70f1f import-jump... 2021-01-19 10:58:42 +01:00
Christian Dietrich 4e38acc05e Update Makefile to current generic-experiment options 2020-12-15 10:11:41 +01:00
Christian Dietrich 8ae363d559 Fixed SQL statement 2014-11-03 12:42:05 +01:00
Christian Dietrich e2a04fd202 Add more documentation to Makefile 2014-10-22 19:51:56 +02:00
Christian Dietrich e8cc987186 Makefile: overwrite pilots in all cases 2014-10-22 19:02:47 +02:00
Christian Dietrich 3e5bbdd6db Makefile: added some result browsing commands 2014-10-22 19:02:02 +02:00
Christian Dietrich b124664aa6 main.c: application contains at least one write instruction 2014-10-22 16:09:03 +02:00
Christian DietrichandYour Name 520e7937a9 Correctly call prune-trace 2014-10-22 12:16:25 +00:00
Christian DietrichandYour Name eb7e7e5e7b Undo deletion 2014-10-22 11:49:48 +00:00
Christian Dietrich 7f20234da8 Fix invocation of fail-x86-tracing 2014-10-22 11:42:46 +00:00
Christian Dietrich 6b7c5dd88d Added Bochs BIOS/vgabios.bin 2014-10-22 13:31:31 +02:00
Christian Dietrich d1edb4fa3a Initial commit: Simple Injection Target 2014-10-22 11:23:15 +02:00