From 4e761aac655a639b48f797d48760c0a1b3dbd103 Mon Sep 17 00:00:00 2001
From: Romain BOULLARD <romain.boullard@protonmail.com>
Date: Thu, 29 Jan 2026 20:24:14 +0100
Subject: [PATCH] Include Infer

---
 Linux/CPPBuilder/Dockerfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Linux/CPPBuilder/Dockerfile b/Linux/CPPBuilder/Dockerfile
index 92a1061..b747daf 100644
--- a/Linux/CPPBuilder/Dockerfile
+++ b/Linux/CPPBuilder/Dockerfile
@@ -47,6 +47,11 @@ RUN apt-get update && apt-get install -y \
     # Reset ccache stats
     && ccache --zero-stats
 
+RUN VERSION=1.2.0; \
+    curl -sSL "https://github.com/facebook/infer/releases/download/v$VERSION/infer-linux64-v$VERSION.tar.xz" \
+    | sudo tar -C /opt -xJ && \
+    sudo ln -s "/opt/infer-linux64-v$VERSION/bin/infer" /usr/local/bin/infer
+
 # Install pipx and Conan
 RUN pipx ensurepath \
     && pipx install conan