ci: include scripts/find-banned.sh

...to search for functions which have been banned from our code base,
because they're too easy to misuse, and even if used correctly,
complicate audits, cause inconsistencies and/or make static analysis
harder.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d78f0877a5db42b8e047f5389b649524211a9c48..beaffb14dd7ab633aff444613871182d30934523 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -18,6 +18,8 @@ jobs:
       - name: Code Style
         run: |
           ./scripts/check
+          make -C scripts/helper
+          ./scripts/find-banned.sh
   build:
     name: Build
     needs: codestyle

diff --git a/scripts/helper/.gitignore b/scripts/helper/.gitignore
new file mode 100644 (file)
index 0000000..3f09a20
--- /dev/null
+++ b/scripts/helper/.gitignore
@@ -0,0 +1,2 @@
+find-idents
+*.o