SYS-OSS/FRET
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

AE++

Browse Source
This commit is contained in:
Alwin Berger 2025-08-16 07:55:07 +00:00
parent eec116e128
commit 4ebc399993
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
AE.md
View File

@ -1,6 +1,6 @@
# FRET Artifact Evaluation
This document provides instructions for reproducing the experimental results from the paper "Dynamic Fuzzing-Based Whole-System Timing Analysis".
This document provides instructions for reproducing the experimental results from the paper ["Dynamic Fuzzing-Based Whole-System Timing Analysis"](https://sys-sideshow.cs.tu-dortmund.de/downloads/rtss25/paper.pdf).
## Description
@ -9,7 +9,7 @@ This document provides instructions for reproducing the experimental results fro
**Software Requirements**: Linux x86_64, Nix package manager
### Claims Supported by Artifact
If you run the benchmarks as described below, it will produce the following files, which correspond to figures in the paper.
If you run the benchmarks as described below, it will produce the following files, which correspond to figures in the paper ([link to the paper](https://sys-sideshow.cs.tu-dortmund.de/downloads/rtss25/paper.pdf)).
1. **Figure 3**: (Files: `sql_waters_seq_bytes`, `sql_polycopter_seq_dataflow_full`) This scenario is about mutating just input values. While multiple techniques find the worst case for both scenarios, FRET is the fastest to reach the maximum, particular in the second case. FRET also achieves the highest median result.
2. **Figure 4**: (Files: `sql_waters_seq_int`,`sql_release_seq_int`) This scenario is about mutating just interrupt times. While multiple techniques find the worst case for the second scenario, FRET achieves the highest response time on the first one.
@ -103,8 +103,9 @@ See [README.md](README.md) for reference.
### Manual Usage (Optional)
You can start using FRET manually. It requires the following inputs:
- **-k**: a FreeRTOS Kernel image
- **-c**: a csv file with configuration parameters per target kernel (LibAFL/fuzzers/FRET/benhcmark/target_symbols.csv)
- **-k**: a FreeRTOS Kernel image
- **-c**: a csv file with configuration parameters per target kernel (LibAFL/fuzzers/FRET/benhcmark/target_symbols.csv)
```bash
cd LibAFL/fuzzers/FRET