Release preparation for version 2.19.4

cpp/ql/lib/CHANGELOG.md

@@ -1,3 +1,9 @@
+## 2.1.1
+
+### Minor Analysis Improvements
+
+* The `Guards` library (`semmle.code.cpp.controlflow.Guards`) has been improved to recognize more guard conditions. Additionally, the guards library no longer considers guards in static local initializers or global initializers as `GuardCondition`s.
+
 ## 2.1.0
 
 ### New Features

cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md → cpp/ql/lib/change-notes/released/2.1.1.md

@@ -1,4 +1,5 @@
----
-category: minorAnalysis
----
-* The `Guards` library (`semmle.code.cpp.controlflow.Guards`) has been improved to recognize more guard conditions. Additionally, the guards library no longer considers guards in static local initializers or global initializers as `GuardCondition`s.
+## 2.1.1
+
+### Minor Analysis Improvements
+
+* The `Guards` library (`semmle.code.cpp.controlflow.Guards`) has been improved to recognize more guard conditions. Additionally, the guards library no longer considers guards in static local initializers or global initializers as `GuardCondition`s.

cpp/ql/lib/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 2.1.0
+lastReleaseVersion: 2.1.1

cpp/ql/lib/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/cpp-all
-version: 2.1.1-dev
+version: 2.1.1
 groups: cpp
 dbscheme: semmlecode.cpp.dbscheme
 extractor: cpp

cpp/ql/src/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 1.2.7
+
+No user-facing changes.
+
 ## 1.2.6
 
 ### Minor Analysis Improvements

cpp/ql/src/change-notes/released/1.2.7.md

@@ -0,0 +1,3 @@
+## 1.2.7
+
+No user-facing changes.

cpp/ql/src/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 1.2.6
+lastReleaseVersion: 1.2.7

cpp/ql/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/cpp-queries
-version: 1.2.7-dev
+version: 1.2.7
 groups:
   - cpp
   - queries

csharp/ql/campaigns/Solorigate/lib/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 1.7.29
+
+No user-facing changes.
+
 ## 1.7.28
 
 No user-facing changes.

csharp/ql/campaigns/Solorigate/lib/change-notes/released/1.7.29.md

@@ -0,0 +1,3 @@
+## 1.7.29
+
+No user-facing changes.

csharp/ql/campaigns/Solorigate/lib/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 1.7.28
+lastReleaseVersion: 1.7.29

csharp/ql/campaigns/Solorigate/lib/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/csharp-solorigate-all
-version: 1.7.29-dev
+version: 1.7.29
 groups:
   - csharp
   - solorigate

csharp/ql/campaigns/Solorigate/src/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 1.7.29
+
+No user-facing changes.
+
 ## 1.7.28
 
 No user-facing changes.

csharp/ql/campaigns/Solorigate/src/change-notes/released/1.7.29.md

@@ -0,0 +1,3 @@
+## 1.7.29
+
+No user-facing changes.

csharp/ql/campaigns/Solorigate/src/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 1.7.28
+lastReleaseVersion: 1.7.29

csharp/ql/campaigns/Solorigate/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/csharp-solorigate-queries
-version: 1.7.29-dev
+version: 1.7.29
 groups:
   - csharp
   - solorigate

csharp/ql/lib/CHANGELOG.md

@@ -1,3 +1,10 @@
+## 3.1.1
+
+### Minor Analysis Improvements
+
+* .NET 9 is now required to build the C# extractor.
+* The Models as Data models for .NET 8 Runtime now include generated models for higher order methods.
+
 ## 3.1.0
 
 ### Major Analysis Improvements

csharp/ql/lib/change-notes/2024-11-07-net8-runtime-models.md → csharp/ql/lib/change-notes/released/3.1.1.md

@@ -1,4 +1,6 @@
----
-category: minorAnalysis
----
+## 3.1.1
+
+### Minor Analysis Improvements
+
+* .NET 9 is now required to build the C# extractor.
 * The Models as Data models for .NET 8 Runtime now include generated models for higher order methods.

csharp/ql/lib/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 3.1.0
+lastReleaseVersion: 3.1.1

csharp/ql/lib/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/csharp-all
-version: 3.1.1-dev
+version: 3.1.1
 groups: csharp
 dbscheme: semmlecode.csharp.dbscheme
 extractor: csharp

csharp/ql/src/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 1.0.12
+
+No user-facing changes.
+
 ## 1.0.11
 
 ### Minor Analysis Improvements

csharp/ql/src/change-notes/released/1.0.12.md

@@ -0,0 +1,3 @@
+## 1.0.12
+
+No user-facing changes.

csharp/ql/src/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 1.0.11
+lastReleaseVersion: 1.0.12

csharp/ql/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/csharp-queries
-version: 1.0.12-dev
+version: 1.0.12
 groups:
   - csharp
   - queries

go/ql/consistency-queries/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 1.0.12
+
+No user-facing changes.
+
 ## 1.0.11
 
 No user-facing changes.

go/ql/consistency-queries/change-notes/released/1.0.12.md

@@ -0,0 +1,3 @@
+## 1.0.12
+
+No user-facing changes.

go/ql/consistency-queries/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 1.0.11
+lastReleaseVersion: 1.0.12

go/ql/consistency-queries/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql-go-consistency-queries
-version: 1.0.12-dev
+version: 1.0.12
 groups:
   - go
   - queries

go/ql/lib/CHANGELOG.md

@@ -1,3 +1,14 @@
+## 2.1.3
+
+### Minor Analysis Improvements
+
+* The `subtypes` column has been set to true in all models-as-data models except some tests. This means that existing models will apply in some cases where they didn't before, which may lead to more alerts.
+
+### Bug Fixes
+
+* The behaviour of the `subtypes` column in models-as-data now matches other languages more closely.
+* Fixed a bug which meant that some qualified names for promoted methods were not being recognised in some very specific circumstances.
+
 ## 2.1.2
 
 ### Minor Analysis Improvements

go/ql/lib/change-notes/released/2.1.3.md

@@ -0,0 +1,10 @@
+## 2.1.3
+
+### Minor Analysis Improvements
+
+* The `subtypes` column has been set to true in all models-as-data models except some tests. This means that existing models will apply in some cases where they didn't before, which may lead to more alerts.
+
+### Bug Fixes
+
+* The behaviour of the `subtypes` column in models-as-data now matches other languages more closely.
+* Fixed a bug which meant that some qualified names for promoted methods were not being recognised in some very specific circumstances.

go/ql/lib/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 2.1.2
+lastReleaseVersion: 2.1.3

go/ql/lib/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/go-all
-version: 2.1.3-dev
+version: 2.1.3
 groups: go
 dbscheme: go.dbscheme
 extractor: go

go/ql/src/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 1.1.3
+
+No user-facing changes.
+
 ## 1.1.2
 
 No user-facing changes.

go/ql/src/change-notes/released/1.1.3.md

@@ -0,0 +1,3 @@
+## 1.1.3
+
+No user-facing changes.

go/ql/src/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 1.1.2
+lastReleaseVersion: 1.1.3

go/ql/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/go-queries
-version: 1.1.3-dev
+version: 1.1.3
 groups:
   - go
   - queries

java/ql/automodel/src/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 1.0.12
+
+No user-facing changes.
+
 ## 1.0.11
 
 No user-facing changes.

java/ql/automodel/src/change-notes/released/1.0.12.md

@@ -0,0 +1,3 @@
+## 1.0.12
+
+No user-facing changes.

java/ql/automodel/src/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 1.0.11
+lastReleaseVersion: 1.0.12

java/ql/automodel/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/java-automodel-queries
-version: 1.0.12-dev
+version: 1.0.12
 groups:
     - java
     - automodel

java/ql/lib/CHANGELOG.md

@@ -1,3 +1,9 @@
+## 4.2.1
+
+### Minor Analysis Improvements
+
+* In a switch statement with a constant switch expression, all non-matching cases were being marked as unreachable, including those that can be reached by falling through from the matching case. This has now been fixed.
+
 ## 4.2.0
 
 ### Major Analysis Improvements

java/ql/lib/change-notes/2024-11-14-unreachable-basic-block-in-constant-switch-statement.md → java/ql/lib/change-notes/released/4.2.1.md

@@ -1,4 +1,5 @@
----
-category: minorAnalysis
----
+## 4.2.1
+
+### Minor Analysis Improvements
+
 * In a switch statement with a constant switch expression, all non-matching cases were being marked as unreachable, including those that can be reached by falling through from the matching case. This has now been fixed.

java/ql/lib/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 4.2.0
+lastReleaseVersion: 4.2.1

java/ql/lib/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/java-all
-version: 4.2.1-dev
+version: 4.2.1
 groups: java
 dbscheme: config/semmlecode.dbscheme
 extractor: java

java/ql/src/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 1.1.9
+
+No user-facing changes.
+
 ## 1.1.8
 
 No user-facing changes.

java/ql/src/change-notes/released/1.1.9.md

@@ -0,0 +1,3 @@
+## 1.1.9
+
+No user-facing changes.

java/ql/src/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 1.1.8
+lastReleaseVersion: 1.1.9

java/ql/src/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/java-queries
-version: 1.1.9-dev
+version: 1.1.9
 groups:
   - java
   - queries

javascript/ql/lib/CHANGELOG.md

@@ -1,3 +1,14 @@
+## 2.1.1
+
+### Minor Analysis Improvements
+
+Added taint-steps for `Array.prototype.with`.
+Added taint-steps for `Array.prototype.toSpliced`
+* Added taint-steps for `Array.prototype.toReversed`.
+* Added taint-steps for `Array.prototype.toSorted`.
+Added support for `String.prototype.matchAll`.
+* Added taint-steps for `Array.prototype.reverse`
+
 ## 2.1.0
 
 ### New Features

javascript/ql/lib/change-notes/released/2.1.1.md

@@ -0,0 +1,10 @@
+## 2.1.1
+
+### Minor Analysis Improvements
+
+* Added taint-steps for `Array.prototype.with`.
+* Added taint-steps for `Array.prototype.toSpliced`
+* Added taint-steps for `Array.prototype.toReversed`.
+* Added taint-steps for `Array.prototype.toSorted`.
+* Added support for `String.prototype.matchAll`.
+* Added taint-steps for `Array.prototype.reverse`

javascript/ql/lib/codeql-pack.release.yml

@@ -1,2 +1,2 @@
 ---
-lastReleaseVersion: 2.1.0
+lastReleaseVersion: 2.1.1

javascript/ql/lib/qlpack.yml

@@ -1,5 +1,5 @@
 name: codeql/javascript-all
-version: 2.1.1-dev
+version: 2.1.1
 groups: javascript
 dbscheme: semmlecode.javascript.dbscheme
 extractor: javascript