|
|
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 |
|
|
|
3453d02b1d
|
fix fuzzing loop returning nothing
|
2024-05-03 13:28:49 +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 |
|
|
|
5648255542
|
fixup graph cycles
|
2023-12-22 12:57:51 +01:00 |
|
|
|
d179343a63
|
add delay list overflow
|
2023-12-22 12:57:51 +01:00 |
|
|
|
61ff3e3196
|
WIP: quick-fix for missing metadata
|
2023-12-22 12:57:49 +01:00 |
|
|
|
38e5767775
|
filter interrupt abbs
|
2023-12-22 12:56:54 +01:00 |
|
|
|
3fcb9a74e0
|
add graph printing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
4e18b8fdab
|
fix graph dump build
|
2023-12-22 12:56:54 +01:00 |
|
|
|
3a601fe250
|
hack async activation detection
|
2023-12-22 12:56:54 +01:00 |
|
|
|
bf42de5698
|
fix api regression
|
2023-12-22 12:56:54 +01:00 |
|
|
|
82908badfd
|
add simple iteration counter
|
2023-12-22 12:56:54 +01:00 |
|
|
|
086a575f44
|
add delay list to RefinedFreeRTOSSystemState
|
2023-12-22 12:56:54 +01:00 |
|
|
|
e31c01b2af
|
capture delay list
|
2023-12-22 12:56:54 +01:00 |
|
|
|
6dafc4f9d6
|
update to 0.11.1
|
2023-12-22 12:56:54 +01:00 |
|
|
|
92da68af6f
|
small build fixes
|
2023-12-22 12:56:54 +01:00 |
|
|
|
53ef9ae96e
|
port to libafl 0.10.1
|
2023-12-22 12:56:54 +01:00 |
|
|
|
900ce0bc92
|
remove dead code
|
2023-12-22 12:56:54 +01:00 |
|
