add honggfuzz target

Makefile

@@ -19,6 +19,7 @@ install-deps:
 	cargo install cargo-fuzz
 	cargo install cargo-afl
 	cargo install cargo-binutils
+	cargo install honggfuzz
 
 clean:
 	cargo clean

fuzz/.gitignore

@@ -3,3 +3,5 @@ corpus
 artifacts
 coverage
 afl
+hfuzz_target
+hfuzz_workspace

fuzz/Cargo.toml

@@ -8,6 +8,7 @@ edition = "2021"
 cargo-fuzz = true
 
 [dependencies]
+honggfuzz = "0.5"
 afl = "*"
 arbitrary = { workspace = true }
 libfuzzer-sys = "0.4.7"
@@ -42,3 +43,10 @@ path = "fuzz_targets/opt_noopt.rs"
 test = false
 doc = false
 bench = false
+
+[[bin]]
+name = "hfuzz-v1v2"
+path = "fuzz_targets/hfuzz_v1v2.rs"
+test = false
+doc = false
+bench = false

fuzz/fuzz_targets/hfuzz_v1v2.rs

@@ -0,0 +1,49 @@
+use arbitrary::Unstructured;
+use honggfuzz::fuzz;
+use move_smith::{
+    config::Config,
+    execution::{
+        transactional::{
+            CommonRunConfig, TransactionalExecutor, TransactionalInputBuilder, TransactionalResult,
+        },
+        ExecutionManager,
+    },
+    CodeGenerator, MoveSmith,
+};
+use once_cell::sync::Lazy;
+use std::{env, path::PathBuf, sync::Mutex};
+
+static CONFIG: Lazy<Config> = Lazy::new(|| {
+    let config_path =
+        env::var("MOVE_SMITH_CONFIG").unwrap_or_else(|_| "MoveSmith.toml".to_string());
+    let config_path = PathBuf::from(config_path);
+    Config::from_toml_file_or_default(&config_path)
+});
+
+static RUNNER: Lazy<Mutex<ExecutionManager<TransactionalResult, TransactionalExecutor>>> =
+    Lazy::new(|| {
+        Mutex::new(ExecutionManager::<TransactionalResult, TransactionalExecutor>::default())
+    });
+
+fn main() {
+    loop {
+        fuzz!(|data: &[u8]| {
+            let u = &mut Unstructured::new(data);
+            let mut smith = MoveSmith::new(&CONFIG.generation);
+            match smith.generate(u) {
+                Ok(()) => (),
+                Err(_) => return,
+            };
+            let code = smith.get_compile_unit().emit_code();
+            let mut input_builder = TransactionalInputBuilder::new();
+            let input = input_builder
+                .set_code(&code)
+                .with_common_runs(&CommonRunConfig::V1V2Comparison)
+                .build();
+            let bug = RUNNER.lock().unwrap().execute_check_new_bug(&input);
+            if bug.unwrap() {
+                panic!("Found bug")
+            }
+        });
+    }
+}