|
|
c7bf1be8b1
|
target_symbols.csv++
|
2024-06-03 08:31:57 +02:00 |
|
|
|
21c97c8484
|
WIP: fix isr_starter
|
2024-05-21 00:22:50 +02:00 |
|
|
|
730fbcf6d4
|
fix capture in api calls
|
2024-03-27 15:24:44 +01:00 |
|
|
|
5d9bcba0e6
|
break on all api functions
|
2024-02-26 08:40:07 +01:00 |
|
|
|
fef550ecb6
|
update target_symbols
|
2023-12-22 12:56:54 +01:00 |
|
|
|
5db99e4e68
|
fix snakefile, symbols
|
2023-12-22 12:56:54 +01:00 |
|
|
|
7f6ef95496
|
add micro_longint
|
2023-12-22 12:56:54 +01:00 |
|
|
|
98328ae50f
|
fuzz multiple interrupts
|
2023-12-22 12:56:54 +01:00 |
|
|
|
0abb6a0d41
|
add interrupt fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
ba5c3c8037
|
benchmark using snakemake
|
2023-12-22 12:56:54 +01:00 |
|
|
|
fc355f5fd1
|
update input sizes, dump worstcase, benchmarking
|
2023-12-22 12:56:54 +01:00 |
|
|
|
5a2d75a317
|
remove address translations, extend plots
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f26eed2178
|
re-add system state fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
85718c1280
|
add virtual edge to longest runs
|
2023-12-22 12:56:54 +01:00 |
|
|
|
ea7edb2001
|
debug stuff
|
2023-12-22 12:56:54 +01:00 |
|
|
|
e70a816f49
|
add more benchmarks
|
2023-12-22 12:56:54 +01:00 |
|
|
|
1976150a45
|
exectime increase feedback
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f1552f95a0
|
rename bin, allow random fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
25e81498f5
|
add benchmark scripts
|
2023-12-22 12:56:54 +01:00 |
|
