From 4ebc39999334e06ee56502b4139ec1b246192c40 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Sat, 16 Aug 2025 07:55:07 +0000 Subject: [PATCH] AE++ --- AE.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/AE.md b/AE.md index 74e3a29..f3c6e8f 100644 --- a/AE.md +++ b/AE.md @@ -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