696 Commits

Author SHA1 Message Date
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
6b0c71660d igonre archives 2023-09-05 12:47:14 +02:00
faca6f31a4 eval script wrangeling 2023-09-05 12:47:14 +02:00
9ae4b89a18 HACK: interrupt limit for random fuzzing 2023-09-05 12:47:14 +02:00
af900c6c19 plot enpoints 2023-09-05 12:47:14 +02:00
c81471ae0d paralellize plots 2023-09-05 12:47:14 +02:00
9ce8bdd479 update plot script 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
0df52441e2 update snakefile 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
91c1e65872 allow plotting from remote mount 2023-09-05 12:47:14 +02:00
7849de07bb update snakefile 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
7389ac4e46 update target_symbols 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
169114a571 plot min and max lines 2023-09-05 12:47:14 +02:00
22329f6a38 plot lines instead of points 2023-09-05 12:47:13 +02:00
1f7ebb7e53 fixes 2023-09-05 12:47:13 +02:00
2822a9782e revert changes 2023-09-05 12:47:13 +02:00
55e985aa39 add generation based genetic testing 2023-09-05 12:47:13 +02:00
b50f38b4a9 snakefile: dump cases, fix random fuzzing 2023-09-05 12:47:13 +02:00
f988f46003 add a new scheduler for systemtraces 2023-09-05 12:47:13 +02:00
aceabd9d08 fix snakefile, symbols 2023-09-05 12:47:13 +02:00
44f4d11ac8 seed rng from SEED_RANDOM 2023-09-05 12:47:13 +02:00