From 99daee7b14941fab45cb3a596d49fd2ae0340a54 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Mon, 13 Mar 2023 14:45:21 +0100
Subject: [PATCH] seed rng from SEED_RANDOM

---
 fuzzers/FRET/benchmark/Snakefile | 2 +-
 fuzzers/FRET/src/fuzzer.rs       | 6 +++++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile
index f3f561e4ac..700a4d4193 100644
--- a/fuzzers/FRET/benchmark/Snakefile
+++ b/fuzzers/FRET/benchmark/Snakefile
@@ -97,7 +97,7 @@ rule run_bench:
                 export FUZZ_INPUT={fuzz_input}
                 export FUZZ_INPUT_LEN={fuzz_len}
                 export BREAKPOINT={bkp}
-                export SEED_RANDOM=1
+                export SEED_RANDOM={num}
                 export TIME_DUMP=$(pwd)/{output[0]}
                 export CASE_DUMP=$(pwd)/{output[2]}
                 export FUZZ_ITERS=10800
diff --git a/fuzzers/FRET/src/fuzzer.rs b/fuzzers/FRET/src/fuzzer.rs
index 5b72f53584..65984d6349 100644
--- a/fuzzers/FRET/src/fuzzer.rs
+++ b/fuzzers/FRET/src/fuzzer.rs
@@ -41,7 +41,7 @@ use crate::{
     qemustate::QemuStateRestoreHelper,
     systemstate::{helpers::QemuSystemStateHelper, observers::QemuSystemStateObserver, feedbacks::{DumpSystraceFeedback, NovelSystemStateFeedback}, graph::{SysMapFeedback, SysGraphFeedbackState, GraphMaximizerCorpusScheduler}}, worst::{TimeMaximizerCorpusScheduler, ExecTimeIncFeedback, TimeStateMaximizerCorpusScheduler},
 };
-pub const RNG_SEED: u64 = 1;
+pub static mut RNG_SEED: u64 = 1;
 
 pub const MAX_NUM_INTERRUPT: usize = 32;
 pub const DO_NUM_INTERRUPT: usize = 32;
@@ -161,6 +161,10 @@ pub fn fuzz() {
     }
     unsafe {dbg!(MAX_INPUT_SIZE);}
 
+    if let Ok(seed) = env::var("SEED_RANDOM") {
+        unsafe {RNG_SEED = str::parse::<u64>(&seed).expect("SEED_RANDOM must be an integer.");}
+    }
+
     let mut run_client = |state: Option<_>, mut mgr, _core_id| {
         // Initialize QEMU
         let args: Vec<String> = env::args().collect();