|
| 1 | +.. _codeql-cli-2.15.4: |
| 2 | + |
| 3 | +========================== |
| 4 | +CodeQL 2.15.4 (2023-12-11) |
| 5 | +========================== |
| 6 | + |
| 7 | +.. contents:: Contents |
| 8 | + :depth: 2 |
| 9 | + :local: |
| 10 | + :backlinks: none |
| 11 | + |
| 12 | +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 <https://github.blog/tag/code-scanning/>`__, `relevant GitHub Changelog updates <https://github.blog/changelog/label/code-scanning/>`__, `changes in the CodeQL extension for Visual Studio Code <https://marketplace.visualstudio.com/items/GitHub.vscode-codeql/changelog>`__, and the `CodeQL Action changelog <https://github.com/github/codeql-action/blob/main/CHANGELOG.md>`__. |
| 13 | + |
| 14 | +CodeQL CLI |
| 15 | +---------- |
| 16 | + |
| 17 | +Improvements |
| 18 | +~~~~~~~~~~~~ |
| 19 | + |
| 20 | +* Parallelism in the evaluator has been improved, resulting in faster analysis when running with many threads, particularly for large databases. |
| 21 | + |
| 22 | +Query Packs |
| 23 | +----------- |
| 24 | + |
| 25 | +Breaking Changes |
| 26 | +~~~~~~~~~~~~~~~~ |
| 27 | + |
| 28 | +C/C++ |
| 29 | +""""" |
| 30 | + |
| 31 | +* The :code:`cpp/tainted-format-string-through-global` query has been deleted. This does not lead to a loss of relevant alerts, as the query duplicated a subset of the alerts from :code:`cpp/tainted-format-string`. |
| 32 | + |
| 33 | +Minor Analysis Improvements |
| 34 | +~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 35 | + |
| 36 | +C# |
| 37 | +"" |
| 38 | + |
| 39 | +* Modelled additional flow steps to track flow from a :code:`View` call in an MVC controller to the corresponding Razor View (:code:`.cshtml`) file, which may result in additional results for queries such as :code:`cs/web/xss`. |
| 40 | + |
| 41 | +JavaScript/TypeScript |
| 42 | +""""""""""""""""""""" |
| 43 | + |
| 44 | +* Added django URLs to detected "safe" URL patterns in :code:`js/unsafe-external-link`. |
| 45 | + |
| 46 | +Swift |
| 47 | +""""" |
| 48 | + |
| 49 | +* Added additional sinks for the "Uncontrolled format string" (:code:`swift/uncontrolled-format-string`) query. Some of these sinks are heuristic (imprecise) in nature. |
| 50 | +* Added heuristic (imprecise) sinks for the "Database query built from user-controlled sources" (:code:`swift/sql-injection`) query. |
| 51 | + |
| 52 | +New Queries |
| 53 | +~~~~~~~~~~~ |
| 54 | + |
| 55 | +C/C++ |
| 56 | +""""" |
| 57 | + |
| 58 | +* Added a new query, :code:`cpp/use-of-string-after-lifetime-ends`, to detect calls to :code:`c_str` on strings that will be destroyed immediately. |
| 59 | + |
| 60 | +Language Libraries |
| 61 | +------------------ |
| 62 | + |
| 63 | +Bug Fixes |
| 64 | +~~~~~~~~~ |
| 65 | + |
| 66 | +Golang |
| 67 | +"""""" |
| 68 | + |
| 69 | +* A bug has been fixed that meant that value flow through a slice expression was not tracked correctly. Taint flow was tracked correctly. |
| 70 | + |
| 71 | +Minor Analysis Improvements |
| 72 | +~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 73 | + |
| 74 | +Java |
| 75 | +"""" |
| 76 | + |
| 77 | +* The diagnostic query :code:`java/diagnostics/successfully-extracted-files`, and therefore the Code Scanning UI measure of scanned Java files, now considers any Java file seen during extraction, even one with some errors, to be extracted / scanned. |
| 78 | +* Switch cases using binding patterns and :code:`case null[, default]` are now supported. Classes :code:`PatternCase` and :code:`NullDefaultCase` are introduced to represent new kinds of case statement. |
| 79 | +* Both switch cases and instanceof expressions using record patterns are now supported. The new class :code:`RecordPatternExpr` is introduced to represent record patterns, and :code:`InstanceOfExpr` gains :code:`getPattern` to replace :code:`getLocalVariableDeclExpr`. |
| 80 | +* The control-flow graph and therefore dominance information regarding switch blocks in statement context but with an expression rule (e.g. :code:`switch(...) { case 1 -> System.out.println("Hello world!") }`) has been fixed. This reduces false positives and negatives from various queries relating to functions featuring such statements. |
| 81 | + |
| 82 | +JavaScript/TypeScript |
| 83 | +""""""""""""""""""""" |
| 84 | + |
| 85 | +* Added models for the :code:`sqlite` and :code:`better-sqlite3` npm packages. |
| 86 | +* TypeScript 5.3 is now supported. |
| 87 | + |
| 88 | +Python |
| 89 | +"""""" |
| 90 | + |
| 91 | +* Added support for tarfile extraction filters as defined in `PEP-706 <https://peps.python.org/pep-0706>`__. In particular, calls to :code:`TarFile.extract`, and :code:`TarFile.extractall` are no longer considered to be sinks for the :code:`py/tarslip` query if a sufficiently safe filter is provided. |
| 92 | +* Added modeling of :code:`*args` and :code:`**kwargs` as routed-parameters in request handlers for django/flask/FastAPI/tornado. |
| 93 | +* Added support for type parameters in function and class definitions, as well as the new Python 3.12 type alias statement. |
| 94 | +* Added taint-flow modeling for regular expressions with :code:`re` module from the standard library. |
| 95 | + |
| 96 | +Ruby |
| 97 | +"""" |
| 98 | + |
| 99 | +* Improved modeling for :code:`ActiveRecord`\ s :code:`update_all` method |
| 100 | + |
| 101 | +Swift |
| 102 | +""""" |
| 103 | + |
| 104 | +* Extracts Swift's :code:`DiscardStmt` and :code:`MaterizliePackExpr` |
| 105 | +* Expanded and improved flow models for :code:`Set` and :code:`Sequence`. |
| 106 | +* Added imprecise flow sources matching initializers such as :code:`init(contentsOfFile:)`. |
| 107 | +* Extracts :code:`MacroDecl` and some related information |
| 108 | + |
| 109 | +New Features |
| 110 | +~~~~~~~~~~~~ |
| 111 | + |
| 112 | +C/C++ |
| 113 | +""""" |
| 114 | + |
| 115 | +* Added an :code:`isPrototyped` predicate to :code:`Function` that holds when the function has a prototype. |
0 commit comments