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
Tom Hvitved
d71f2dee9c
Rust: Add more variable tests
2025-10-30 21:39:28 +01:00
Taus
e702d3bfc8
Python: Add change note
...
I wasn't entirely sure if this should be classified as `deprecated` or
`breaking`, but seeing as these changes technically _could_ break
existing queries (requiring a small rewrite), I opted for the latter.
2025-10-30 15:16:51 +00:00
Asger F
c583b480af
JS: Add pragma[nomagic] just to be safe
...
The DIL is unchanged
2025-10-30 15:31:51 +01:00
Asger F
1f7671cf5e
JS: Ensure integration test contains one valid file
2025-10-30 15:31:51 +01:00
Asger F
0acfacefbf
JS: Recursively delete source archive so emptiness detection works
2025-10-30 15:31:51 +01:00
Asger F
a5819a14be
JS: Fix bad join order in getNextToken()
2025-10-30 15:31:51 +01:00
Asger F
39f74d808b
JS: Add compileForOverlayEval
2025-10-30 15:31:51 +01:00
Simon Friis Vindum
a25ae3922d
Merge pull request #20682 from paldepind/rust/ti-condition
...
Rust: Refactor using shared constraint satisfaction
2025-10-30 15:19:16 +01:00
Taus
820d8e76c4
Python: Remove points-to from Module
2025-10-30 13:59:30 +00:00
Taus
b93ce98612
Python: Remove points-to from Expr
2025-10-30 13:58:59 +00:00
Simon Friis Vindum
c648aa69b8
Rust: Rename predicates
2025-10-30 14:35:17 +01:00
Taus
b434ce460e
Python: Get rid of getLiteralValue
...
This had only two uses in our libraries, so I simply inlined the
predicate body in both places.
2025-10-30 13:30:04 +00:00
Taus
fef08afff9
Python: Remove points-to to from ControlFlowNode
...
Moves the existing points-to predicates to the newly added class
`ControlFlowNodeWithPointsTo` which resides in the `LegacyPointsTo`
module.
(Existing code that uses these predicates should import this module, and
references to `ControlFlowNode` should be changed to
`ControlFlowNodeWithPointsTo`.)
Also updates all existing points-to based code to do just this.
2025-10-30 13:30:04 +00:00
Tom Hvitved
cca458c2ac
Rust: Address review comments and handle ! types in type inference
2025-10-30 13:30:42 +01:00
Geoffrey White
0e7d410163
Merge branch 'main' into macrometric2
2025-10-30 10:19:11 +00:00
Tom Hvitved
5697a7e612
Rust: More type inference tests
2025-10-30 10:43:44 +01:00
Simon Friis Vindum
b189f1fe3f
Rust: Refactor using shared constraint satisfaction
2025-10-30 08:18:12 +01:00
Jeroen Ketema
26f59a8786
Merge pull request #20710 from jketema/swift-rsc
...
Swift: Do not include the embedded resources
2025-10-29 17:38:07 +01:00
Jeroen Ketema
cf2cd20884
Swift: Update resources
2025-10-29 15:54:17 +01:00
Jeroen Ketema
ea6b05eda3
Update docs/codeql/codeql-overview/system-requirements.rst
2025-10-29 15:49:53 +01:00
Tom Hvitved
bc53fee1c5
Rust: Infer more () types
2025-10-29 15:43:00 +01:00
Tom Hvitved
f395162afd
Rust: More type inference tests
2025-10-29 15:41:23 +01:00
Tom Hvitved
3c663d8ebf
Merge pull request #20715 from hvitved/rust/type-inference-overlap-test
...
Rust: Add type inference tests for method resolution overlap
2025-10-29 15:39:07 +01:00
