AE results; migrate orgs

This commit is contained in:
Alwin Berger 2025-09-26 16:06:37 +00:00
parent a3707931ba
commit 0217d9ab78
4 changed files with 19 additions and 7 deletions

6
.gitmodules vendored
View File

@ -1,10 +1,10 @@
[submodule "LibAFL"]
path = LibAFL
url = https://git.cs.tu-dortmund.de/alwin.berger/FRET-LibAFL.git
url = https://git.cs.tu-dortmund.de/SYS-OSS/FRET-LibAFL.git
[submodule "qemu-libafl-bridge"]
path = qemu-libafl-bridge
url = https://git.cs.tu-dortmund.de/alwin.berger/FRET-qemu.git
url = https://git.cs.tu-dortmund.de/SYS-OSS/FRET-qemu.git
[submodule "FreeRTOS"]
path = FreeRTOS
url = https://git.cs.tu-dortmund.de/alwin.berger/FRET-FreeRTOS.git
url = https://git.cs.tu-dortmund.de/SYS-OSS/FRET-FreeRTOS.git
branch = wcet-demo

View File

@ -0,0 +1,8 @@
@inproceedings{
berger2025dynamic,
title={Dynamic Fuzzing-Based Whole-System Timing Analysis},
author={Alwin Berger and Simon Schuster and Peter W{\"a}gemann and Peter Ulbrich},
booktitle={The 46th IEEE Real-Time Systems Symposium, Artifact Evaluation},
year={2025},
url={https://openreview.net/forum?id=LlBXyI12R8}
}

View File

@ -34,7 +34,7 @@ Download our ready-made VM image from [https://sys-sideshow.cs.tu-dortmund.de/do
1. Clone the repository:
```bash
git clone https://git.cs.tu-dortmund.de/alwin.berger/FRET
git clone https://git.cs.tu-dortmund.de/SYS-OSS/FRET
cd FRET
git checkout RTSS25-AE
git submodule update --init
@ -118,9 +118,13 @@ mkdir -p $TMPDIR
export DUMP=$(mktemp -d)
dd if=/dev/random of=$DUMP/input bs=8K count=1
# fuzz for 10 seconds
cargo run -- -k benchmark/build/waters_seq_full.elf -c benchmark/target_symbols.csv -n $DUMP/output -ta fuzz -t 10 --seed 123456
cargo run -- -k benchmark/build/waters_seq_full.elf \
-c benchmark/target_symbols.csv \
-n $DUMP/output -ta fuzz -t 10 --seed 123456
# Produce a trace for the worst case found
cargo run -- -k benchmark/build/waters_seq_full.elf -c benchmark/target_symbols.csv -n $DUMP/show -trg showmap -i $DUMP/output.case
cargo run -- -k benchmark/build/waters_seq_full.elf \
-c benchmark/target_symbols.csv \
-n $DUMP/show -trg showmap -i $DUMP/output.case
# plot the result
gantt_driver $DUMP/show.trace.ron
# view the gantt chart
@ -232,4 +236,4 @@ For questions about the artifact or issues during evaluation, please contact:
## License
This artifact is provided under Apache License Version 2.0.
This artifact is provided under Apache License Version 2.0.

Binary file not shown.