From ab0887c0ce4f1dfdb5d25afbeea2d4f5ddb49743 Mon Sep 17 00:00:00 2001
From: Richard Yao <richard.yao@alumni.stonybrook.edu>
Date: Sun, 21 Jan 2024 12:26:22 -0500
Subject: [PATCH] Add CodeQL query to detect redundant assignments

Signed-off-by: Richard Yao <richard.yao@alumni.stonybrook.edu>
---
 .github/codeql-cpp.yml                                 |  5 +++++
 .github/codeql-python.yml                              |  4 ++++
 .github/codeql/custom-queries/cpp/qlpack.yml           |  4 ++++
 .../codeql/custom-queries/cpp/redundantAssignment.ql   | 10 ++++++++++
 .github/codeql/openzfs-code-scanning.qls               |  3 +++
 .github/workflows/codeql.yml                           |  1 +
 6 files changed, 27 insertions(+)
 create mode 100644 .github/codeql-cpp.yml
 create mode 100644 .github/codeql-python.yml
 create mode 100644 .github/codeql/custom-queries/cpp/qlpack.yml
 create mode 100644 .github/codeql/custom-queries/cpp/redundantAssignment.ql
 create mode 100644 .github/codeql/openzfs-code-scanning.qls

diff --git a/.github/codeql-cpp.yml b/.github/codeql-cpp.yml
new file mode 100644
index 000000000000..48e86cdc28a1
--- /dev/null
+++ b/.github/codeql-cpp.yml
@@ -0,0 +1,5 @@
+name: "Custom CodeQL Analysis"
+
+queries:
+  - uses: ./.github/codeql/custom-queries/cpp/redundantAssignment.ql
+  - uses: ./.github/codeql/openzfs-code-scanning.qls
diff --git a/.github/codeql-python.yml b/.github/codeql-python.yml
new file mode 100644
index 000000000000..93cb4a435ed9
--- /dev/null
+++ b/.github/codeql-python.yml
@@ -0,0 +1,4 @@
+name: "Custom CodeQL Analysis"
+
+paths-ignore:
+  - tests
diff --git a/.github/codeql/custom-queries/cpp/qlpack.yml b/.github/codeql/custom-queries/cpp/qlpack.yml
new file mode 100644
index 000000000000..cbe0f1cbe3c4
--- /dev/null
+++ b/.github/codeql/custom-queries/cpp/qlpack.yml
@@ -0,0 +1,4 @@
+name: openzfs-cpp-queries
+version: 0.0.0
+libraryPathDependencies: codeql-cpp
+suites: openzfs-cpp-suite
diff --git a/.github/codeql/custom-queries/cpp/redundantAssignment.ql b/.github/codeql/custom-queries/cpp/redundantAssignment.ql
new file mode 100644
index 000000000000..9b125bfc4dc3
--- /dev/null
+++ b/.github/codeql/custom-queries/cpp/redundantAssignment.ql
@@ -0,0 +1,10 @@
+import cpp
+
+from AssignExpr a1, AssignExpr a2
+where
+  a1.getLValue().(VariableAccess).getTarget().getName() = a2.getRValue().(VariableAccess).getTarget().getName() and
+  a2.getLValue().(VariableAccess).getTarget().getName() = a1.getRValue().(VariableAccess).getTarget().getName() and
+  a1.getBasicBlock().getASuccessor*() = a2.getBasicBlock() and
+  not a1.getLValue().getType().(VariableType).getQualifiers().hasSpecifier("volatile") and
+  not a2.getLValue().getType().(VariableType).getQualifiers().hasSpecifier("volatile")
+select a1, a2, "Mutual assignment detected"
diff --git a/.github/codeql/openzfs-code-scanning.qls b/.github/codeql/openzfs-code-scanning.qls
new file mode 100644
index 000000000000..c371ed848cf8
--- /dev/null
+++ b/.github/codeql/openzfs-code-scanning.qls
@@ -0,0 +1,3 @@
+# Reusing existing QL Pack
+- import: codeql-suites/cpp-code-scanning.qls
+  from: codeql-cpp
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 037f8aca0eaa..7ccfc1492564 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -29,6 +29,7 @@ jobs:
     - name: Initialize CodeQL
       uses: github/codeql-action/init@v2
       with:
+        config-file: .github/codeql-${{ matrix.language }}.yml
         languages: ${{ matrix.language }}
 
     - name: Autobuild