dav1d updates (#1883)

* dav1d: fetch seed corpus over https

* dav1d: use debugoptimized build instead of debug

* dav1d: add undefined behavior sanitizer

* dav1d: extend auto_cc list

projects/dav1d/Dockerfile

@@ -19,7 +19,7 @@ MAINTAINER janne-vlc@jannau.net
 RUN apt-get update && apt-get install -y curl python3-pip && \
     pip3 install meson ninja
 RUN curl --silent -O https://storage.googleapis.com/aom-test-data/fuzzer/dec_fuzzer_seed_corpus.zip
-RUN curl --silent -O http://jannau.net/dav1d_fuzzer_seed_corpus.zip
+RUN curl --silent -O https://jannau.net/dav1d_fuzzer_seed_corpus.zip
 RUN git clone --depth 1 https://code.videolan.org/videolan/dav1d.git dav1d
 WORKDIR dav1d
 COPY build.sh $SRC/

projects/dav1d/build.sh

@@ -24,7 +24,7 @@ mkdir -p ${build}
 
 # build library
 meson -Dbuild_asm=false -Dbuild_tools=false -Dbuild_tests=false   \
-      -Db_lundef=false -Ddefault_library=static -Dbuildtype=debug \
+      -Db_lundef=false -Ddefault_library=static -Dbuildtype=debugoptimized \
       ${build}
 ninja -j $(nproc) -C ${build}
 

projects/dav1d/project.yaml

@@ -2,8 +2,12 @@ homepage: "https://code.videolan.org/videolan/dav1d"
 primary_contact: "janne.grunau@gmail.com"
 auto_ccs:
   - "rsbultje@gmail.com"
+  - "kempfjb@gmail.com"
+  - "b@rr-dav.id.au"
+  - "twsmith@mozilla.com"
   - "dav1d-fuzz@videolan.org"
 sanitizers:
   - address
   - memory
+  - undefined
 experimental: True