Release preparation for version 2.18.1

This commit is contained in:
github-actions[bot] 2024-07-22 14:56:15 +00:00
Родитель 38aac1f444
Коммит 55935fc123
154 изменённых файлов: 406 добавлений и 145 удалений

Просмотреть файл

@ -1,3 +1,11 @@
## 1.3.0
### New Features
* Models-as-data alert provenance information has been extended to the C/C++ language. Any qltests that include the edges relation in their output (for example, `.qlref`s that reference path-problem queries) will need to be have their expected output updated accordingly.
* Added subclasses of `BuiltInOperations` for `__builtin_has_attribute`, `__builtin_is_corresponding_member`, `__builtin_is_pointer_interconvertible_with_class`, `__is_assignable_no_precondition_check`, `__is_bounded_array`, `__is_convertible`, `__is_corresponding_member`, `__is_nothrow_convertible`, `__is_pointer_interconvertible_with_class`, `__is_referenceable`, `__is_same_as`, `__is_trivially_copy_assignable`, `__is_unbounded_array`, `__is_valid_winrt_type`, `_is_win_class`, `__is_win_interface`, `__reference_binds_to_temporary`, `__reference_constructs_from_temporary`, and `__reference_converts_from_temporary`.
* The class `NewArrayExpr` adds a predicate `getArraySize()` to allow a more convenient way to access the static size of the array when the extent is missing.
## 1.2.0
### New Features

Просмотреть файл

@ -1,4 +0,0 @@
---
category: feature
---
* The class `NewArrayExpr` adds a predicate `getArraySize()` to allow a more convenient way to access the static size of the array when the extent is missing.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: feature
---
* Models-as-data alert provenance information has been extended to the C/C++ language. Any qltests that include the edges relation in their output (for example, `.qlref`s that reference path-problem queries) will need to be have their expected output updated accordingly.

Просмотреть файл

@ -1,4 +1,7 @@
---
category: feature
---
## 1.3.0
### New Features
* Models-as-data alert provenance information has been extended to the C/C++ language. Any qltests that include the edges relation in their output (for example, `.qlref`s that reference path-problem queries) will need to be have their expected output updated accordingly.
* Added subclasses of `BuiltInOperations` for `__builtin_has_attribute`, `__builtin_is_corresponding_member`, `__builtin_is_pointer_interconvertible_with_class`, `__is_assignable_no_precondition_check`, `__is_bounded_array`, `__is_convertible`, `__is_corresponding_member`, `__is_nothrow_convertible`, `__is_pointer_interconvertible_with_class`, `__is_referenceable`, `__is_same_as`, `__is_trivially_copy_assignable`, `__is_unbounded_array`, `__is_valid_winrt_type`, `_is_win_class`, `__is_win_interface`, `__reference_binds_to_temporary`, `__reference_constructs_from_temporary`, and `__reference_converts_from_temporary`.
* The class `NewArrayExpr` adds a predicate `getArraySize()` to allow a more convenient way to access the static size of the array when the extent is missing.

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.2.0
lastReleaseVersion: 1.3.0

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,14 @@
## 1.1.0
### Query Metadata Changes
* The precision of `cpp/iterator-to-expired-container` ("Iterator to expired container") has been increased to `high`. As a result, it will be run by default as part of the Code Scanning suite.
* The precision of `cpp/unsafe-strncat` ("Potentially unsafe call to strncat") has been increased to `high`. As a result, it will be run by default as part of the Code Scanning suite.
### Minor Analysis Improvements
* The `cpp/unsigned-difference-expression-compared-zero` ("Unsigned difference expression compared to zero") query now produces fewer false positives.
## 1.0.3
No user-facing changes.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: queryMetadata
---
* The precision of `cpp/unsafe-strncat` ("Potentially unsafe call to strncat") has been increased to `high`. As a result, it will be run by default as part of the Code Scanning suite.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: queryMetadata
---
* The precision of `cpp/iterator-to-expired-container` ("Iterator to expired container") has been increased to `high`. As a result, it will be run by default as part of the Code Scanning suite.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: minorAnalysis
---
* The `cpp/unsigned-difference-expression-compared-zero` ("Unsigned difference expression compared to zero") query now produces fewer false positives.

Просмотреть файл

@ -0,0 +1,10 @@
## 1.1.0
### Query Metadata Changes
* The precision of `cpp/iterator-to-expired-container` ("Iterator to expired container") has been increased to `high`. As a result, it will be run by default as part of the Code Scanning suite.
* The precision of `cpp/unsafe-strncat` ("Potentially unsafe call to strncat") has been increased to `high`. As a result, it will be run by default as part of the Code Scanning suite.
### Minor Analysis Improvements
* The `cpp/unsigned-difference-expression-compared-zero` ("Unsigned difference expression compared to zero") query now produces fewer false positives.

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.1.0

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.7.21
No user-facing changes.
## 1.7.20
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.7.20
lastReleaseVersion: 1.7.21

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.7.21
No user-facing changes.
## 1.7.20
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.7.20
lastReleaseVersion: 1.7.21

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,9 @@
## 1.1.3
### Minor Analysis Improvements
* There was a bug which meant that the built-in function `clear` was considered as a sanitizer in some cases when it shouldn't have been. This has now been fixed, which may lead to more alerts.
## 1.1.2
### Minor Analysis Improvements

Просмотреть файл

@ -1,4 +1,5 @@
---
category: minorAnalysis
---
## 1.1.3
### Minor Analysis Improvements
* There was a bug which meant that the built-in function `clear` was considered as a sanitizer in some cases when it shouldn't have been. This has now been fixed, which may lead to more alerts.

Просмотреть файл

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

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,24 @@
## 2.0.0
### Breaking Changes
* The Java extractor no longer supports the `SEMMLE_DIST` legacy environment variable.
### Deprecated APIs
* The predicate `isAndroid` from the module `semmle.code.java.security.AndroidCertificatePinningQuery` has been deprecated. Use `semmle.code.java.frameworks.android.Android::inAndroidApplication(File)` instead.
### New Features
* Kotlin support is now out of beta, and generally available
* Kotlin versions up to 2.0.2\ *x* are now supported.
### Minor Analysis Improvements
* Added a path-injection sink for `hudson.FilePath.exists()`.
* Added summary models for `org.apache.commons.io.IOUtils.toByteArray`.
* Java build-mode `none` analyses now only report a warning on the CodeQL status page when there are significant analysis problems-- defined as 5% of expressions lacking a type, or 5% of call targets being unknown. Other messages reported on the status page are downgraded from warnings to notes and so are less prominent, but are still available for review.
## 1.1.2
### Minor Analysis Improvements

Просмотреть файл

@ -1,4 +0,0 @@
---
category: deprecated
---
* The predicate `isAndroid` from the module `semmle.code.java.security.AndroidCertificatePinningQuery` has been deprecated. Use `semmle.code.java.frameworks.android.Android::inAndroidApplication(File)` instead.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: feature
---
* Kotlin versions up to 2.0.2\ *x* are now supported.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: minorAnalysis
---
* Java build-mode `none` analyses now only report a warning on the CodeQL status page when there are significant analysis problems-- defined as 5% of expressions lacking a type, or 5% of call targets being unknown. Other messages reported on the status page are downgraded from warnings to notes and so are less prominent, but are still available for review.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: breaking
---
* The Java extractor no longer supports the `SEMMLE_DIST` legacy environment variable.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: minorAnalysis
---
* Added a path-injection sink for `hudson.FilePath.exists()`.

Просмотреть файл

@ -1,4 +0,0 @@
---
category: feature
---
* Kotlin support is now out of beta, and generally available

Просмотреть файл

@ -1,4 +0,0 @@
---
category: minorAnalysis
---
* Added summary models for `org.apache.commons.io.IOUtils.toByteArray`.

Просмотреть файл

@ -0,0 +1,20 @@
## 2.0.0
### Breaking Changes
* The Java extractor no longer supports the `SEMMLE_DIST` legacy environment variable.
### Deprecated APIs
* The predicate `isAndroid` from the module `semmle.code.java.security.AndroidCertificatePinningQuery` has been deprecated. Use `semmle.code.java.frameworks.android.Android::inAndroidApplication(File)` instead.
### New Features
* Kotlin support is now out of beta, and generally available
* Kotlin versions up to 2.0.2\ *x* are now supported.
### Minor Analysis Improvements
* Added a path-injection sink for `hudson.FilePath.exists()`.
* Added summary models for `org.apache.commons.io.IOUtils.toByteArray`.
* Java build-mode `none` analyses now only report a warning on the CodeQL status page when there are significant analysis problems-- defined as 5% of expressions lacking a type, or 5% of call targets being unknown. Other messages reported on the status page are downgraded from warnings to notes and so are less prominent, but are still available for review.

Просмотреть файл

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

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,9 @@
## 1.1.1
### Minor Analysis Improvements
* The heuristic to enable certain Android queries has been improved. Now it ignores Android Manifests which don't define an activity, content provider or service. We also only consider files which are under a folder containing such an Android Manifest for these queries. This should remove some false positive alerts.
## 1.1.0
### Major Analysis Improvements

Просмотреть файл

@ -1,4 +1,5 @@
---
category: minorAnalysis
---
## 1.1.1
### Minor Analysis Improvements
* The heuristic to enable certain Android queries has been improved. Now it ignores Android Manifests which don't define an activity, content provider or service. We also only consider files which are under a folder containing such an Android Manifest for these queries. This should remove some false positive alerts.

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.1.0
lastReleaseVersion: 1.1.1

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.1.1
No user-facing changes.
## 1.1.0
### Major Analysis Improvements

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.1.0
lastReleaseVersion: 1.1.1

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,17 @@
## 1.1.0
### New Queries
* Added a new query, `js/insecure-helmet-configuration`, to detect instances where Helmet middleware is configured with important security features disabled.
### Minor Analysis Improvements
* Added a new query, `js/functionality-from-untrusted-domain`, which detects uses in HTML and JavaScript scripts from untrusted domains, including the `polyfill.io` content delivery network
* it can be extended to detect other compromised scripts using user-provided data extensions of the `untrustedDomain` predicate, which takes one string argument with the domain to warn on (and will warn on any subdomains too).
* Modified existing query, `js/functionality-from-untrusted-source`, to allow adding this new query, but reusing the same logic
* Added the ability to use data extensions to require SRI on CDN hostnames using the `isCdnDomainWithCheckingRequired` predicate, which takes one string argument of the full hostname to require SRI for.
* Created a new library, `semmle.javascript.security.FunctionalityFromUntrustedSource`, to support both queries.
## 1.0.3
### Minor Analysis Improvements

Просмотреть файл

@ -1,4 +0,0 @@
---
category: newQuery
---
* Added a new query, `js/insecure-helmet-configuration`, to detect instances where Helmet middleware is configured with important security features disabled.

Просмотреть файл

@ -1,6 +1,11 @@
---
category: minorAnalysis
---
## 1.1.0
### New Queries
* Added a new query, `js/insecure-helmet-configuration`, to detect instances where Helmet middleware is configured with important security features disabled.
### Minor Analysis Improvements
* Added a new query, `js/functionality-from-untrusted-domain`, which detects uses in HTML and JavaScript scripts from untrusted domains, including the `polyfill.io` content delivery network
* it can be extended to detect other compromised scripts using user-provided data extensions of the `untrustedDomain` predicate, which takes one string argument with the domain to warn on (and will warn on any subdomains too).
* Modified existing query, `js/functionality-from-untrusted-source`, to allow adding this new query, but reusing the same logic

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.1.0

Просмотреть файл

@ -1,5 +1,5 @@
name: codeql/javascript-queries
version: 1.0.4-dev
version: 1.1.0
groups:
- javascript
- queries

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

@ -1,4 +1,4 @@
name: codeql/suite-helpers
version: 1.0.4-dev
version: 1.0.4
groups: shared
warnOnImplicitThis: true

Просмотреть файл

@ -1,3 +1,9 @@
## 1.0.4
### Minor Analysis Improvements
* Additional modelling has been added to detect cookie writes from direct writes to the `Set-Cookie` header have been added for several web frameworks.
## 1.0.3
### Minor Analysis Improvements

Просмотреть файл

@ -1,4 +1,5 @@
---
category: minorAnalysis
---
* Additional modelling has been added to detect cookie writes from direct writes to the `Set-Cookie` header have been added for several web frameworks.
## 1.0.4
### Minor Analysis Improvements
* Additional modelling has been added to detect cookie writes from direct writes to the `Set-Cookie` header have been added for several web frameworks.

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

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

Просмотреть файл

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

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

@ -1,5 +1,5 @@
name: codeql/python-queries
version: 1.0.4-dev
version: 1.0.4
groups:
- python
- queries

Просмотреть файл

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

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

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

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

@ -1,5 +1,5 @@
name: codeql/ruby-queries
version: 1.0.4-dev
version: 1.0.4
groups:
- ruby
- queries

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

@ -1,5 +1,5 @@
name: codeql/controlflow
version: 1.0.4-dev
version: 1.0.4
groups: shared
library: true
dependencies:

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Просмотреть файл

@ -1,5 +1,5 @@
name: codeql/dataflow
version: 1.0.4-dev
version: 1.0.4
groups: shared
library: true
dependencies:

Просмотреть файл

@ -1,3 +1,7 @@
## 1.0.4
No user-facing changes.
## 1.0.3
No user-facing changes.

Просмотреть файл

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

Просмотреть файл

@ -1,2 +1,2 @@
---
lastReleaseVersion: 1.0.3
lastReleaseVersion: 1.0.4

Некоторые файлы не были показаны из-за слишком большого количества измененных файлов Показать больше