|
d1ce267147
|
consolidate outputs
|
2023-12-11 14:13:22 +01:00 |
|
|
a258b866b0
|
new cli
|
2023-12-08 16:07:56 +01:00 |
|
|
8b847e53a5
|
switch address data type, simplify synbol resolution
|
2023-12-08 11:15:25 +01:00 |
|
|
f666c014e1
|
minor fixes
|
2023-10-06 14:33:01 +02:00 |
|
|
38d887cf0a
|
fixup graph cycles
|
2023-10-04 10:25:08 +02:00 |
|
|
c332e6f6df
|
add delay list overflow
|
2023-10-02 15:35:18 +02:00 |
|
|
7a03d680e0
|
filter interrupt abbs
|
2023-09-25 12:34:00 +02:00 |
|
|
5c571848ad
|
add graph printing
|
2023-09-25 12:14:23 +02:00 |
|
|
02ed3c54b2
|
fix graph dump build
|
2023-09-25 12:04:47 +02:00 |
|
|
0da361e533
|
hack async activation detection
|
2023-09-18 16:49:28 +02:00 |
|
|
20fa90ea07
|
fix api regression
|
2023-09-18 16:48:57 +02:00 |
|
|
4f96b266c7
|
add simple iteration counter
|
2023-09-18 13:43:31 +02:00 |
|
|
dc443659d6
|
add delay list to RefinedFreeRTOSSystemState
|
2023-09-13 14:05:24 +02:00 |
|
|
4b813bd759
|
capture delay list
|
2023-09-13 13:15:21 +02:00 |
|
|
4280ac7aeb
|
update to 0.11.1
|
2023-09-05 15:33:42 +02:00 |
|
|
a5de28d083
|
small build fixes
|
2023-09-05 12:47:14 +02:00 |
|
|
201a076035
|
port to libafl 0.10.1
|
2023-09-05 12:47:14 +02:00 |
|
|
1480bc6066
|
remove dead code
|
2023-09-05 12:47:14 +02:00 |
|
|
9ae4b89a18
|
HACK: interrupt limit for random fuzzing
|
2023-09-05 12:47:14 +02:00 |
|
|
d316c1008b
|
tweak time outputs
|
2023-09-05 12:47:14 +02:00 |
|
|
7b13c70327
|
add run_until_saturation
|
2023-09-05 12:47:14 +02:00 |
|
|
11d465a924
|
fix empty iterator crash, restart
|
2023-09-05 12:47:14 +02:00 |
|
|
6fbe3b921a
|
set up configurations
|
2023-09-05 12:47:14 +02:00 |
|
|
49bc4a2f12
|
add missing use
|
2023-09-05 12:47:14 +02:00 |
|
|
4337832d53
|
randomize interrupts until wort
|
2023-09-05 12:47:14 +02:00 |
|
|
ea9b07cb2e
|
Test: remove pc from hash
|
2023-09-05 12:47:14 +02:00 |
|
|
bf65515f3d
|
Test: hash notification states
|
2023-09-05 12:47:14 +02:00 |
|
|
2f0040e225
|
small fixes
|
2023-09-05 12:47:14 +02:00 |
|
|
4107e77a3d
|
WIP: add simple interrupt time randomizer
|
2023-09-05 12:47:14 +02:00 |
|
|
e3d1dbd314
|
skip unchanged interrupts
|
2023-09-05 12:47:14 +02:00 |
|
|
02d968d7d0
|
fix staeg setup
|
2023-09-05 12:47:14 +02:00 |
|
|
a36bb2d5f7
|
fix use
|
2023-09-05 12:47:14 +02:00 |
|
|
b05cc31cdb
|
WIP: move interrupt mutation to new stage
|
2023-09-05 12:47:14 +02:00 |
|
|
77d5d1c055
|
wip: interrupt placement
|
2023-09-05 12:47:14 +02:00 |
|
|
713478b012
|
add interrupt mutator
|
2023-09-05 12:47:14 +02:00 |
|
|
1f7ebb7e53
|
fixes
|
2023-09-05 12:47:13 +02:00 |
|
|
55e985aa39
|
add generation based genetic testing
|
2023-09-05 12:47:13 +02:00 |
|
|
f988f46003
|
add a new scheduler for systemtraces
|
2023-09-05 12:47:13 +02:00 |
|
|
44f4d11ac8
|
seed rng from SEED_RANDOM
|
2023-09-05 12:47:13 +02:00 |
|
|
5c8994ce5b
|
determinism fixes, scheduler precision, restarts
|
2023-09-05 12:47:13 +02:00 |
|
|
0542c25b4a
|
switch to native breakpoints
|
2023-09-05 12:47:13 +02:00 |
|
|
62c4cbc1c1
|
fix interrupt config
|
2023-09-05 12:47:13 +02:00 |
|
|
6c28d7ce8b
|
fix rng seed
|
2023-09-05 12:47:13 +02:00 |
|
|
a7cc68c0e6
|
configure restarting manager
|
2023-09-05 12:47:13 +02:00 |
|
|
17e0a2700e
|
fuzz multiple interrupts
|
2023-09-05 12:47:13 +02:00 |
|
|
d0d19a1807
|
add interrupt fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
72d8a774ff
|
change feedback order
|
2023-09-05 12:47:13 +02:00 |
|
|
f918d0af71
|
fix build
|
2023-09-05 12:47:13 +02:00 |
|
|
6fbce0a8ee
|
fix feedbacks
|
2023-09-05 12:47:13 +02:00 |
|
|
34870517ef
|
benchmark using snakemake
|
2023-09-05 12:47:13 +02:00 |
|