|
|
35da9fdf24
|
HACK: interrupt limit for random fuzzing
|
2023-05-25 08:40:43 +02:00 |
|
|
|
253048e534
|
tweak time outputs
|
2023-05-10 09:25:22 +02:00 |
|
|
|
52cc00fedc
|
add run_until_saturation
|
2023-05-08 18:23:32 +02:00 |
|
|
|
a328ddfd5f
|
fix empty iterator crash, restart
|
2023-05-02 09:41:53 +02:00 |
|
|
|
6a042da5c1
|
set up configurations
|
2023-04-28 13:11:48 +02:00 |
|
|
|
2e20a22dc6
|
add missing use
|
2023-04-27 13:36:01 +02:00 |
|
|
|
bbc83ef6be
|
randomize interrupts until wort
|
2023-04-24 15:33:03 +02:00 |
|
|
|
48466ac2d7
|
Test: remove pc from hash
|
2023-04-24 12:52:29 +02:00 |
|
|
|
ad8cecdba4
|
Test: hash notification states
|
2023-04-24 12:51:09 +02:00 |
|
|
|
402eff7b47
|
small fixes
|
2023-04-21 17:22:22 +02:00 |
|
|
|
a8a6c175c8
|
WIP: add simple interrupt time randomizer
|
2023-04-21 17:11:18 +02:00 |
|
|
|
a3e38b6abb
|
skip unchanged interrupts
|
2023-04-20 16:50:23 +02:00 |
|
|
|
eb04325f09
|
fix staeg setup
|
2023-04-20 16:32:19 +02:00 |
|
|
|
cfb8fa2b32
|
fix use
|
2023-04-20 16:04:45 +02:00 |
|
|
|
2889e9bf61
|
WIP: move interrupt mutation to new stage
|
2023-04-20 15:50:22 +02:00 |
|
|
|
960764cf85
|
wip: interrupt placement
|
2023-04-17 17:33:21 +02:00 |
|
|
|
e6816cc2de
|
add interrupt mutator
|
2023-04-17 09:50:18 +02:00 |
|
|
|
6d920fd962
|
fixes
|
2023-03-21 16:58:44 +01:00 |
|
|
|
c628afaa81
|
add generation based genetic testing
|
2023-03-21 16:34:05 +01:00 |
|
|
|
6e8769907d
|
add a new scheduler for systemtraces
|
2023-03-16 16:13:16 +01:00 |
|
|
|
a05ff97d0c
|
seed rng from SEED_RANDOM
|
2023-03-13 14:45:21 +01:00 |
|
|
|
f09034b7fe
|
determinism fixes, scheduler precision, restarts
|
2023-03-13 14:43:58 +01:00 |
|
|
|
d118eeacbd
|
switch to native breakpoints
|
2023-03-13 12:19:24 +01:00 |
|
|
|
57fc441118
|
fix interrupt config
|
2023-03-09 17:21:26 +01:00 |
|
|
|
10b5fe8a74
|
fix rng seed
|
2023-03-09 10:53:40 +01:00 |
|
|
|
7f987b037d
|
configure restarting manager
|
2023-03-09 10:16:08 +01:00 |
|
|
|
3c586f5047
|
fuzz multiple interrupts
|
2023-03-02 15:30:53 +01:00 |
|
|
|
e0f73778e2
|
add interrupt fuzzing
|
2023-02-27 10:39:52 +01:00 |
|
|
|
7420aabeeb
|
change feedback order
|
2023-02-20 12:28:39 +01:00 |
|
|
|
d118ff0056
|
fix build
|
2023-02-19 19:25:43 +01:00 |
|
|
|
dfe4f713b9
|
fix feedbacks
|
2023-02-19 18:38:31 +01:00 |
|
|
|
f7a05d2a7c
|
benchmark using snakemake
|
2023-02-16 22:56:43 +01:00 |
|
|
|
2593bdf42f
|
trace_abbs and dump path
|
2023-02-15 09:17:48 +01:00 |
|
|
|
8c8ab7c44e
|
add graph feedback
|
2023-02-10 13:46:07 +01:00 |
|
|
|
9cadc5d61c
|
update input sizes, dump worstcase, benchmarking
|
2023-02-07 14:59:21 +01:00 |
|
|
|
594554eca0
|
remove address translations, extend plots
|
2023-01-26 14:03:18 +01:00 |
|
|
|
35435fbd97
|
speed up random generation
|
2023-01-25 16:14:17 +01:00 |
|
|
|
8fcc54bbdd
|
write out times over time
|
2023-01-25 14:55:04 +01:00 |
|
|
|
1f538f9834
|
add sytemstate sceduler, fuzz until time
|
2023-01-25 12:59:17 +01:00 |
|
|
|
ba01f600ee
|
re-add system state fuzzing
|
2023-01-24 09:11:45 +01:00 |
|
|
|
2cb479581d
|
add virtual edge to longest runs
|
2023-01-19 10:33:13 +01:00 |
|
|
|
1fbf948478
|
do not force generated inputs
|
2023-01-17 10:26:27 +01:00 |
|
|
|
8d31196614
|
random seeds, better plots
|
2023-01-17 10:01:15 +01:00 |
|
|
|
4c90144db5
|
add more benchmarks
|
2023-01-13 16:05:43 +01:00 |
|
|
|
eeaf7eb43f
|
exectime increase feedback
|
2023-01-11 16:09:06 +01:00 |
|
|
|
68c4887dad
|
rename bin, allow random fuzzing
|
2023-01-09 13:53:32 +01:00 |
|
|
|
7ca2d43f3d
|
benchmark with duration
|
2023-01-09 12:39:51 +01:00 |
|
|
|
9f97852e4a
|
add benchmark scripts
|
2023-01-09 12:39:35 +01:00 |
|
|
|
f4e1990387
|
add systemstate feature and dump times
|
2023-01-05 17:34:53 +01:00 |
|
|
|
d936234976
|
fix multicore build
|
2023-01-05 13:35:51 +01:00 |
|
