use yara x::{Rules, Scanner};

fn main() {
  // Embed the crashing payload generated by the fuzzer at compile time.
  let serialized = include bytes!("crashing payload.bin");
  println!("Loaded embedded crashing payload, length: {}", serialized.len());

  // Deserialize. On unmodified library, this succeeds because the WASM and headers
  // are pristine and structural corruption isn't validated.
  if let Ok(deserialized) = Rules::deserialize(serialized) {
    println!("Deserialization succeeded! Running scanner...");
    let mut scanner = Scanner::new(&deserialized);
    
    // Run the standard scan, which will execute the WASM and trigger the out-of-bounds read!
    let  = scanner.scan(b"lorem ipsum dolor sit amet");
    println!("Scanner finished.");
  } else {
    println!("Deserialization failed!");
  }
}

$ cargo run --bin verify
Loaded embedded crashing payload, length: 11777
Deserialization succeeded! Running scanner...
Segmentation fault (core dumped)

Deserialization succeeded! Running scanner...

thread 'main' (997442) panicked at lib/src/compiler/rules.rs:404:36:
unsafe precondition(s) violated: slice::get unchecked requires that the index is within the slice

This indicates a bug in the program. This Undefined Behavior check is optional, and cannot be relied on for safety.
note: run with `RUST BACKTRACE=1` environment variable to display a backtrace