Jeroen Ketema
|
79fd35a482
|
Swift: Remove flags related to explict modules in the tracer config
We have not found a good way to support these.
|
2025-10-24 14:37:57 +02:00 |
|
Jeroen Ketema
|
06d0d48416
|
Swift: Work around assertion failures in mangler
|
2025-10-24 14:37:55 +02:00 |
|
Jeroen Ketema
|
4d9827ff77
|
Swift: Update expected integration test results
|
2025-10-24 14:37:54 +02:00 |
|
Jeroen Ketema
|
192c9c3820
|
Swift: Document that tests disabled with Swift 6.1 are still broken with 6.2
|
2025-10-24 14:37:53 +02:00 |
|
Jeroen Ketema
|
b50ffe2e0c
|
Swift: Update PoundDiagnosticDecl test
These elements are no longer present in the Swift 6.2 AST.
|
2025-10-24 14:37:52 +02:00 |
|
Jeroen Ketema
|
7890dc6030
|
Swift: Update expected test results after 6.2 update
|
2025-10-24 14:37:51 +02:00 |
|
Jeroen Ketema
|
bc835a310a
|
Swift: Update KeyPathComponent for new kind values
|
2025-10-24 14:37:49 +02:00 |
|
Jeroen Ketema
|
d890feedda
|
Swift: Compensate for backwards going locations
|
2025-10-24 14:37:48 +02:00 |
|
Jeroen Ketema
|
626bc55caf
|
Swift: Fix AvailabilitySpec trap generation
|
2025-10-24 14:37:47 +02:00 |
|
Jeroen Ketema
|
300b5b15e7
|
Swift: Mangle function type lifetimes
|
2025-10-24 14:37:46 +02:00 |
|
Jeroen Ketema
|
e79c0b0405
|
Swift: Update generated files
|
2025-10-24 14:37:45 +02:00 |
|
Jeroen Ketema
|
22dddb0216
|
Swift: Fix unavailability checks after 6.2 upgrade
|
2025-10-24 14:37:43 +02:00 |
|
Jeroen Ketema
|
2ef8bb0c53
|
Swift: Make extractor compile with Swift 6.2
|
2025-10-24 14:37:42 +02:00 |
|
Tom Hvitved
|
32f21d6d49
|
Merge pull request #20688 from hvitved/java/request-forgery-matches-sanitizer
Java: Treat `x.matches(regexp)` as a sanitizer for request forgery
|
2025-10-24 14:34:32 +02:00 |
|
REDMOND\brodes
|
ed492c7d5a
|
Crypto: Fixed bug in WeakSymmetricCipher.qll, forgot to not only filter if !=AES but the algorithm must still be a SymmetriCipher algorithm.
|
2025-10-24 08:16:22 -04:00 |
|
Tom Hvitved
|
a4eab484ce
|
Address review comments
|
2025-10-24 13:32:39 +02:00 |
|
Joe Farebrother
|
8c277bd1d9
|
Merge pull request #20494 from joefarebrother/python-insecure-cookie-split
Python: Split Insecure Cookie query into multiple queries
|
2025-10-24 11:10:20 +01:00 |
|
Tom Hvitved
|
0e885e9297
|
Rust: Compute incompatible blanket implementations
|
2025-10-24 11:37:24 +02:00 |
|
Tom Hvitved
|
2a43a95049
|
Rust: More type inference tests
|
2025-10-24 11:37:22 +02:00 |
|
Tom Hvitved
|
672977acfa
|
Merge pull request #20592 from hvitved/rust/type-inference-branch-propagation
Rust: Non-symmetric type propagation for lub coercions
|
2025-10-24 11:35:24 +02:00 |
|
Tom Hvitved
|
ce379161fc
|
Add change note
|
2025-10-24 09:34:11 +02:00 |
|
Tom Hvitved
|
74411ff979
|
Merge pull request #20687 from hvitved/js/remove-invalid-qhelp-links
JS: Remove two invalid QHelp links
|
2025-10-24 09:22:33 +02:00 |
|
Tom Hvitved
|
7a9cb64e2e
|
Java: Treat x.matches(regexp) as a sanitizer for request forgery
|
2025-10-24 09:06:57 +02:00 |
|
Anders Schack-Mulligen
|
3542cdab43
|
Merge pull request #20677 from aschackmull/csharp/disable-exc-split
C#: Delete exception splitting.
|
2025-10-24 08:46:33 +02:00 |
|
Tom Hvitved
|
eb9df008b0
|
JS: Remove two invalid QHelp links
|
2025-10-24 08:45:12 +02:00 |
|
Tom Hvitved
|
ff31f0e3df
|
Address review comments
|
2025-10-23 20:17:28 +02:00 |
|
Geoffrey White
|
7acd214d7b
|
Merge pull request #20673 from geoffw0/sourcestest
Rust: Split up the dataflow/sources test
|
2025-10-23 13:08:43 +01:00 |
|
Anders Schack-Mulligen
|
6f72234fec
|
Merge pull request #20680 from aschackmull/shared/align-ssa-interface
Shared: Align SSA interfaces in Guards and ControlFlowReachability with shared SSA
|
2025-10-23 13:12:31 +02:00 |
|
Anders Schack-Mulligen
|
ebb50cd402
|
C#: Accept qltest changes.
|
2025-10-23 12:48:44 +02:00 |
|
Paolo Tranquilli
|
d11b44599e
|
Merge pull request #20679 from github/redsun82/fix-rust-vendor-check
Bazel: upgrade `rules_rust`
|
2025-10-23 12:14:32 +02:00 |
|
Anders Schack-Mulligen
|
72d83cc966
|
ControlFlowReachability: Align the SSA signature with the one from shared SSA.
|
2025-10-23 10:57:21 +02:00 |
|
Paolo Tranquilli
|
8f5f65e5fa
|
Bazel: upgrade rules_rust
|
2025-10-23 10:49:51 +02:00 |
|
Anders Schack-Mulligen
|
f257c7a570
|
Guards: Align the SSA signature with the one from shared SSA.
|
2025-10-23 10:23:22 +02:00 |
|
Anders Schack-Mulligen
|
f6cddc9db7
|
Merge pull request #20678 from aschackmull/shared/rename-cfg-reach
Shared/Java: Rename ControlFlowReachability library.
|
2025-10-23 10:22:15 +02:00 |
|
Geoffrey White
|
47334fbab7
|
Rust: Accept changes to the web_frameworks results.
|
2025-10-23 09:06:11 +01:00 |
|
Anders Schack-Mulligen
|
20147cdd2b
|
Shared/Java: Rename ControlFlowReachability library.
|
2025-10-23 09:07:34 +02:00 |
|
Anders Schack-Mulligen
|
dff327ea16
|
C#: Delete exception splitting.
|
2025-10-23 08:56:56 +02:00 |
|
Anders Schack-Mulligen
|
8a3f62b9b6
|
Merge pull request #20558 from aschackmull/csharp/guards3
C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness
|
2025-10-23 08:43:14 +02:00 |
|
Nicolas Will
|
c7ef8a5ab3
|
Merge pull request #20605 from bdrodes/santander-java-crypto-check
Crypto: Add Java Cryptographic Analysis Queries
|
2025-10-23 01:30:50 +02:00 |
|
REDMOND\brodes
|
bdad95d810
|
Crypto: Fixed alphabetical ordering issue in not_included_in_qls.expected
|
2025-10-22 15:56:14 -04:00 |
|
REDMOND\brodes
|
08379393b3
|
Crypto: Fix off by one column issue in unit tests.
|
2025-10-22 15:50:33 -04:00 |
|
REDMOND\brodes
|
3561d01144
|
Crytpo: Trying to fix in pipeline test failure, experimentally altering a line to see if this forces the test to pass. The test is off by one column in the piepline
|
2025-10-22 14:16:12 -04:00 |
|
Tom Hvitved
|
65b706ab80
|
Rust: Non-symmetric type propagation for lub coercions
|
2025-10-22 19:57:38 +02:00 |
|
Tom Hvitved
|
00bf049c85
|
Rust: Add more type inference tests
|
2025-10-22 19:57:37 +02:00 |
|
Tom Hvitved
|
c84cec9d29
|
Merge pull request #20664 from hvitved/rust/callable-get-body
Rust: Add `Callable.getBody()`
|
2025-10-22 19:57:14 +02:00 |
|
Geoffrey White
|
e18bf1661a
|
Rust: Accept result de-regression.
|
2025-10-22 17:52:12 +01:00 |
|
Geoffrey White
|
6b08297c2a
|
Rust: Repair after merge.
|
2025-10-22 17:46:25 +01:00 |
|
Geoffrey White
|
bc4d8a8425
|
Merge branch 'main' into sourcestest
|
2025-10-22 17:31:25 +01:00 |
|
Ben Rodes
|
e16543ab6d
|
Merge branch 'main' into santander-java-crypto-check
|
2025-10-22 11:51:13 -04:00 |
|
Geoffrey White
|
5d2ddbfa8e
|
Merge pull request #20670 from geoffw0/missingmetric
Rust: Add expressions with known type metric
|
2025-10-22 15:42:48 +01:00 |
|