Merge pull request #13267 from MathiasVP/promote-overrun-write

C++: Promote `cpp/overrun-write` out of experimental

cpp/ql/src/Security/CWE/CWE-119/OverrunWriteProductFlow.ql

@@ -4,10 +4,11 @@
  *              may result in a buffer overflow.
  * @kind path-problem
  * @problem.severity error
+ * @security-severity 9.3
+ * @precision medium
  * @id cpp/overrun-write
  * @tags reliability
  *       security
- *       experimental
  *       external/cwe/cwe-119
  *       external/cwe/cwe-131
  */

cpp/ql/src/change-notes/2023-05-24-overrun-write-query.md

@@ -0,0 +1,4 @@
+---
+category: newQuery
+---
+* Added a new query, `cpp/overrun-write`, to detect buffer overflows in C-style functions that manipulate buffers.

cpp/ql/test/experimental/query-tests/Security/CWE/CWE-119/OverrunWriteProductFlow.qlref

@@ -1 +0,0 @@
-experimental/Likely Bugs/OverrunWriteProductFlow.ql

cpp/ql/test/query-tests/Security/CWE/CWE-119/SAMATE/OverrunWriteProductFlow.qlref

@@ -0,0 +1 @@
+Security/CWE/CWE-119/OverrunWriteProductFlow.ql