|
|
95be29d9b2
|
trace_abbs and dump path
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c70b950a55
|
add graph feedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
1420cd77aa
|
update input sizes, dump worstcase, benchmarking
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f8f81250db
|
remove address translations, extend plots
|
2023-09-05 12:47:13 +02:00 |
|
|
|
94730a1c86
|
speed up random generation
|
2023-09-05 12:47:13 +02:00 |
|
|
|
d0b58797b8
|
write out times over time
|
2023-09-05 12:47:13 +02:00 |
|
|
|
15db4e4ea5
|
add sytemstate sceduler, fuzz until time
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f9449511e8
|
re-add system state fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
9049c6debe
|
add virtual edge to longest runs
|
2023-09-05 12:47:13 +02:00 |
|
|
|
eb4ebabbe5
|
do not force generated inputs
|
2023-09-05 12:47:13 +02:00 |
|
|
|
386fb64c80
|
random seeds, better plots
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c72dddef2b
|
add more benchmarks
|
2023-09-05 12:47:13 +02:00 |
|
|
|
4ebb38a93c
|
exectime increase feedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f8494dd408
|
rename bin, allow random fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
b3d8ede840
|
benchmark with duration
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c623c45547
|
add benchmark scripts
|
2023-09-05 12:47:13 +02:00 |
|
|
|
5cf64e4458
|
add systemstate feature and dump times
|
2023-09-05 12:47:13 +02:00 |
|
|
|
144128a0b9
|
fix multicore build
|
2023-09-05 12:47:13 +02:00 |
|
|
|
4ec22bce5a
|
minimal changes
|
2023-09-05 12:47:13 +02:00 |
|
|
|
0b98092147
|
add interrupt injection
|
2023-09-05 12:47:13 +02:00 |
|
|
|
2d99da6879
|
input length and read input pointer
|
2023-09-05 12:47:13 +02:00 |
|
|
|
a47eded29c
|
draft: add graph feedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
74023cc90f
|
add TimeMaximizerCorpusScheduler
|
2023-09-05 12:47:13 +02:00 |
|
|
|
527bc590d2
|
add last api callsite to system state
|
2023-09-05 12:47:13 +02:00 |
|
|
|
b06dc711dc
|
WIP: add systemstate tracking
|
2023-09-05 12:47:13 +02:00 |
|
|
|
85cbaddfcd
|
add arguments
|
2023-09-05 12:47:13 +02:00 |
|
|
|
54b02fa4ad
|
get time from ClockTimeFeedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
802587bbad
|
fixup
|
2023-09-05 12:47:13 +02:00 |
|
|
|
3b9deadc77
|
WIP: port fret
|
2023-09-05 12:47:13 +02:00 |
|
