diff --git a/infra/base-images/base-runner-debug/Dockerfile b/infra/base-images/base-runner-debug/Dockerfile index c7c7daaec..0f1dbe1a1 100644 --- a/infra/base-images/base-runner-debug/Dockerfile +++ b/infra/base-images/base-runner-debug/Dockerfile @@ -15,4 +15,11 @@ ################################################################################ FROM gcr.io/oss-fuzz-base/base-runner -RUN apt-get update && apt-get install -y gdb valgrind zip +RUN apt-get update && apt-get install -y valgrind zip + +# Installing GDB 12, re https://github.com/google/oss-fuzz/issues/7513. +RUN apt-get install -y build-essential libgmp-dev && \ + wget https://ftp.gnu.org/gnu/gdb/gdb-12.1.tar.xz && \ + tar -xf gdb-12.1.tar.xz && cd gdb-12.1 && ./configure && \ + make && make install && cd .. && rm -rf gdb-12.1* && \ + apt-get remove --purge -y build-essential libgmp-dev