Michael Nebel
131d4a0d81
C#: Fix the cs/path-combine code quality issues in the extractor.
2026-06-19 10:22:40 +02:00
Michael Nebel
2686026608
Merge pull request #21993 from michaelnebel/csharp/dropmono
...
C#: Only use `nuget.exe` on Windows or machines with Mono.
2026-06-19 09:53:04 +02:00
idrissrio
ebb74a56f6
Java: accept new test results
2026-06-19 09:38:16 +02:00
Owen Mansel-Chan
1d69c30ec1
Merge pull request #22010 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2026-06-19 03:26:14 +01:00
github-actions[bot]
65a3153066
Add changed framework coverage reports
2026-06-19 01:06:45 +00:00
Geoffrey White
721070a191
Rust: Make the Seed case a tiny bit more realistic.
2026-06-18 23:43:18 +01:00
Geoffrey White
b86cb6df63
Rust: Additional test cases for weak sensitive data hashing.
2026-06-18 23:32:38 +01:00
Geoffrey White
3aaeb68553
Rust: Make the new test inline expectations.
2026-06-18 22:57:15 +01:00
Geoffrey White
e8923b7688
Rust: Output cryptographic operations in the weak sensitive data hashing query test.
2026-06-18 17:07:28 +01:00
Sotiris Dragonas
ea87f59480
JS: Add and reclassify prompt-injection sinks for AI SDKs
...
Add missing system/user prompt-injection sinks across the OpenAI,
Anthropic, and Google GenAI JavaScript models:
- OpenAI videos.create/edit/extend/remix prompts (user)
- OpenAI beta.realtime.sessions.create instructions (system)
- Anthropic legacy completions.create prompt (user)
- Google GenAI caches.create config.systemInstruction (system)
- Google GenAI caches.create config.contents (user)
Also reclassify the OpenAI legacy completions.create prompt from
system-prompt-injection to user-prompt-injection: the legacy
/v1/completions endpoint takes a single free-form prompt with no role
separation, so it is the text-in/text-out equivalent of a user message.
Note: videos.remix takes the prompt in Argument[1] (remix(videoID, body)),
and Google GenAI caches.create nests both contents and systemInstruction
under config, so the model entries differ slightly from a naive mapping.
Add corresponding test cases with inline annotations and regenerate the
.expected files.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com >
2026-06-18 17:32:10 +03:00
Owen Mansel-Chan
db5fac17bf
Add QLDoc to MakeSsa to silence CI
2026-06-18 14:54:21 +01:00
Owen Mansel-Chan
fc06aa1a32
Update expected data flow consistency results
2026-06-18 14:54:19 +01:00
idrissrio
99fb3879b2
Java: update ferstl script
2026-06-18 15:43:30 +02:00
Henry Mercer
4e7e363067
Merge branch 'main' into copilot/make-go-use-ssa-library
2026-06-18 14:31:47 +01:00
Anders Schack-Mulligen
779309edb1
Merge pull request #21999 from aschackmull/cfg/parameter-pattern
...
Cfg: Distinguish parameters from their patterns.
2026-06-18 15:18:22 +02:00
Owen Mansel-Chan
2d34b0be1b
Merge branch 'main' into copilot/make-go-use-ssa-library
2026-06-18 14:09:20 +01:00
Asger F
2182265120
unified/swift: Better source range for inferred_type_expr
2026-06-18 14:57:55 +02:00
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
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
