Fuzz specs argument for the fuzzer

package/version

@@ -1 +1 @@
-0.1.34
+0.1.35

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "skribe"
-version = "0.1.34"
+version = "0.1.35"
 description = "Property testing for Stylus smart contracts"
 readme = "README.md"
 requires-python = "~=3.10"

skribe-fuzz-rs/Cargo.toml

@@ -14,6 +14,7 @@ hex-literal = "1.1.0"
 kframework = { git = "https://github.com/runtimeverification/kframework-rs.git", rev = "1e7ee3a" }
 kframework_ffi = { git = "https://github.com/runtimeverification/kframework-rs.git", rev = "1e7ee3a" }
 libfuzzer-sys = "0.4"
+pico-args = "0.5.0"
 serde = "1.0.228"
 serde_json = "1.0.149"
 

skribe-fuzz-rs/fuzz/Cargo.toml

@@ -9,6 +9,7 @@ cargo-fuzz = true
 
 [dependencies]
 libfuzzer-sys.workspace = true
+pico-args = { workspace = true, features = ["eq-separator"] }
 
 [dependencies.skribe-fuzz-rs]
 path = ".."

skribe-fuzz-rs/fuzz/fuzz_targets/fuzz_target_1.rs

@@ -2,10 +2,25 @@
 
 use libfuzzer_sys::fuzz_target;
 
-use skribe_fuzz_rs::{kllvm, make_dv};
+use pico_args::Arguments;
+
+use skribe_fuzz_rs::{kllvm, fuzz_specs_from_json, make_dv};
 
 fuzz_target!( init: {
     kllvm::init();
+    let mut args = Arguments::from_env();
+
+    let fuzz_spec_file: Option<String> = args
+        // You must pass this option as `--fuzz-spec=<specfile>` with the
+        // equals sign, otherwise libfuzzer treats it as a positional argument
+        .opt_value_from_str("--fuzz-spec")
+        .unwrap();
+
+    if let Some(file) = fuzz_spec_file {
+        let contents = std::fs::read_to_string(file).unwrap();
+        let specs = fuzz_specs_from_json(&contents).unwrap();
+        println!("{:?}", specs);
+    }
 },
     |data: &[u8]| {
     let _ = make_dv();