Anders Schack-Mulligen
|
b19f15b3aa
|
Java: Simplify ArithmeticCommon using BarrierGuards.
|
2025-08-07 15:43:00 +02:00 |
|
Anders Schack-Mulligen
|
9957cbe656
|
Java/Guards: Improve BarrierGuards to include validate(x = ...) checks.
|
2025-08-07 15:42:59 +02:00 |
|
Anders Schack-Mulligen
|
a04ff18ba4
|
Java: Enable validation wrappers in BarrierGuards.
|
2025-08-07 15:42:59 +02:00 |
|
Anders Schack-Mulligen
|
3674966946
|
Merge pull request #20121 from aschackmull/guards/wrapperguard
Guards: Improve support for wrapped guards
|
2025-08-07 15:41:04 +02:00 |
|
Anders Schack-Mulligen
|
2909def9b6
|
Guards: Rename predicate.
|
2025-08-07 14:51:50 +02:00 |
|
Anders Schack-Mulligen
|
b51c0e7cb6
|
Java: Add change note.
|
2025-08-07 14:51:50 +02:00 |
|
Anders Schack-Mulligen
|
d9cfe14729
|
Java: Accept qltest change.
|
2025-08-07 14:51:49 +02:00 |
|
Anders Schack-Mulligen
|
a40ae3a11a
|
Guards: Slight join-order improvement.
|
2025-08-07 14:51:49 +02:00 |
|
Anders Schack-Mulligen
|
ec513ead0d
|
Guards: Add support for extending BarrierGuards with wrapped invocations.
|
2025-08-07 14:51:48 +02:00 |
|
Anders Schack-Mulligen
|
f90b6ab005
|
Guards: Add support for wrappers that may throw exceptions.
|
2025-08-07 14:51:48 +02:00 |
|
Anders Schack-Mulligen
|
b156bd5ce2
|
Guards: Rename predicate.
|
2025-08-07 14:51:48 +02:00 |
|
Anders Schack-Mulligen
|
0c31a80f3c
|
Guards: Generalise wrapper guards.
|
2025-08-07 14:51:47 +02:00 |
|
Anders Schack-Mulligen
|
6e52df1639
|
Guards: Rename module.
|
2025-08-07 14:51:47 +02:00 |
|
Anders Schack-Mulligen
|
1bdaa2420d
|
Java: Simplify Guards instantiation a bit.
|
2025-08-07 14:51:46 +02:00 |
|
Anders Schack-Mulligen
|
3aaf48de11
|
Guards: Remove CustomGuard nesting in Guards instantiation.
|
2025-08-07 14:51:46 +02:00 |
|
Tom Hvitved
|
e172e74357
|
Rust: Remove comment from type inference test
|
2025-08-07 10:37:19 +02:00 |
|
Tom Hvitved
|
1be542ec56
|
Rust: Generalize certain type inference logic
|
2025-08-07 10:37:17 +02:00 |
|
Geoffrey White
|
aafdf1a279
|
Rust: Update StreamCipherInit to use getCanonicalPath.
|
2025-08-07 09:27:51 +01:00 |
|
Tom Hvitved
|
dfe4401f13
|
Merge pull request #20169 from hvitved/javascript/legacy-summary-steps
JS: Generate legacy flow steps for all flow summaries
|
2025-08-06 18:52:39 +02:00 |
|
Geoffrey White
|
e991aa3253
|
Merge branch 'main' into cleartextstorage
|
2025-08-06 15:49:44 +01:00 |
|
Tom Hvitved
|
ed3a33fdc6
|
Merge pull request #20177 from hvitved/rust/type-inference-where
Rust: Improve handling of where clauses in type inference and path resolution
|
2025-08-06 15:52:56 +02:00 |
|
Geoffrey White
|
d215ea16da
|
Merge pull request #19802 from geoffw0/sqlx
Rust: Update SqlxQuery, SqlxExecute to use getCanonicalPath
|
2025-08-06 14:52:03 +01:00 |
|
Simon Friis Vindum
|
b50a76693a
|
Rust: Handle multiple type bounds for the same type parameter in getTypeBound
|
2025-08-06 11:15:28 +02:00 |
|
Simon Friis Vindum
|
0cfb22ff3f
|
Rust: Add example with multiple where clause items for the same type parameter
|
2025-08-06 11:15:24 +02:00 |
|
Simon Friis Vindum
|
b302f3f98f
|
Rust: Improve handling of where clauses in type inference and path resolution
|
2025-08-06 11:08:18 +02:00 |
|
Simon Friis Vindum
|
766083290c
|
Rust: Add tests with where clause
|
2025-08-06 11:08:13 +02:00 |
|
Tom Hvitved
|
d201ce1705
|
Merge pull request #20155 from paldepind/rust/type-inference-certain
Rust: Add predicate for certain type information
|
2025-08-06 10:55:34 +02:00 |
|
Tom Hvitved
|
1f15fc8a35
|
Merge pull request #20173 from hvitved/rust/type-mention-remove-restriction
Rust: Remove restriction in `PathTypeMention`
|
2025-08-06 10:13:23 +02:00 |
|
Tom Hvitved
|
eb3c054b0f
|
JS: Generate legacy flow steps for all flow summaries
|
2025-08-06 09:38:49 +02:00 |
|
Geoffrey White
|
83ec1d0254
|
Rust: Add the new query sinks to the Stats.qll import, so that they're reported correctly.
|
2025-08-05 20:20:40 +01:00 |
|
Geoffrey White
|
0d4f8765a6
|
Merge pull request #20167 from geoffw0/mdlcleanup
Rust: Clean up some odds and ends
|
2025-08-05 19:25:46 +01:00 |
|
Tom Hvitved
|
a396f9345e
|
Rust: Remove restriction in PathTypeMention
|
2025-08-05 15:05:43 +02:00 |
|
Tom Hvitved
|
11dcd90435
|
Shared: Use final aliases in ConcentsShared.qll
|
2025-08-05 14:53:52 +02:00 |
|
Anders Schack-Mulligen
|
1823355fae
|
Merge pull request #20171 from aschackmull/java/nullness-fn
Java: document nullness false negative as qltest
|
2025-08-05 14:17:09 +02:00 |
|
Anders Schack-Mulligen
|
94274288d3
|
Merge pull request #20127 from aschackmull/java/joinorder3
Java: Improve a couple of join-orders
|
2025-08-05 14:15:42 +02:00 |
|
Anders Schack-Mulligen
|
c59d20a668
|
Merge pull request #20163 from aschackmull/java/postdom-normal
Java: Assume normal termination in post-dominance.
|
2025-08-05 14:01:04 +02:00 |
|
Anders Schack-Mulligen
|
23aac0ac51
|
Java: document nullness false negative as qltest
|
2025-08-05 13:49:51 +02:00 |
|
Geoffrey White
|
c8e9ed3eda
|
Merge branch 'main' into cleartextstorage
|
2025-08-05 12:44:55 +01:00 |
|
Tom Hvitved
|
6e90823bd9
|
Merge pull request #20158 from hvitved/csharp/has-callable-constructor
C#: Include constructors in `ValueOrRefType.hasCallable`
|
2025-08-05 12:59:29 +02:00 |
|
Paolo Tranquilli
|
27650267a1
|
Merge branch 'main' into redsun82/cargo-upgrade-2
|
2025-08-05 11:18:56 +02:00 |
|
Anders Schack-Mulligen
|
273429d14a
|
Java: Accept qltest output
|
2025-08-05 10:32:53 +02:00 |
|
Tom Hvitved
|
b426d84e1c
|
Merge pull request #20164 from hvitved/rust/fix-bad-join
Rust: Fix bad join
|
2025-08-05 09:55:51 +02:00 |
|
Geoffrey White
|
dcda6db88b
|
Rust: Lets not try to maintain this list.
|
2025-08-04 19:51:34 +01:00 |
|
Geoffrey White
|
0a49b65887
|
Rust: Make the rust/cleartext-transmission alert message more consistent with similar queries.
|
2025-08-04 19:47:33 +01:00 |
|
Chuan-kai Lin
|
e2b8d7b1ea
|
Merge pull request #20166 from github/post-release-prep/codeql-cli-2.22.3
Post-release preparation for codeql-cli-2.22.3
|
2025-08-04 11:38:38 -07:00 |
|
Geoffrey White
|
6c024a5f9e
|
Rust: Remove unnecessary pattern matching in cleartext logging query sinks (probably inherited from another query or language where it is used).
|
2025-08-04 19:28:40 +01:00 |
|
Geoffrey White
|
eab7481b97
|
Rust: Accept CWE-312 consistency check failures.
|
2025-08-04 18:26:09 +01:00 |
|
github-actions[bot]
|
fb4b0aac53
|
Post-release preparation for codeql-cli-2.22.3
|
2025-08-04 17:18:08 +00:00 |
|
Chuan-kai Lin
|
da3e5479df
|
Merge pull request #20165 from github/release-prep/2.22.3
Release preparation for version 2.22.3
codeql-cli/v2.22.3
|
2025-08-04 09:19:35 -07:00 |
|
Geoffrey White
|
def655f994
|
Rust: Accept changes to the CWE-089 test (there are some duplicate results that an existing unmerged PR will address).
|
2025-08-04 17:15:48 +01:00 |
|