Rust: Add Rust SSA inconsistency infrastructure.

Author: geoffw0

rust/ql/consistency-queries/SsaConsistency.ql

@@ -1,3 +1,10 @@
-import codeql.rust.dataflow.Ssa
+/**
+ * @name Static single assignment inconsistencies
+ * @description Lists the static single assignment inconsistencies in the database.  This query is intended for internal use.
+ * @kind table
+ * @id rust/diagnostics/ssa-consistency
+ */
+
+ import codeql.rust.dataflow.Ssa
 import codeql.rust.dataflow.internal.SsaImpl
 import Consistency

rust/ql/integration-tests/hello-project/summary.expected

@@ -7,6 +7,7 @@
 | Inconsistencies - AST | 0 |
 | Inconsistencies - CFG | 0 |
 | Inconsistencies - Path resolution | 0 |
+| Inconsistencies - SSA | 0 |
 | Inconsistencies - data flow | 0 |
 | Lines of code extracted | 6 |
 | Lines of user code extracted | 6 |

rust/ql/integration-tests/hello-workspace/summary.cargo.expected

@@ -7,6 +7,7 @@
 | Inconsistencies - AST | 0 |
 | Inconsistencies - CFG | 0 |
 | Inconsistencies - Path resolution | 0 |
+| Inconsistencies - SSA | 0 |
 | Inconsistencies - data flow | 0 |
 | Lines of code extracted | 9 |
 | Lines of user code extracted | 9 |

rust/ql/integration-tests/hello-workspace/summary.rust-project.expected

@@ -7,6 +7,7 @@
 | Inconsistencies - AST | 0 |
 | Inconsistencies - CFG | 0 |
 | Inconsistencies - Path resolution | 0 |
+| Inconsistencies - SSA | 0 |
 | Inconsistencies - data flow | 0 |
 | Lines of code extracted | 9 |
 | Lines of user code extracted | 9 |

rust/ql/src/queries/diagnostics/SsaConsistencyCounts.ql

@@ -0,0 +1,14 @@
+/**
+ * @name Static single assignment inconsistency counts
+ * @description Counts the number of static single assignment inconsistencies of each type.  This query is intended for internal use.
+ * @kind diagnostic
+ * @id rust/diagnostics/ssa-consistency-counts
+ */
+
+ private import codeql.rust.dataflow.internal.SsaImpl as SsaImpl
+
+// see also `rust/diagnostics/ssa-consistency`, which lists the
+// individual inconsistency results.
+from string type, int num
+where num = SsaImpl::Consistency::getInconsistencyCounts(type)
+select type, num

rust/ql/src/queries/summary/Stats.qll

@@ -10,6 +10,7 @@ private import codeql.rust.internal.AstConsistency as AstConsistency
 private import codeql.rust.internal.PathResolutionConsistency as PathResolutionConsistency
 private import codeql.rust.controlflow.internal.CfgConsistency as CfgConsistency
 private import codeql.rust.dataflow.internal.DataFlowConsistency as DataFlowConsistency
+private import codeql.rust.dataflow.internal.SsaImpl as SsaImpl
 private import codeql.rust.Concepts
 private import codeql.rust.Diagnostics
 private import codeql.rust.security.SensitiveData
@@ -57,6 +58,13 @@ int getTotalCfgInconsistencies() {
   result = sum(string type | | CfgConsistency::getCfgInconsistencyCounts(type))
 }
 
+/**
+ * Gets a count of the total number of SSA inconsistencies in the database.
+ */
+int getTotalSsaInconsistencies() {
+  result = sum(string type | | SsaImpl::Consistency::getInconsistencyCounts(type))
+}
+
 /**
  * Gets a count of the total number of data flow inconsistencies in the database.
  */
@@ -142,6 +150,8 @@ predicate inconsistencyStats(string key, int value) {
   or
   key = "Inconsistencies - CFG" and value = getTotalCfgInconsistencies()
   or
+  key = "Inconsistencies - SSA" and value = getTotalSsaInconsistencies()
+  or
   key = "Inconsistencies - data flow" and value = getTotalDataFlowInconsistencies()
 }
 

rust/ql/test/query-tests/diagnostics/SsaConsistencyCounts.expected

@@ -0,0 +1 @@
+queries/diagnostics/SsaConsistencyCounts.ql

rust/ql/test/query-tests/diagnostics/SsaConsistencyCounts.qlref

@@ -7,6 +7,7 @@
 | Inconsistencies - AST | 0 |
 | Inconsistencies - CFG | 0 |
 | Inconsistencies - Path resolution | 0 |
+| Inconsistencies - SSA | 0 |
 | Inconsistencies - data flow | 0 |
 | Lines of code extracted | 60 |
 | Lines of user code extracted | 60 |

rust/ql/test/query-tests/diagnostics/SummaryStatsReduced.expected

@@ -1468,6 +1468,13 @@ module Make<LocationSig Location, InputSig<Location> Input> {
       inputRefs = count(BasicBlock bb, int i | AdjacentSsaRefs::adjacentRefPhi(bb, i, _, bbPhi, v)) and
       inputRefs < 2
     }
+
+    /**
+     * Gets counts of inconsistencies of each type.
+     */
+    int getInconsistencyCounts(string type) {
+      type = "" and result = 0
+    }
   }
 
   /** Provides the input to `DataFlowIntegration`. */