|
|
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 |
|
|
|
730fbcf6d4
|
fix capture in api calls
|
2024-03-27 15:24:44 +01:00 |
|
|
|
7e79f4051d
|
clean trace from ISRs without effect, prevent race-conditions
|
2024-03-09 13:41:26 +01:00 |
|
|
|
6793d48dbd
|
extract ABBs
|
2024-03-08 14:04:23 +01:00 |
|
|
|
a045b7bcd6
|
track api calls and isrs
|
2024-03-05 09:56:13 +01:00 |
|
|
|
5d9bcba0e6
|
break on all api functions
|
2024-02-26 08:40:07 +01:00 |
|
|
|
3817892ff1
|
Fix graph output formatting
|
2024-02-13 08:28:53 +01:00 |
|
|
|
beee8d8cb7
|
rewrite info dumps as macros
|
2024-02-08 10:08:25 +01:00 |
|
|
|
2ac7874895
|
fix build
|
2024-01-16 15:53:57 +01:00 |
|
|
|
fc331fc6d8
|
consolidate outputs
|
2023-12-22 12:57:51 +01:00 |
|
|
|
90cae14958
|
new cli
|
2023-12-22 12:57:51 +01:00 |
|
|
|
6e0b49bf9b
|
switch address data type, simplify synbol resolution
|
2023-12-22 12:57:51 +01:00 |
|
|
|
aba83dfb6f
|
minor fixes
|
2023-12-22 12:57:51 +01:00 |
|
