|
|
920a996d95
|
multipart seed reading
|
2024-08-14 08:42:33 +02:00 |
|
|
|
3db17ceb98
|
WIP: store memory reads
|
2024-08-12 15:31:56 +02:00 |
|
|
|
05c17d3159
|
report state space exporation
|
2024-08-12 12:07:31 +02:00 |
|
|
|
f8d9363e7e
|
update snakefile
|
2024-08-04 09:46:39 +02:00 |
|
|
|
ade004cffb
|
update targets
|
2024-08-04 09:40:53 +02:00 |
|
|
|
0e5bf879e4
|
fix try_force_new_branches
|
2024-07-04 12:49:09 +02:00 |
|
|
|
d569df29a3
|
build fixes
|
2024-07-02 09:34:56 +02:00 |
|
|
|
47724ad1c3
|
stg try_force_new_branches
|
2024-07-02 09:34:35 +02:00 |
|
|
|
810ec36115
|
refactor
|
2024-07-01 13:28:38 +02:00 |
|
|
|
77799f77a9
|
move cli parsing, use multibyteinput
|
2024-06-28 14:38:25 +02:00 |
|
|
|
acf9b04e70
|
remove unused code
|
2024-06-20 13:25:21 +02:00 |
|
|
|
6cb2be4408
|
add TimeProbMassScheduler
|
2024-06-20 10:15:01 +02:00 |
|
|
|
3a7c0da037
|
fast snapshots by default
|
2024-06-19 14:22:12 +02:00 |
|
|
|
5fad373199
|
update to 0.13.0 API
|
2024-06-19 13:30:36 +02:00 |
|
|
|
a7becb403e
|
update helper scripts
|
2024-06-17 10:31:48 +02:00 |
|
|
|
5e29f4b909
|
always dump error case during fuzzing
|
2024-06-14 14:00:09 +02:00 |
|
|
|
1146c2c1e5
|
two-way isr edges, graceful parsing error handling
|
2024-06-14 13:56:36 +02:00 |
|
|
|
69d0c6f9bb
|
build fix
|
2024-06-06 14:50:02 +02:00 |
|
|
|
b9e388d9d5
|
timeshift variable, handle nested isr+api, bump max_interrupts
|
2024-06-06 14:39:45 +02:00 |
|
|
|
c7bf1be8b1
|
target_symbols.csv++
|
2024-06-03 08:31:57 +02:00 |
|
|
|
2cbd9de2eb
|
change interrupt mutation
|
2024-05-29 15:49:52 +02:00 |
|
|
|
4c8a435cfd
|
fix corpuscase dump
|
2024-05-29 12:32:34 +02:00 |
|
|
|
35c99fba3a
|
increase max abb count
|
2024-05-23 16:44:56 +02:00 |
|
|
|
ffedc1fd41
|
revert changes to interrupt injection
|
2024-05-23 10:28:34 +02:00 |
|
|
|
7701fff969
|
config fix
|
2024-05-23 10:25:23 +02:00 |
|
|
|
de5c16e601
|
plot micro fixes
|
2024-05-23 10:16:28 +02:00 |
|
|
|
83e9a29d12
|
skip dumping every trace
|
2024-05-23 10:15:25 +02:00 |
|
|
|
35716cc4be
|
fix initial corpus
|
2024-05-22 22:36:00 +02:00 |
|
|
|
915da3fb42
|
fix config
|
2024-05-22 22:27:04 +02:00 |
|
|
|
5901e3d9c5
|
prioritize long tarces
|
2024-05-22 22:18:56 +02:00 |
|
|
|
bde16f8297
|
scheduler, mutator changes
|
2024-05-22 21:54:07 +02:00 |
|
|
|
c533b7e184
|
change interrupt injection timing, stg scheduler
|
2024-05-22 13:52:13 +02:00 |
|
|
|
5342812cf7
|
build fixes
|
2024-05-21 18:50:55 +02:00 |
|
|
|
71ff7487e6
|
add feature dependencies
|
2024-05-21 18:48:46 +02:00 |
|
|
|
54fa7cce62
|
add edge filter
|
2024-05-21 18:47:12 +02:00 |
|
|
|
b9b6e1fc12
|
fix snakefile
|
2024-05-21 18:33:15 +02:00 |
|
|
|
e9c27b3065
|
fixes timing, scheduler
|
2024-05-21 18:24:23 +02:00 |
|
|
|
2886aafb65
|
remove dead code, restructure features
|
2024-05-21 16:06:53 +02:00 |
|
|
|
3ed8ccd0c7
|
exclude QemuSystemStateObserver when not needed
|
2024-05-21 13:03:55 +02:00 |
|
|
|
7d8717ff15
|
remove shortcut cases and assertions from state
|
2024-05-21 12:59:56 +02:00 |
|
|
|
87ddf4a77d
|
work around rare non-started abbs
|
2024-05-21 12:43:03 +02:00 |
|
|
|
3444fdd8ec
|
fix interrupt shifter, isr tracer
|
2024-05-21 12:32:00 +02:00 |
|
|
|
f13412c175
|
fix interrupt shifter
|
2024-05-21 09:03:11 +02:00 |
|
|
|
ede6cf48a4
|
fix build
|
2024-05-21 01:57:23 +02:00 |
|
|
|
5edb6e5677
|
fix snakefile
|
2024-05-21 01:51:54 +02:00 |
|
|
|
21c97c8484
|
WIP: fix isr_starter
|
2024-05-21 00:22:50 +02:00 |
|
|
|
b9d6f41ac6
|
WIP: deprecate graph and use STG
|
2024-05-20 10:54:43 +02:00 |
|
|
|
8f652f754c
|
WIP: complet rework of STG
|
2024-05-17 15:57:44 +02:00 |
|
|
|
ba3850cf4d
|
remove stg feedback from systemstate flag
|
2024-05-08 12:49:40 +02:00 |
|
|
|
3f9a2ed6c0
|
trace executed abbs, instead of states
|
2024-05-08 12:30:10 +02:00 |
|
