diff --git a/projects/hdf5/Dockerfile b/projects/hdf5/Dockerfile index 19002b536..7f4b9c570 100644 --- a/projects/hdf5/Dockerfile +++ b/projects/hdf5/Dockerfile @@ -19,4 +19,4 @@ RUN apt-get update && apt-get install -y make autoconf automake libtool \ pkg-config cmake zlib1g-dev RUN git clone --depth 1 https://github.com/HDFGroup/hdf5 WORKDIR hdf5 -COPY build.sh *.c $SRC/ +COPY build.sh *.c *.options $SRC/ diff --git a/projects/hdf5/build.sh b/projects/hdf5/build.sh index 90ca4d7a3..76aa5142f 100755 --- a/projects/hdf5/build.sh +++ b/projects/hdf5/build.sh @@ -48,3 +48,4 @@ $CC $CFLAGS -std=c99 -c \ $CXX $CXXFLAGS $LIB_FUZZING_ENGINE h5_extended_fuzzer.o ./build-dir/bin/libhdf5.a -lz -o $OUT/h5_extended_fuzzer zip -j $OUT/h5_extended_fuzzer_seed_corpus.zip $SRC/hdf5/test/*.h5 +cp $SRC/*.options $OUT/ diff --git a/projects/hdf5/h5_extended_fuzzer.options b/projects/hdf5/h5_extended_fuzzer.options new file mode 100644 index 000000000..f9d09656c --- /dev/null +++ b/projects/hdf5/h5_extended_fuzzer.options @@ -0,0 +1,2 @@ +[libfuzzer] +detect_leaks=0