wasmtime / issue #3843 Fuzzing against verified fork of s... · git-wasmtime

To get this fuzzed on oss-fuzz we also need to update oss-fuzz's Dockerfile for wasmtime. I attempted a patch that adds libgmp-dev and then uses opam install for ocamlfind as well as zarith (and I had to tweak the CFLAGS for zarith to get it to compile right since it shouldn't use the default fuzzing flags since we're using the system compiler at the docker-image-build-time rather than the llvm compiler). When building wasmtime though I get:

error: failed to run custom build command for `wasm-spec-interpreter v0.1.0 (/src/wasmtime/crates/fuzzing/wasm-spec-interpreter)`

Caused by:
  process didn't exit successfully: `/src/wasmtime/target/release/build/wasm-spec-interpreter-2c2fa92e1c9017fb/build-script-build` (exit status: 101)
  --- stdout
  cargo:rerun-if-changed=ocaml/interpret.ml
  cargo:rerun-if-changed=ocaml/Makefile
  make -C spec/interpreter libopt
  make[1]: Entering directory '/src/wasmtime/crates/fuzzing/wasm-spec-interpreter/ocaml/spec/interpreter'
  ls binary/decode.ml binary/decode.mli binary/encode.ml binary/encode.mli binary/utf8.ml binary/utf8.mli exec/eval.ml exec/eval.mli exec/eval_num.ml exec/eval_num.mli exec/eval_vec.ml exec/eval_vec.mli exec/f32.ml exec/f32_convert.ml exec/f32_convert.mli exec/f64.ml exec/f64_convert.ml exec/f64_convert.mli exec/fxx.ml exec/i16.ml exec/i32.ml exec/i32_convert.ml exec/i32_convert.mli exec/i64.ml exec/i64_convert.ml exec/i64_convert.mli exec/i8.ml exec/ixx.ml exec/v128.ml exec/v128.mli host/env.ml host/spectest.ml host/spectest_isa.ml main/flags.ml main/main.ml runtime/func.ml runtime/func.mli runtime/global.ml runtime/global.mli runtime/instance.ml runtime/memory.ml runtime/memory.mli runtime/table.ml runtime/table.mli script/import.ml script/import.mli script/js.ml script/js.mli script/run.ml script/run.mli script/script.ml syntax/ast.ml syntax/free.ml syntax/free.mli syntax/operators.ml syntax/types.ml syntax/values.ml tests/smallint.ml text/arrange.ml text/arrange.mli text/lexer.mli text/lexer.mll text/parse.ml text/parse.mli text/parser.mly text/print.ml text/print.mli util/error.ml util/error.mli util/lib.ml util/lib.mli util/sexpr.ml util/sexpr.mli util/source.ml util/source.mli valid/valid.ml valid/valid.mli verified/WasmRef_Isa_m.ml verified_wrapper/ast_convert.ml verified_wrapper/f32Wrapper.ml verified_wrapper/f32Wrapper_convert.ml verified_wrapper/f64Wrapper.ml verified_wrapper/f64Wrapper_convert.ml verified_wrapper/i32Wrapper_convert.ml verified_wrapper/i64Wrapper_convert.ml verified_wrapper/implWrapper.ml verified_wrapper/implWrapperTypes.ml verified_wrapper/libAux.ml \
        | sed 's:\(.*/\)\{0,1\}\(.*\)\.[^\.]*:\2:' \
        | grep -v main \
        | sort | uniq \
        >wasm.mlpack
  echo >_tags "true: bin_annot"
  echo >>_tags "true: debug"
  echo >>_tags "true: optimize(classic)"
  echo >>_tags "<{util,syntax,binary,text,valid,runtime,exec,script,host,main,tests,verified,verified_wrapper}/*.cmx>: for-pack(Wasm)"
  ocamlbuild -use-ocamlfind -lexflags -ml -cflags '-w +a-3-4-8-11-20-26-27-32-39-42-44-45 -warn-error +a-3 -unboxed-types' -I util -I syntax -I binary -I text -I valid -I runtime -I exec -I script -I host -I main -I tests -I verified -I verified_wrapper -pkgs zarith -libs bigarray -quiet wasm.cmx

  + ocamlfind ocamlc -c -w +a-3-4-8-11-20-26-27-32-39-42-44-45 -warn-error +a-3 -unboxed-types -g -bin-annot -package zarith -I exec -I text -I binary -I runtime -I host -I util -I script -I verified_wrapper -I syntax -I valid -I verified -I main -I tests -o exec/fxx.cmo exec/fxx.ml
  File "exec/fxx.ml", line 1:
  Error (warning 70 [missing-mli]): Cannot find interface file.
  Command exited with code 2.
  rm wasm.mlpack _tags
  make[1]: Leaving directory '/src/wasmtime/crates/fuzzing/wasm-spec-interpreter/ocaml/spec/interpreter'

  --- stderr
  Cloning into 'ocaml/spec'...
  make[1]: *** [Makefile:101: _build/wasm.cmx] Error 10
  make: *** [Makefile:33: spec/interpreter/_build/wasm.cmxa] Error 2
  thread 'main' panicked at 'Failed to build the OCaml library using 'make'.', crates/fuzzing/wasm-spec-interpreter/build.rs:58:5
  note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

I'm not familiar enough with ocaml builds to know what's going on here, but @conrad-watt do you know what the error is here? If you'd like to reproduce locally you can check out https://github.com/google/oss-fuzz, apply the patch above, and then run python infra/helper.py build_fuzzers wasmtime

Stream: git-wasmtime

Topic: wasmtime / issue #3843 Fuzzing against verified fork of s...

Wasmtime GitHub notifications bot (Feb 23 2022 at 17:16):

Subscribe to Label Action

Wasmtime GitHub notifications bot (Feb 23 2022 at 18:21):

Wasmtime GitHub notifications bot (Mar 01 2022 at 12:08):

Wasmtime GitHub notifications bot (Mar 01 2022 at 15:09):

Wasmtime GitHub notifications bot (Mar 01 2022 at 16:27):

Wasmtime GitHub notifications bot (Mar 01 2022 at 16:31):

Wasmtime GitHub notifications bot (Mar 01 2022 at 16:32):

Wasmtime GitHub notifications bot (Mar 01 2022 at 20:57):

Wasmtime GitHub notifications bot (Mar 01 2022 at 21:10):

Wasmtime GitHub notifications bot (Mar 01 2022 at 21:11):

Wasmtime GitHub notifications bot (Mar 01 2022 at 21:12):

Wasmtime GitHub notifications bot (Mar 01 2022 at 23:22):

Wasmtime GitHub notifications bot (Mar 02 2022 at 17:06):

Wasmtime GitHub notifications bot (Mar 02 2022 at 17:41):

Wasmtime GitHub notifications bot (Mar 03 2022 at 16:25):

Wasmtime GitHub notifications bot (Mar 03 2022 at 16:35):

Wasmtime GitHub notifications bot (Mar 03 2022 at 16:45):

Wasmtime GitHub notifications bot (Mar 03 2022 at 16:47):

Wasmtime GitHub notifications bot (Mar 03 2022 at 16:50):

Wasmtime GitHub notifications bot (Mar 03 2022 at 16:53):