Michael Nebel
|
ab432ec2e9
|
C#: Update test expected output.
|
2026-01-16 11:54:04 +01:00 |
|
Michael Nebel
|
5942edf2d9
|
C#: Take null conditional assignments into account in MaybeNullExpr.
|
2026-01-16 11:54:02 +01:00 |
|
Michael Nebel
|
f0135e93c5
|
C#: Add a tests for MaybeNullExpr.
|
2026-01-16 11:54:01 +01:00 |
|
Michael Nebel
|
4ba89230db
|
C#: Update test expected output.
|
2026-01-16 11:53:59 +01:00 |
|
Michael Nebel
|
0bf0cbae8f
|
C#: Add some null conditional assignments CFG tests.
|
2026-01-16 11:53:57 +01:00 |
|
Michael Nebel
|
b061c4d083
|
C#: Update test expected output.
|
2026-01-16 11:53:55 +01:00 |
|
Michael Nebel
|
98949937dd
|
C#: Add CFG support for null conditional assignments and include eg. field access in the CFG.
|
2026-01-16 11:53:54 +01:00 |
|
Simon Friis Vindum
|
ec094400fb
|
Merge pull request #21172 from paldepind/rust/dyn-abs
Rust: Avoid unnecessary constraint satisfaction
|
2026-01-16 11:32:39 +01:00 |
|
Simon Friis Vindum
|
78b88d3a44
|
Rust: Fix grammar in QLDoc
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2026-01-16 11:26:05 +01:00 |
|
Simon Friis Vindum
|
6b3d863f70
|
Rust: Remove trait parameter from canonicalDynTraitTypeAbstraction
|
2026-01-16 11:12:34 +01:00 |
|
Owen Mansel-Chan
|
c14b869856
|
Merge pull request #21175 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2026-01-16 09:49:29 +00:00 |
|
Simon Friis Vindum
|
a11693268b
|
Rust: Avoid duplicated entries in conditionSatisfiesConstraint for dyn trait types
|
2026-01-16 10:46:23 +01:00 |
|
Simon Friis Vindum
|
c0b3569473
|
Rust: Move TypeAbstraction into separate file
|
2026-01-16 10:45:50 +01:00 |
|
Simon Friis Vindum
|
9ab29f9be0
|
Rust: Add a change note for type inference improvements for closures
|
2026-01-16 10:05:45 +01:00 |
|
Simon Friis Vindum
|
dabc5d54c9
|
Rust: Improve type inference for closures and function traits
|
2026-01-16 10:01:00 +01:00 |
|
github-actions[bot]
|
549307a6bd
|
Add changed framework coverage reports
|
2026-01-16 00:26:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
6da7890ff5
|
C++: Add indirect barrier guard to 'cpp/unbounded-write' to prevent FPs after fixing conflation.
|
2026-01-15 18:31:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
03d6528687
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedAssertion.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2026-01-15 15:58:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
1b117900c2
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2026-01-15 14:42:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
d6ca1ca846
|
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2026-01-15 14:41:13 +00:00 |
|
Owen Mansel-Chan
|
a5d9cb179a
|
Merge pull request #20930 from owen-mc/java/spring-rest-template-request-forgery-sinks
Java: add more Spring RestTemplate request forgery sinks
|
2026-01-15 14:23:15 +00:00 |
|
Tom Hvitved
|
d3fc254e17
|
Merge pull request #21169 from hvitved/shard-compile-queries
Make `compile-queries.yml` sharded based on language
|
2026-01-15 15:11:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
28681508f3
|
C++: Fix bug and accept test changes.
|
2026-01-15 11:17:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
27a437a514
|
C++: Modify test to reveal a bug.
|
2026-01-15 11:16:15 +00:00 |
|
Simon Friis Vindum
|
196f6e1931
|
Rust: Add type inference tests for closures and function traits
|
2026-01-15 12:00:41 +01:00 |
|
Simon Friis Vindum
|
d8061c17cc
|
Merge pull request #21165 from paldepind/rust/associated-types
Rust: Associated types are inherited as type parameters by traits and dyn traits
|
2026-01-15 11:50:00 +01:00 |
|
Owen Mansel-Chan
|
97e0b4e9fd
|
Use parameter name to only select correct overloads
|
2026-01-15 10:36:03 +00:00 |
|
Simon Friis Vindum
|
15f3c38041
|
Rust: QLDoc fixes
|
2026-01-15 11:34:58 +01:00 |
|
Anders Schack-Mulligen
|
c632e8f188
|
Merge pull request #20448 from github/alexet/avoid-path-node-java
Java: Eliminate pointless use of PathNodes over DataFlow::Node
|
2026-01-15 10:55:09 +01:00 |
|
Tom Hvitved
|
b4bbafa96f
|
Make compile-queries.yml sharded based on language
|
2026-01-15 10:30:08 +01:00 |
|
Owen Mansel-Chan
|
13dc17c9b8
|
Merge pull request #21167 from owen-mc/java/docs/library-coverage
Java: List more covered java frameworks explicitly in docs
|
2026-01-15 09:18:51 +00:00 |
|
Jeroen Ketema
|
3327193a11
|
Merge pull request #21164 from jketema/jketema/builtin
C++: More builtins and information regarding this param refs
|
2026-01-15 08:21:01 +01:00 |
|
Owen Mansel-Chan
|
6e0a1ba233
|
List more covered java frameworks explicitly
|
2026-01-15 07:18:15 +00:00 |
|
Simon Friis Vindum
|
8cbe17a62b
|
Rust: Fix bad join on name column
|
2026-01-15 07:23:34 +01:00 |
|
Simon Friis Vindum
|
ca3e2db217
|
Rust: Accept changes to expected files
|
2026-01-14 16:00:59 +01:00 |
|
Simon Friis Vindum
|
465400115f
|
Rust: Adapt type inference consistency query exceptions
|
2026-01-14 15:36:35 +01:00 |
|
Owen Mansel-Chan
|
0cf0aac397
|
Merge pull request #21109 from owen-mc/go/misc-trivial-fixes
Go: misc trivial fixes
|
2026-01-14 14:10:41 +00:00 |
|
Jeroen Ketema
|
17a453bb33
|
Merge pull request #21126 from jketema/subscript
C++: Add predicates to support C++23 multidimensional subscript operators
|
2026-01-14 14:48:14 +01:00 |
|
Simon Friis Vindum
|
a19ad5e557
|
Rust: Associated types are inherited as type parameters by traits and dyn traits
|
2026-01-14 14:44:31 +01:00 |
|
Simon Friis Vindum
|
62193540f7
|
Rust: Add additional tests for associated types
|
2026-01-14 14:44:30 +01:00 |
|
Simon Friis Vindum
|
fd5658dfe8
|
Rust: Tweak tests for associated types
|
2026-01-14 14:44:23 +01:00 |
|
Simon Friis Vindum
|
e0c36c758d
|
Rust: Move associated types tests into separate file
|
2026-01-14 14:39:59 +01:00 |
|
Tom Hvitved
|
991d30f7aa
|
Merge pull request #21161 from hvitved/rust/restrict-implicit-deref-borrow-nodes
Rust: Restrict `ImplicitDerefBorrowNode` to nodes with enclosing CFG scope
|
2026-01-14 14:37:40 +01:00 |
|
Jeroen Ketema
|
1dacd83915
|
C++: Update dbscheme stats file
|
2026-01-14 13:35:53 +01:00 |
|
Jeroen Ketema
|
7a13cbae3f
|
C++: Add upgrade and downgrade scripts
|
2026-01-14 13:35:52 +01:00 |
|
Jeroen Ketema
|
f6b720b37b
|
C++: Add change note
|
2026-01-14 13:35:51 +01:00 |
|
Jeroen Ketema
|
047fa068ff
|
C++: Add isThisAccess predicate to ParamAccessForType
|
2026-01-14 13:35:50 +01:00 |
|
Jeroen Ketema
|
bb33ea383c
|
C++: Add change note for new builtins
|
2026-01-14 13:35:49 +01:00 |
|
Jeroen Ketema
|
93535d1c86
|
C++: Add tests for new builtin operations
|
2026-01-14 13:35:47 +01:00 |
|
Jeroen Ketema
|
3d959abdeb
|
C++: Support new builtin operations
|
2026-01-14 13:35:46 +01:00 |
|