Dockerfile: add static analysis tools

diff --git a/ci/Dockerfile b/ci/Dockerfile
index 5b3f53d3a77b713bba9ac5425204aae6ad954762..91f22323fbaab307d47355b2fd67233cf5d729f3 100644 (file)
--- a/ci/Dockerfile
+++ b/ci/Dockerfile
@@ -52,6 +52,9 @@ RUN mv /tmp/resolver-benchmarking/response_differences/respdiff /var/opt/respdif
 RUN pip3 install -r /tmp/resolver-benchmarking/requirements.txt
 RUN rm -rf /tmp/resolver-benchmarking
 
+# Python static analysis for respdiff
+RUN pip3 install mypy
+
 # Unbound for respdiff
 RUN apt-get install unbound unbound-anchor -y -qqq
 RUN printf "server:\n interface: 127.0.0.1@53535\n use-syslog: yes\nremote-control:\n control-enable: no\n" >> /etc/unbound/unbound.conf
@@ -68,4 +71,7 @@ RUN apt-get install -y -qqq lcov
 RUN luarocks install luacov
 
 # LuaJIT binary for stand-alone scripting
-RUN apt-get install -y -qqq luajit
\ No newline at end of file
+RUN apt-get install -y -qqq luajit
+
+# infer for static analysis
+RUN wget -q -O - https://github.com/facebook/infer/releases/download/v0.13.0/infer-linux64-v0.13.0.tar.xz | tar xJ && mv infer-linux64* /var/opt/infer