Asger F
0b666d47db
Preserve the dot token in case patterns
2026-06-18 14:55:54 +02:00
Asger F
142ac47166
Refactor: map switch case patterns to constructor_pattern instead of tuple_pattern
...
Changed the desugaring rules to properly map case patterns with binding (e.g.,
'case .circle(let r):') to constructor_pattern nodes instead of tuple_pattern.
New rules added:
- tuple_pattern_item → pattern_element (preserves optional name/key)
- pattern.kind: binding_pattern → name_pattern (extracts bound identifier)
- pattern.kind: case_pattern → constructor_pattern (creates proper constructor
with bound arguments as pattern_elements)
This provides a more semantically correct AST representation:
- Constructor name: name_expr identifier 'circle'
- Elements: pattern_element containing name_pattern identifier 'r'
Instead of the previous tuple_pattern string representation.
Updated control-flow.txt corpus outputs.
2026-06-18 14:54:59 +02:00
Asger F
2470c1388a
Fix: preserve switch case patterns in desugared output
...
The switch_entry rule was capturing switch_pattern wrapper nodes instead of
drilling into them to extract the actual pattern nodes. This caused patterns
from switch cases to be lost during desugaring.
Changed the pattern match from:
(switch_entry pattern: (switch_pattern)* @pats ...)
to:
(switch_entry pattern: (switch_pattern pattern: @pats)* ...)
This now correctly extracts the pattern field from each switch_pattern node,
ensuring that patterns from cases like 'case 1:' and 'case .circle(let r):'
are preserved in the switch_case AST nodes.
Updated control-flow.txt corpus outputs to reflect the new behavior.
2026-06-18 14:37:42 +02:00
Asger F
fa98557dd9
Update QL test output
2026-06-18 14:26:49 +02:00
Asger F
1e167dfa6b
unified/swift: add type and declaration-family mappings
2026-06-18 14:26:47 +02:00
Asger F
f362707493
unified/swift: Imports
2026-06-18 14:26:45 +02:00
Asger F
15208b70aa
Unified: Add import_declaration.scoped_import_kind
2026-06-18 14:26:43 +02:00
Asger F
3522f35ab2
unified/swift: add collections, optionals/errors
2026-06-18 14:26:42 +02:00
Asger F
938396a751
unified/swift: add control-flow and loop mappings
2026-06-18 14:26:40 +02:00
Asger F
790d4f11be
unified/swift: add closure and capture mappings
2026-06-18 14:26:38 +02:00
Asger F
8f747a355c
unified/swift: add function and parameter mappings
2026-06-18 14:26:37 +02:00
Asger F
d17fd2d964
unified/swift: add variable/property/accessor and enum mappings
2026-06-18 14:26:35 +02:00
Asger F
4e9c3fb436
unified/swift: add literals, names, and operator expression mappings
2026-06-18 14:26:33 +02:00
Asger F
0e9d17b59c
unified/swift: add top-level normalization and fallback scaffold
2026-06-18 14:26:31 +02:00
Asger F
6c74cd31e4
Yeast: use child locations instead of rule target
...
Previously, when a node was synthesized it would always take the
location from the node that matched the current rule. This resulted
in overly broad locations however.
For (foo #{bar}) we now take the location of the 'bar' node.
For non-leaf nodes we merge all its child node locations.
2026-06-18 14:26:30 +02:00
Asger F
166406acbb
Unified: Elaborate a bit more on AGENTS.md
2026-06-18 14:26:28 +02:00
Asger F
b40cb5dedd
Regenerate QL
2026-06-18 14:26:26 +02:00
Asger F
6dd7dedc19
Rewrite AST
2026-06-18 14:26:22 +02:00
Jaroslav Lobačevski
7f16853715
Remove trailing white space
2026-06-18 12:11:18 +00:00
Jaroslav Lobačevski
2d6feb1255
Fix false negatives when one of the jobs had proper checks and the other didn't
2026-06-18 12:02:56 +00:00
Owen Mansel-Chan
8c07e95f05
Rename mayCapture to mayUpdateCapturedVariable
2026-06-18 12:41:25 +01:00
Owen Mansel-Chan
f04c8ccbc7
Use module already provided by BasicBlocks lib
2026-06-18 12:37:27 +01:00
Owen Mansel-Chan
7222f1d3ad
Remove change note
2026-06-18 12:34:20 +01:00
Jeroen Ketema
5016fcb396
Merge pull request #21995 from jketema/jketema/tele
...
Java: Update expected test results after extractor changes
2026-06-18 12:51:29 +02:00
Michael Nebel
142a72c77b
C#: Address review comments.
2026-06-18 12:48:09 +02:00
dependabot[bot]
880011ce13
Bump the pip group across 2 directories with 2 updates
...
Bumps the pip group with 1 update in the /misc/codegen directory: [pytest](https://github.com/pytest-dev/pytest ).
Bumps the pip group with 1 update in the /python/ql/test/query-tests/Security/CWE-943-NoSqlInjection/PoC directory: [pymongo](https://github.com/mongodb/mongo-python-driver ).
Updates `pytest` from 8.3.5 to 9.0.3
- [Release notes](https://github.com/pytest-dev/pytest/releases )
- [Changelog](https://github.com/pytest-dev/pytest/blob/main/CHANGELOG.rst )
- [Commits](https://github.com/pytest-dev/pytest/compare/8.3.5...9.0.3 )
Updates `pymongo` from 3.9 to 4.6.3
- [Release notes](https://github.com/mongodb/mongo-python-driver/releases )
- [Changelog](https://github.com/mongodb/mongo-python-driver/blob/master/doc/changelog.rst )
- [Commits](https://github.com/mongodb/mongo-python-driver/compare/3.9.0...4.6.3 )
---
updated-dependencies:
- dependency-name: pytest
dependency-version: 9.0.3
dependency-type: direct:production
dependency-group: pip
- dependency-name: pymongo
dependency-version: 4.6.3
dependency-type: direct:production
dependency-group: pip
...
Signed-off-by: dependabot[bot] <support@github.com >
2026-06-18 10:24:33 +00:00
Owen Mansel-Chan
330e904449
Merge pull request #22004 from sauyon/go-model-log-slog
...
Go: Model `log/slog` as a logging sink
2026-06-18 11:20:08 +01:00
Anders Schack-Mulligen
f844cd3754
Java/C#: Adapt to signature change.
2026-06-18 11:00:30 +02:00
Anders Schack-Mulligen
3a3ec1be90
Cfg: Distinguish parameters from their patterns.
2026-06-18 11:00:30 +02:00
Michael Nebel
c747352f41
C#: Fix some code quality issues by replacing Path.Combine with Path.Join.
2026-06-18 08:28:58 +02:00
Michael Nebel
dfdd12190e
C#: Rename NugetExeWrapper to PackagesConfigRestorer.
2026-06-18 08:28:56 +02:00
Michael Nebel
63057db753
C#: Only download and use nuget.exe in case of windows or mono is installed.
2026-06-18 08:28:54 +02:00
Michael Nebel
21f8caf153
C#: Re-factor the NugetExeWrapper, introduce an interface and a factory method for constructing package config restorers.
2026-06-18 08:28:51 +02:00
Michael Nebel
9b34cfa362
C#: Invert logic in HasPackageSource.
2026-06-18 08:28:49 +02:00
Michael Nebel
944d76de44
C#: Use the build actions IsWindows in the NugetExeWrapper.
2026-06-18 08:28:47 +02:00
sauyon
b7ef551b52
Address review: exercise variadic args/attrs in slog Log/LogAttrs tests
...
Copilot review on #22004 : the Log/LogAttrs test cases didn't pass any
variadic args/attrs, so the Argument[..3] portion of the sink range was
untested. Pass an ...any arg to slog.Log/Logger.Log and a slog.Attr to
slog.LogAttrs/Logger.LogAttrs, with inline expectations asserting they're
captured as logged components.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com >
2026-06-17 20:27:00 -07:00
sauyon
00427d204c
Go: Model log/slog as a logging sink
...
The standard-library structured logger `log/slog` (Go 1.21+) was not
modeled, so `go/log-injection` and `go/clear-text-logging` were blind to
any code that logs through it.
Model its logging functions and `*slog.Logger` methods — `Debug`, `Info`,
`Warn`, `Error`, their `Context` variants, and `Log`/`LogAttrs` — as
`log-injection` sinks (the kind that feeds `LoggerCall`, powering both
queries). Adds `log/slog` cases to the `LoggerCall` library test.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com >
2026-06-17 20:02:29 -07:00
Owen Mansel-Chan
e618883866
Merge pull request #21969 from github/copilot/investigate-missing-alerts
...
Python: Track instance attributes through type tracking
2026-06-18 00:04:45 +01:00
Owen Mansel-Chan
c7c1eca415
Merge branch 'main' into copilot/investigate-missing-alerts
2026-06-17 22:54:22 +01:00
Mathias Vorreiter Pedersen
3dd3e2c643
Merge pull request #21998 from MathiasVP/fix-autogenerated-dbschemes
...
Shared/Python: #21935 follow up
2026-06-17 17:30:20 +01:00
Mathias Vorreiter Pedersen
55f2f041ee
Shared: Ensure that YAML comment extraction is properly reflected in the dbscheme template.
2026-06-17 17:05:04 +01:00
Mathias Vorreiter Pedersen
004a5b4645
Python: Ensure that YAML comment extraction is properly reflected in the dbscheme template.
2026-06-17 17:04:43 +01:00
Jeroen Ketema
fefe01ecbf
Java: Update expected test results after extractor changes
2026-06-17 17:40:23 +02:00
Sotiris Dragonas
7960c5c291
Merge pull request #21953 from github/bazookamusic/cwe-1427
...
[Javascript] Prompt Injection queries
2026-06-17 18:05:18 +03:00
Sotiris Dragonas
57f20064ba
Merge branch 'main' into bazookamusic/cwe-1427
2026-06-17 17:12:20 +03:00
Owen Mansel-Chan
1f9899d7db
Extend added type tracking step to related types
2026-06-17 15:04:53 +01:00
Owen Mansel-Chan
dd61dd2d74
Fix FP for py/modification-of-locals
2026-06-17 14:24:18 +01:00
Owen Mansel-Chan
47c2c9e763
Add test for FP for py/modification-of-locals
2026-06-17 14:22:42 +01:00
Michael B. Gale
1cb5be52d0
Merge branch 'add-yaml-comments'
2026-06-17 13:59:08 +01:00
Owen Mansel-Chan
ea7510bf72
Refactor ReExposedInstance logic into one place
2026-06-17 13:10:47 +01:00