Contents
This is an overview of changes in the CodeQL CLI and relevant CodeQL query and library packs. For additional updates on changes to the CodeQL code scanning experience, check out the code scanning section on the GitHub blog, relevant GitHub Changelog updates, changes in the CodeQL extension for Visual Studio Code, and the CodeQL Action changelog.
CodeQL 2.25.2 runs a total of 492 security queries when configured with the Default suite (covering 166 CWE). The Extended suite enables an additional 135 queries (covering 35 more CWE). 1 security query has been added with this release.
The build of Eclipse Temurin OpenJDK that is used to run the CodeQL CLI has been updated to version 21.0.10.
The cs/constant-condition query has been simplified. The query no longer reports trivially constant conditions as they were found to generally be intentional. As a result, it should now produce fewer false positives. Additionally, the simplification means that it now reports all the results that cs/constant-comparison used to report, and as consequence, that query has been deleted.
Several quality queries have been ported away from using the legacy points-to library. This may lead to changes in alerts.
The “Extraction warnings” (cpp/diagnostics/extraction-warnings) diagnostics query no longer yields ExtractionRecoverableWarnings for build-mode: none databases. The results were found to significantly increase the sizes of the produced SARIF files, making them unprocessable in some cases.
Fixed an issue with the “Suspicious add with sizeof” (cpp/suspicious-add-sizeof) query causing false positive results in build-mode: none databases.
Fixed an issue with the “Uncontrolled format string” (cpp/tainted-format-string) query involving certain kinds of formatting function implementations.
Fixed an issue with the “Wrong type of arguments to formatting function” (cpp/wrong-type-format-argument) query causing false positive results in build-mode: none databases.
Fixed an issue with the “Multiplication result converted to larger type” (cpp/integer-multiplication-cast-to-long) query causing false positive results in build-mode: none databases.
The @security-severity metadata of cpp/cgi-xss has been increased from 6.1 (medium) to 7.8 (high).
The @security-severity metadata of cs/log-forging has been reduced from 7.8 (high) to 6.1 (medium).
The @security-severity metadata of cs/web/xss has been increased from 6.1 (medium) to 7.8 (high).
The @security-severity metadata of go/log-injection has been reduced from 7.8 (high) to 6.1 (medium).
The @security-severity metadata of go/html-template-escaping-bypass-xss, go/reflected-xss and go/stored-xss has been increased from 6.1 (medium) to 7.8 (high).
The @security-severity metadata of java/log-injection has been reduced from 7.8 (high) to 6.1 (medium).
The @security-severity metadata of java/android/webview-addjavascriptinterface, java/android/websettings-javascript-enabled and java/xss has been increased from 6.1 (medium) to 7.8 (high).
The @security-severity metadata of py/log-injection has been reduced from 7.8 (high) to 6.1 (medium).
The @security-severity metadata of py/jinja2/autoescape-false and py/reflective-xss has been increased from 6.1 (medium) to 7.8 (high).
The @security-severity metadata of rb/log-injection has been reduced from 7.8 (high) to 6.1 (medium).
The @security-severity metadata of rb/reflected-xss, rb/stored-xss and rb/html-constructed-from-input has been increased from 6.1 (medium) to 7.8 (high).
The @security-severity metadata of swift/unsafe-webview-fetch has been increased from 6.1 (medium) to 7.8 (high).
The @security-severity metadata of rust/log-injection has been increased from 2.6 (low) to 6.1 (medium).
The @security-severity metadata of rust/xss has been increased from 6.1 (medium) to 7.8 (high).
Fixed the resolution of relative imports such as from . import helper inside namespace packages (directories without an __init__.py file), which previously did not work correctly, leading to missing flow.
The SourceModelCsv, SinkModelCsv, and SummaryModelCsv classes and the associated CSV parsing infrastructure have been removed from ExternalFlow.qll. New models should be added as .model.yml files in the ext/ directory.
Added HttpReceiveHttpRequest, HttpReceiveRequestEntityBody, and HttpReceiveClientCertificate from Win32’s http.h as remote flow sources.
Added dataflow through members initialized via non-static data member initialization (NSDMI).
The extractor no longer synthesizes expanded forms of compound assignments. This may have a small impact on the results of queries that explicitly or implicitly rely on the expanded form of compound assignments.
The cs/log-forging query no longer treats arguments to extension methods with source code on ILogger types as sinks. Instead, taint is tracked interprocedurally through extension method bodies, reducing false positives when extension methods sanitize input internally.
The java/tainted-arithmetic query no longer flags arithmetic expressions that are used directly as an operand of a comparison in if-condition bounds-checking patterns. For example, if (off + len > array.length) is now recognized as a bounds check rather than a potentially vulnerable computation, reducing false positives.
The java/potentially-weak-cryptographic-algorithm query no longer flags Elliptic Curve algorithms (EC, ECDSA, ECDH, EdDSA, Ed25519, Ed448, XDH, X25519, X448), HMAC-based algorithms (HMACSHA1, HMACSHA256, HMACSHA384, HMACSHA512), or PBKDF2 key derivation as potentially insecure. These are modern, secure algorithms recommended by NIST and other standards bodies. This will reduce the number of false positives for this query.
The first argument of the method getInstance of java.security.Signature is now modeled as a sink for java/potentially-weak-cryptographic-algorithm, java/weak-cryptographic-algorithm and java/rsa-without-oaep. This will increase the number of alerts for these queries.
Kotlin versions up to 2.3.20 are now supported.
Added a subclass MesonPrivateTestFile of ConfigurationTestFile that represents files created by Meson to test the build configuration.
Added a class ConstructorDirectFieldInit to represent field initializations that occur in member initializer lists.
Added a class ConstructorDefaultFieldInit to represent default field initializations.
Added a class DataFlow::IndirectParameterNode to represent the indirection of a parameter as a dataflow node.
Added a predicate Node::asIndirectInstruction which returns the Instruction that defines the indirect dataflow node, if any.
Added a class IndirectUninitializedNode to represent the indirection of an uninitialized local variable as a dataflow node.