Jeroen Ketema
d354b0c97e
Merge pull request #20732 from jketema/swift-6.2-elements
...
Swift: Support AST elements new in Swift 6.2
2025-10-31 19:33:13 +01:00
Geoffrey White
8548c167be
Rust: Autoformat.
2025-10-31 17:30:04 +00:00
Geoffrey White
34f75952d0
Rust: Change note.
2025-10-31 16:40:02 +00:00
Geoffrey White
33efed92b8
Rust: Add integral type barrier for Regex injection.
2025-10-31 16:37:10 +00:00
Geoffrey White
2d4369ac6c
Rust: Add numeric type barrier for log injection.
2025-10-31 16:32:32 +00:00
Geoffrey White
52397f0ce0
Rust: Add numeric type barrier for SQL injection.
2025-10-31 16:25:44 +00:00
Geoffrey White
6433bec699
Rust: Add a test for BuiltinTypes.
2025-10-31 16:24:51 +00:00
Geoffrey White
47019f7f24
Rust: Define NumericType, IntegralType and FloatingPointType in Builtins.qll.
2025-10-31 16:24:39 +00:00
Geoffrey White
aaa3b1bcb4
Rust: Add a couple of new test cases.
2025-10-31 16:20:52 +00:00
Ian Lynagh
7ff696bd2d
Merge pull request #20726 from igfoo/igfoo/ClassInstanceStack
...
Kotlin: Avoid infinite recursion when extracting recursive interfaces
2025-10-31 16:18:39 +00:00
Anders Schack-Mulligen
bda6513fc1
Merge pull request #20737 from aschackmull/csharp/deprecate-abstractvalue
...
C#: Deprecate AbstractValue.
2025-10-31 15:20:24 +01:00
Ian Lynagh
06218d8acd
Kotlin: Add a test for recursive interfaces
2025-10-31 13:42:44 +00:00
Ian Lynagh
9182da1d58
Kotlin: Add a test for nested types
2025-10-31 13:42:44 +00:00
Ian Lynagh
1efecc099c
Kotlin: Avoid infinite recursion when extracting recursive interfaces
2025-10-31 13:42:43 +00:00
Anders Schack-Mulligen
fa20075a4d
C#: Review fix and simplification.
2025-10-31 14:41:32 +01:00
Anders Schack-Mulligen
4f6528a9fb
C#: Deprecate AbstractValue.
2025-10-31 14:23:23 +01:00
Anders Schack-Mulligen
eb93e8ed41
C#: Deprecate controlsBlock.
2025-10-31 14:22:11 +01:00
Anders Schack-Mulligen
4de564eb4e
C#: Replace reference to controlsBlock and simplify.
2025-10-31 14:17:35 +01:00
Anders Schack-Mulligen
f6dfcf1ca4
C#: Delete splitting-aware controls implementation.
2025-10-31 14:17:35 +01:00
Anders Schack-Mulligen
ab2c2ef6ae
C#: Update isUnreachableInCall in dataflow to use Guards library.
2025-10-31 14:17:34 +01:00
Anders Schack-Mulligen
e558c0219c
Merge pull request #20734 from aschackmull/csharp/tweak-nullness
...
C#: Allow nullness sources with SSA at entry.
2025-10-31 14:14:43 +01:00
Anders Schack-Mulligen
09378b8499
Merge pull request #20665 from aschackmull/csharp/guards-replace
...
C#: Replace old Guards with the new shared implementation.
2025-10-31 14:12:47 +01:00
copilot-swe-agent[bot]
ad51b61a2b
Fix trailing whitespace in documentation comments
...
Co-authored-by: hvitved <3667920+hvitved@users.noreply.github.com >
2025-10-31 13:07:04 +00:00
copilot-swe-agent[bot]
6011ecbef4
Add ConstAccess class with getConst() predicate and test cases
...
Co-authored-by: hvitved <3667920+hvitved@users.noreply.github.com >
2025-10-31 13:01:25 +00:00
copilot-swe-agent[bot]
09bef0f4df
Initial plan
2025-10-31 12:51:08 +00:00
Tom Hvitved
95e60ad4a7
Merge pull request #20705 from hvitved/rust/type-inference-unit
...
Rust: Infer more `()` types
2025-10-31 13:43:10 +01:00
Geoffrey White
d8fff44048
Merge pull request #20712 from geoffw0/macrometric2
...
Rust: Exclude skipped files in rust/diagnostic/database-quality
2025-10-31 11:25:41 +00:00
Jeroen Ketema
2a8e3bee36
Swift: Add change note
2025-10-31 12:06:52 +01:00
Jeroen Ketema
94f8ea5612
Swift: Add upgrade and downgrade scripts
2025-10-31 11:35:50 +01:00
Anders Schack-Mulligen
5aa53287ce
C#: Allow nullness sources with SSA at entry.
2025-10-31 11:25:37 +01:00
Tom Hvitved
f672f6b731
Merge pull request #20727 from hvitved/rust/variable-overlap-fix
...
Rust: Fix variable access overlap
2025-10-31 11:07:30 +01:00
Jeroen Ketema
7301bc74cf
Swift: Fix key path numbering in upgrade and downgrade scripts
2025-10-31 11:01:04 +01:00
Jeroen Ketema
92ca0c2b62
Swift: Update expected test results
2025-10-31 10:53:11 +01:00
Tom Hvitved
6d64800e85
Rust: Move variable consistency check into AstConsistency.qll
2025-10-31 10:42:51 +01:00
Michael Nebel
ee6dd0f771
C#: Update integration tests expected output.
2025-10-31 10:37:49 +01:00
Jeroen Ketema
eab6579e12
Swift: sync files
2025-10-31 10:24:03 +01:00
Jeroen Ketema
f4d1e1c034
Swift: Handle InlineArrayTypes
2025-10-31 10:15:07 +01:00
Jeroen Ketema
72e8ec3951
Swift: Update comment for LocatableTypes
2025-10-31 10:02:12 +01:00
Jeroen Ketema
b9d0cb7746
Swift: Add basic support for experimental using decls
...
Note that we cannot write tests for these at the moment. Passing
```
-enable-experimental-feature DefaultIsolationPerFile
```
to the extractor results in:
```
error: experimental feature 'DefaultIsolationPerFile' cannot be enabled in production compile
```
2025-10-31 09:58:12 +01:00
Jeroen Ketema
67b6b9cd15
Swift: Support UnsafeExpr
2025-10-31 09:58:10 +01:00
Jeroen Ketema
119b058629
Swift: Handle method and initializer key path components in QL
...
Note that it does not seem to be possible to write test that exercise this
code. Passing `-enable-experimental-feature KeyPathWithMethodMembers` to the
extractor results in:
```
error: experimental feature 'KeyPathWithMethodMembers' cannot be enabled in production compiler
```
2025-10-31 09:58:09 +01:00
Jeroen Ketema
b08b123184
Swift: Support new accessors
2025-10-31 09:57:58 +01:00
Tom Hvitved
7d5664f2a8
Address review comment
2025-10-31 09:43:18 +01:00
Tom Hvitved
f850025583
Rust: Add another type inference test
2025-10-31 09:39:00 +01:00
Michael Nebel
ad02559b48
C#: Fix Binlog API breaking change.
2025-10-31 09:36:22 +01:00
Asger F
a1a9626eae
Merge pull request #20421 from asgerf/js/compile-for-overlay-eval
...
JS: Add compileForOverlayEval: true
2025-10-31 09:21:16 +01:00
Michael Nebel
0484be6b5b
C#: Update lock files.
2025-10-31 09:16:35 +01:00
Michael Nebel
f410c3c93a
C#: Update Microsft.Build, Roslyn and Binlog dependencies.
2025-10-31 09:16:07 +01:00
Tom Hvitved
5a2467414c
Rust: Fix variable access overlap
2025-10-30 21:52:36 +01:00
Tom Hvitved
3d7b60a439
Rust: Add variable consistency query
2025-10-30 21:40:37 +01:00
