Asger F
30096f3a94
Revert "JS: Add compileForOverlayEval"
...
This reverts commit 39f74d808b
2025-11-04 15:11:50 +01:00
Asger F
9bed94856d
Revert "JS: Recursively delete source archive so emptiness detection works"
...
This reverts commit 0acfacefbf
2025-11-04 15:11:48 +01:00
Asger F
41f9208357
Revert "Actions: dont fail if no JS/TS code was found"
...
This reverts commit c4d23d16ed
2025-11-04 15:11:47 +01:00
Asger F
4988b801e0
Revert "Update javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java"
...
This reverts commit 105213df03
2025-11-04 15:11:45 +01:00
Asger F
be2818b1f9
Revert "JS: Fix check to account for override in tests"
...
This reverts commit 81bb07a7ba
2025-11-04 15:11:43 +01:00
Asger F
d297dcd9e9
Merge pull request #20752 from asgerf/actions/dont-fail-if-no-js
...
Actions: don't fail if no JS/TS code was found
2025-11-04 13:12:12 +01:00
Asger F
81bb07a7ba
JS: Fix check to account for override in tests
...
The code was written on the assumption that 'seenCode' implies 'seenFiles' but the unit test override 'hasSeenCode()' to always return true. Which meant we would start taking this branch in the unit tests.
2025-11-04 11:46:02 +01:00
Geoffrey White
077bcf6b92
Merge pull request #20740 from geoffw0/rustbarriers
...
Rust: Add numeric type barriers for three queries
2025-11-04 10:08:46 +00:00
Asger F
105213df03
Update javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2025-11-04 09:51:56 +01:00
Asger F
c4d23d16ed
Actions: dont fail if no JS/TS code was found
2025-11-04 09:37:33 +01:00
Geoffrey White
c381153125
Apply suggestions from code review
...
Co-authored-by: Tom Hvitved <hvitved@github.com >
2025-11-03 09:38:43 +00:00
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
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
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
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
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
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
