diff --git a/projects/wasmtime/Dockerfile b/projects/wasmtime/Dockerfile index a70765b01..a954d2d56 100644 --- a/projects/wasmtime/Dockerfile +++ b/projects/wasmtime/Dockerfile @@ -28,4 +28,4 @@ RUN git submodule update --init --recursive RUN git clone --depth 1 https://github.com/bytecodealliance/wasmtime-libfuzzer-corpus wasmtime-libfuzzer-corpus -COPY build.sh $SRC/ +COPY build.sh default.options $SRC/ diff --git a/projects/wasmtime/build.sh b/projects/wasmtime/build.sh index 82fbaace2..c62cdef8c 100755 --- a/projects/wasmtime/build.sh +++ b/projects/wasmtime/build.sh @@ -37,4 +37,5 @@ do FUZZ_TARGET_NAME=$(basename ${f%.*}) cp $FUZZ_TARGET_OUTPUT_DIR/$FUZZ_TARGET_NAME $OUT/ zip -jr $OUT/${FUZZ_TARGET_NAME}_seed_corpus.zip $PROJECT_DIR/wasmtime-libfuzzer-corpus/$FUZZ_TARGET_NAME/ + cp $SRC/default.options $OUT/$FUZZ_TARGET_NAME.options done diff --git a/projects/wasmtime/default.options b/projects/wasmtime/default.options new file mode 100644 index 000000000..83a8f238f --- /dev/null +++ b/projects/wasmtime/default.options @@ -0,0 +1,3 @@ +[asan] +allow_user_segv_handler=0 +handle_sigill=1