Rust: Add expressions with unknown type metric (expected by DCA).

Author: geoffw0

rust/ql/src/queries/telemetry/DatabaseQuality.qll

@@ -6,6 +6,7 @@
 
 import rust
 import codeql.util.ReportStats
+import codeql.rust.internal.TypeInference as TypeInference
 
 module CallTargetStats implements StatsSig {
   int getNumberOfOk() { result = count(CallExprBase c | exists(c.getStaticTarget())) }
@@ -41,6 +42,20 @@ module MacroCallTargetStats implements StatsSig {
   string getNotOkText() { result = "macro calls with missing call target" }
 }
 
+private predicate hasGoodType(Expr e) { exists(TypeInference::inferType(e, _)) }
+
+module ExprTypeStats implements StatsSig {
+  int getNumberOfOk() { result = count(Expr e | e.fromSource() and hasGoodType(e)) }
+
+  int getNumberOfNotOk() { result = count(Expr e | e.fromSource() and not hasGoodType(e)) }
+
+  string getOkText() { result = "expressions with known type" }
+
+  string getNotOkText() { result = "expressions with unknown type" }
+}
+
 module CallTargetStatsReport = ReportStats<CallTargetStats>;
 
 module MacroCallTargetStatsReport = ReportStats<MacroCallTargetStats>;
+
+module ExprTypeStatsReport = ReportStats<ExprTypeStats>;

rust/ql/src/queries/telemetry/ExtractorInformation.ql

@@ -54,7 +54,10 @@ where
     CallTargetStatsReport::percentageOfOk(key, value) or
     MacroCallTargetStatsReport::numberOfOk(key, value) or
     MacroCallTargetStatsReport::numberOfNotOk(key, value) or
-    MacroCallTargetStatsReport::percentageOfOk(key, value)
+    MacroCallTargetStatsReport::percentageOfOk(key, value) or
+    ExprTypeStatsReport::numberOfOk(key, value) or
+    ExprTypeStatsReport::numberOfNotOk(key, value) or
+    ExprTypeStatsReport::percentageOfOk(key, value)
   ) and
   /* Infinity */
   value != 1.0 / 0.0 and