|
|
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 |
|
|
|
88c5c8a19f
|
feedback for aggregated traces
|
2024-05-06 16:00:11 +02:00 |
|
|
|
0393f18a47
|
add stg edge feedback
|
2024-05-06 14:46:35 +02:00 |
|
|
|
d93ed809f1
|
improve stg parsing
|
2024-05-03 13:28:15 +02:00 |
|
|
|
6774a778c3
|
add wip stg tracer
|
2024-04-23 16:53:55 +02:00 |
|
|
|
f26582ed75
|
un-hardcode rtos api functions
|
2024-04-03 10:19:37 +02:00 |
|
|
|
c013628017
|
fix scheduler for storage changes
|
2024-03-28 14:14:34 +01:00 |
|
