|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
e9f2792488
|
igonre archives
|
2023-12-22 12:56:54 +01:00 |
|
|
|
2d70cff21e
|
eval script wrangeling
|
2023-12-22 12:56:54 +01:00 |
|
|
|
5ddb7192ba
|
HACK: interrupt limit for random fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
711fd36200
|
plot enpoints
|
2023-12-22 12:56:54 +01:00 |
|
|
|
81cbddc1be
|
paralellize plots
|
2023-12-22 12:56:54 +01:00 |
|
|
|
8c6f8c861f
|
update plot script
|
2023-12-22 12:56:54 +01:00 |
|
|
|
47d7ff3c48
|
tweak time outputs
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f2244c96b0
|
add run_until_saturation
|
2023-12-22 12:56:54 +01:00 |
|
|
|
a970954a40
|
update snakefile
|
2023-12-22 12:56:54 +01:00 |
|
|
|
db6df36110
|
fix empty iterator crash, restart
|
2023-12-22 12:56:54 +01:00 |
|
|
|
884a19cf9d
|
set up configurations
|
2023-12-22 12:56:54 +01:00 |
|
|
|
e130155204
|
add missing use
|
2023-12-22 12:56:54 +01:00 |
|
