|
|
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 |
|
|
|
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 |
|
|
|
618b5eff7c
|
add micro_longint
|
2023-09-05 12:47:13 +02:00 |
|
|
|
17e0a2700e
|
fuzz multiple interrupts
|
2023-09-05 12:47:13 +02:00 |
|
|
|
882332392f
|
rework plotting
|
2023-09-05 12:47:13 +02:00 |
|
|
|
d0d19a1807
|
add interrupt fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
84d939675c
|
dump time for showmap
|
2023-09-05 12:47:13 +02:00 |
|
|
|
7fa900ac00
|
add plotting to snakefile
|
2023-09-05 12:47:13 +02:00 |
|
|
|
a56a172d35
|
add feed_longest to record random cases
|
2023-09-05 12:47:13 +02:00 |
|
|
|
60469425a9
|
plotting: respect types
|
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 |
|
|
|
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 |
|
|
|
f56f126e2a
|
add hists to plot script
|
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 |
|
|
|
d002fe39b7
|
debug stuff
|
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 |
|
|
|
d62f890727
|
ignore artifacts
|
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 |
|
