github
diff --git a/‎rust/ql/lib/codeql/rust/dataflow/internal/DataFlowConsistency.qll
Copy file name to clipboardExpand all lines: rust/ql/lib/codeql/rust/dataflow/internal/DataFlowConsistency.qll
+22Lines changed: 22 additions & 0 deletions b/‎rust/ql/lib/codeql/rust/dataflow/internal/DataFlowConsistency.qll
Copy file name to clipboardExpand all lines: rust/ql/lib/codeql/rust/dataflow/internal/DataFlowConsistency.qll
+22Lines changed: 22 additions & 0 deletions
diff --git a/‎rust/ql/lib/codeql/rust/elements/internal/AddressableImpl.qll
Copy file name to clipboardExpand all lines: rust/ql/lib/codeql/rust/elements/internal/AddressableImpl.qll
+33-2Lines changed: 33 additions & 2 deletions b/‎rust/ql/lib/codeql/rust/elements/internal/AddressableImpl.qll
Copy file name to clipboardExpand all lines: rust/ql/lib/codeql/rust/elements/internal/AddressableImpl.qll
+33-2Lines changed: 33 additions & 2 deletions
diff --git a/‎rust/ql/lib/codeql/rust/frameworks/stdlib/Stdlib.qll
Copy file name to clipboardExpand all lines: rust/ql/lib/codeql/rust/frameworks/stdlib/Stdlib.qll
+2-20Lines changed: 2 additions & 20 deletions b/‎rust/ql/lib/codeql/rust/frameworks/stdlib/Stdlib.qll
Copy file name to clipboardExpand all lines: rust/ql/lib/codeql/rust/frameworks/stdlib/Stdlib.qll
+2-20Lines changed: 2 additions & 20 deletions
@@ -29,3 +29,25 @@ private module Input implements InputSig<Location, RustDataFlow> {
 }
 
 import MakeConsistency<Location, RustDataFlow, RustTaintTracking, Input>
+private import codeql.rust.dataflow.internal.ModelsAsData
+
+query predicate missingMadSummaryCanonicalPath(string crate, string path, Addressable a) {
+  summaryModel(crate, path, _, _, _, _, _) and
+  a.getCrateOrigin() = crate and
+  a.getExtendedCanonicalPath() = path and
+  not exists(a.getCanonicalPath())
+}
+
+query predicate missingMadSourceCanonicalPath(string crate, string path, Addressable a) {
+  sourceModel(crate, path, _, _, _, _) and
+  a.getCrateOrigin() = crate and
+  a.getExtendedCanonicalPath() = path and
+  not exists(a.getCanonicalPath())
+}
+
+query predicate missingMadSinkCanonicalPath(string crate, string path, Addressable a) {
+  sinkModel(crate, path, _, _, _, _) and
+  a.getCrateOrigin() = crate and
+  a.getExtendedCanonicalPath() = path and
+  not exists(a.getCanonicalPath())
+}
@@ -28,16 +28,7 @@ private class StartswithCall extends Path::SafeAccessCheck::Range, CfgNodes::Met
  * [1]: https://doc.rust-lang.org/std/option/enum.Option.html
  */
 class OptionEnum extends Enum {
-  OptionEnum() {
-    // todo: replace with canonical path, once calculated in QL
-    exists(Crate core, Module m |
-      core.getName() = "core" and
-      m = core.getModule().getItemList().getAnItem() and
-      m.getName().getText() = "option" and
-      this = m.getItemList().getAnItem() and
-      this.getName().getText() = "Option"
-    )
-  }
+  OptionEnum() { this.getCanonicalPath() = "core::option::Option" }
 
   /** Gets the `Some` variant. */
   Variant getSome() { result = this.getVariant("Some") }
@@ -49,16 +40,7 @@ class OptionEnum extends Enum {
  * [1]: https://doc.rust-lang.org/stable/std/result/enum.Result.html
  */
 class ResultEnum extends Enum {
-  ResultEnum() {
-    // todo: replace with canonical path, once calculated in QL
-    exists(Crate core, Module m |
-      core.getName() = "core" and
-      m = core.getModule().getItemList().getAnItem() and
-      m.getName().getText() = "result" and
-      this = m.getItemList().getAnItem() and
-      this.getName().getText() = "Result"
-    )
-  }
+  ResultEnum() { this.getCanonicalPath() = "core::result::Result" }
 
   /** Gets the `Ok` variant. */
   Variant getOk() { result = this.getVariant("Ok") }