christoph/fail-targets
1
Fork 0
Code Releases Activity
31 Commits 1 Branch 0 Tags
1812cc404617daf0b8cd6e2c826dfc8663a90eaa
Commit Graph
31 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
christoph 1812cc4046 reformat 2026-02-05 17:56:46 +01:00
christoph 67dc7bcf54 remove test .elf 2026-01-25 20:50:35 +01:00
christoph 26a1390af9 add test .elf 2026-01-25 20:45:18 +01:00
christoph 13da6f6063 add resultbrowser make target 2026-01-18 21:16:01 +01:00
christoph ac45a34bed arch/bochs: update import-trace invocation 2026-01-18 19:49:11 +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
christoph 889de30df9 add fork notice to readme 2026-01-18 16:52:09 +01:00
Christian Dietrich 6d955623b0 riscv: use llvm-objdump-11 to import instructions 2021-11-03 09:37:47 +01:00
Christian Dietrich fda664bf4a Add Posix Target 2021-08-23 16:32:24 +02:00
Christian Dietrich f17065ede9 fix clean-% 2021-08-23 16:32:24 +02:00
Christian Dietrich 778c61ac0c add benchmark 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 a6cf7ce0bb Remove system headers 2014-10-22 13:17:48 +02:00
Christian Dietrich d1edb4fa3a Initial commit: Simple Injection Target 2014-10-22 11:23:15 +02:00