Rust: Placeholder new query.

geoffw0 · geoffw0 · commit da4fbfb44964 · 2025-06-05T10:37:25.000+01:00
diff --git a/rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql b/rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql
@@ -0,0 +1,19 @@
+/**
+ * @name Access of a pointer after its lifetime has ended
+ * @description Dereferencing a pointer after the lifetime of its target has ended
+ *              causes undefined behavior and may result in memory corruption.
+ * @kind path-problem
+ * @problem.severity error
+ * @security-severity TODO
+ * @precision high
+ * @id rust/access-after-lifetime-ended
+ * @tags reliability
+ *       security
+ *       external/cwe/cwe-825
+ */
+
+import rust
+
+from int n
+where none()
+select n
diff --git a/rust/ql/test/query-tests/security/CWE-825/AccessAfterLifetime.expected b/rust/ql/test/query-tests/security/CWE-825/AccessAfterLifetime.expected
@@ -0,0 +1,10 @@
+#select
+testFailures
+| deallocation.rs:20:36:20:54 | //... | Missing result: Source=dealloc |
+| deallocation.rs:70:47:70:71 | //... | Missing result: Source=dealloc_array |
+| deallocation.rs:112:44:112:59 | //... | Missing result: Source=free |
+| deallocation.rs:123:45:123:64 | //... | Missing result: Source=dangling |
+| deallocation.rs:124:47:124:70 | //... | Missing result: Source=dangling_mut |
+| deallocation.rs:125:41:125:56 | //... | Missing result: Source=null |
+| deallocation.rs:176:32:176:56 | //... | Missing result: Source=drop_in_place |
+| deallocation.rs:242:33:242:57 | //... | Missing result: Source=drop_in_place |
diff --git a/rust/ql/test/query-tests/security/CWE-825/AccessAfterLifetime.qlref b/rust/ql/test/query-tests/security/CWE-825/AccessAfterLifetime.qlref
@@ -0,0 +1,4 @@
+query: queries/security/CWE-825/AccessAfterLifetime.ql
+postprocess:
+ - utils/test/PrettyPrintModels.ql
+ - utils/test/InlineExpectationsTestQuery.ql
