From a2ac45fa9a7715469ae6793edc21284dfcdff1fb Mon Sep 17 00:00:00 2001
From: Toby Murray <toby.murray@unimelb.edu.au>
Date: Tue, 10 Sep 2019 13:15:56 +1000
Subject: [PATCH] script for running their fuzzer

---
 run_fuzzer.sh | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100755 run_fuzzer.sh

diff --git a/run_fuzzer.sh b/run_fuzzer.sh
new file mode 100755
index 0000000..db5a746
--- /dev/null
+++ b/run_fuzzer.sh
@@ -0,0 +1,27 @@
+#!/bin/sh
+
+if [ ! -d fuzzer/ ]; then
+   echo "fuzzer/ directory not found here!"
+   exit 1
+fi
+   
+if [ ! -d tests/ ]; then
+    mkdir -p tests/
+fi
+
+cd fuzzer/
+javac Fuzzer.java
+
+NUMFUZZ=10
+FUZZER_OUTPUT=fuzz.txt
+i=0;
+while [ $i -lt $NUMFUZZ ]; do
+      rm -f ${FUZZER_OUTPUT}
+      java Fuzzer
+      if [ ! -f ${FUZZER_OUTPUT} ]; then
+          echo "Fuzzer did not produce output file ${FUZZER_OUTPUT}"
+          exit 1
+      fi
+      mv ${FUZZER_OUTPUT} ../tests/fuzz-$i.txt
+      let i=$i+1
+done
-- 
GitLab