From 85f9ec6b9aa5d9892a5de97a2c133207d38dad2a Mon Sep 17 00:00:00 2001
From: iphydf <iphydf@users.noreply.github.com>
Date: Sat, 11 Dec 2021 23:07:42 +0000
Subject: [PATCH] chore: Add "infer" static analysis action on CI.

---
 .github/settings.yml     |  1 +
 .github/workflows/ci.yml | 73 +++++++++++++++++++++++++++++++++++++---
 2 files changed, 69 insertions(+), 5 deletions(-)

diff --git a/.github/settings.yml b/.github/settings.yml
index 24df2ed..4bee1d1 100644
--- a/.github/settings.yml
+++ b/.github/settings.yml
@@ -15,3 +15,4 @@ branches:
           - cirrus-ci
           - Codacy Static Code Analysis
           - code-review/reviewable
+          - infer
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 880a137..ac55813 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
-      - name: Install libraries
+      - name: Install dependencies
         run:
           sudo apt-get update &&
           sudo apt-get install -y --no-install-recommends
@@ -24,11 +24,9 @@ jobs:
             libqrencode-dev
             libsodium-dev
             libvpx-dev
+            libx11-dev
             python3-dev
-            pkg-config
-
-      - name: Install toxcore
-        run:
+            pkg-config &&
           git clone --depth=1 https://github.com/TokTok/c-toxcore &&
           cd c-toxcore &&
           cmake . -B_build -DBOOTSTRAP_DAEMON=OFF &&
@@ -38,3 +36,68 @@ jobs:
 
       - name: Build toxic
         run: make -j4
+
+  infer:
+    runs-on: ubuntu-latest
+    container: toxchat/infer
+    steps:
+      - name: Install git
+        run:
+          apt-get update &&
+          DEBIAN_FRONTEND=noninteractive
+          apt-get install -y --no-install-recommends
+            git
+      - name: Install dependencies
+        run:
+          apt-get update &&
+          apt-get install -y --no-install-recommends
+            cmake
+            g++
+            libalut-dev
+            libconfig-dev
+            libcurl4-gnutls-dev
+            libncurses-dev
+            libnotify-dev
+            libopenal-dev
+            libopus-dev
+            libqrencode-dev
+            libsodium-dev
+            libvpx-dev
+            libx11-dev
+            make
+            python3-dev
+            pkg-config &&
+          git clone --depth=1 https://github.com/TokTok/c-toxcore &&
+          cd c-toxcore &&
+          cmake . -B_build -DBOOTSTRAP_DAEMON=OFF &&
+          cd _build &&
+          make -j4 &&
+          make install
+      - uses: actions/checkout@v2
+
+      - name: Run infer
+        run:
+          infer --no-progress-bar -- cc src/*.c
+            -fsyntax-only
+            $(python3-config --includes --ldflags)
+            $(pkg-config --cflags --libs
+              freealut
+              libconfig
+              libcurl
+              libnotify
+              libpng
+              libqrencode
+              ncurses
+              openal
+              python3
+              toxcore
+              vpx
+              x11)
+            -DAUDIO
+            -DBOX_NOTIFY
+            -DGAMES
+            -DPACKAGE_DATADIR='""'
+            -DPYTHON
+            -DQRCODE
+            -DSOUND_NOTIFY
+            -DVIDEO