|
|
915da3fb42
|
fix config
|
2024-05-22 22:27:04 +02:00 |
|
|
|
bde16f8297
|
scheduler, mutator changes
|
2024-05-22 21:54:07 +02:00 |
|
|
|
c533b7e184
|
change interrupt injection timing, stg scheduler
|
2024-05-22 13:52:13 +02:00 |
|
|
|
71ff7487e6
|
add feature dependencies
|
2024-05-21 18:48:46 +02:00 |
|
|
|
54fa7cce62
|
add edge filter
|
2024-05-21 18:47:12 +02:00 |
|
|
|
2886aafb65
|
remove dead code, restructure features
|
2024-05-21 16:06:53 +02:00 |
|
|
|
b9d6f41ac6
|
WIP: deprecate graph and use STG
|
2024-05-20 10:54:43 +02:00 |
|
|
|
88c5c8a19f
|
feedback for aggregated traces
|
2024-05-06 16:00:11 +02:00 |
|
|
|
90cae14958
|
new cli
|
2023-12-22 12:57:51 +01:00 |
|
|
|
82908badfd
|
add simple iteration counter
|
2023-12-22 12:56:54 +01:00 |
|
|
|
6dafc4f9d6
|
update to 0.11.1
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f2244c96b0
|
add run_until_saturation
|
2023-12-22 12:56:54 +01:00 |
|
|
|
884a19cf9d
|
set up configurations
|
2023-12-22 12:56:54 +01:00 |
|
|
|
8be9d9146a
|
add generation based genetic testing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f075988643
|
determinism fixes, scheduler precision, restarts
|
2023-12-22 12:56:54 +01:00 |
|
|
|
9ea825bbf9
|
configure restarting manager
|
2023-12-22 12:56:54 +01:00 |
|
|
|
0abb6a0d41
|
add interrupt fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
cfb8ebd0ad
|
fix feedbacks
|
2023-12-22 12:56:54 +01:00 |
|
|
|
96e79144c2
|
trace_abbs and dump path
|
2023-12-22 12:56:54 +01:00 |
|
|
|
7a3aaba0a3
|
add graph feedback
|
2023-12-22 12:56:54 +01:00 |
|
|
|
dcd899b789
|
speed up random generation
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f26eed2178
|
re-add system state fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
1976150a45
|
exectime increase feedback
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f1552f95a0
|
rename bin, allow random fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
fab1b1ef9f
|
add systemstate feature and dump times
|
2023-12-22 12:56:54 +01:00 |
|
|
|
b3416fe0c5
|
WIP: add systemstate tracking
|
2023-12-22 12:54:16 +01:00 |
|
|
|
66c4cb5316
|
add arguments
|
2023-12-22 12:54:16 +01:00 |
|
|
|
03fbe41dbb
|
WIP: port fret
|
2023-12-22 12:54:16 +01:00 |
|
