diff --git a/.gitmodules b/.gitmodules index 3883587..3a31ecf 100644 --- a/.gitmodules +++ b/.gitmodules @@ -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 diff --git a/artifact-evaluation/ae.bib b/artifact-evaluation/ae.bib new file mode 100644 index 0000000..441085d --- /dev/null +++ b/artifact-evaluation/ae.bib @@ -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} +} diff --git a/AE.md b/artifact-evaluation/artifact-eval.md similarity index 95% rename from AE.md rename to artifact-evaluation/artifact-eval.md index 1adb2a5..e98218c 100644 --- a/AE.md +++ b/artifact-evaluation/artifact-eval.md @@ -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. \ No newline at end of file +This artifact is provided under Apache License Version 2.0. diff --git a/artifact-evaluation/artifact-eval.pdf b/artifact-evaluation/artifact-eval.pdf new file mode 100644 index 0000000..de67197 Binary files /dev/null and b/artifact-evaluation/artifact-eval.pdf differ