Geoffrey White
|
0544ea8728
|
Rust: Add postgres sources.
|
2025-08-11 18:43:11 +01:00 |
|
Geoffrey White
|
4bbffc56a8
|
Rust: Expand tokio-postgres sources.
|
2025-08-11 18:42:44 +01:00 |
|
Geoffrey White
|
35681d0617
|
Rust: Add SQLx sources.
|
2025-08-11 18:05:58 +01:00 |
|
Geoffrey White
|
5056ebf186
|
Rust: Fix typo in one of the models.
|
2025-08-11 18:05:42 +01:00 |
|
Geoffrey White
|
17741af88e
|
Rust: Fill out a few gaps in the models.
|
2025-08-11 17:45:51 +01:00 |
|
Geoffrey White
|
b31186451f
|
Rust: Test more variants of rusqlite usage.
|
2025-08-11 17:41:28 +01:00 |
|
Geoffrey White
|
31353e7efc
|
Rust: Test more variants of postgres usage.
|
2025-08-11 17:41:24 +01:00 |
|
Tom Hvitved
|
9905cd6436
|
Merge pull request #20192 from hvitved/rust/path-resolution-remove-source-lib-dedup
Rust: Remove source/library deduplication in path resolution
|
2025-08-11 13:40:34 +02:00 |
|
Geoffrey White
|
5fc8db8244
|
Merge pull request #20137 from geoffw0/cleartextstorage
Rust: New Query rust/cleartext-storage-database
|
2025-08-11 12:33:24 +01:00 |
|
Geoffrey White
|
3382d06ede
|
Rust: Remove newline.
|
2025-08-11 11:51:21 +01:00 |
|
Geoffrey White
|
a1bc865691
|
Merge pull request #20185 from geoffw0/typeconsistencycounts
Rust: Add rust/diagnostics/type-inference-consistency-counts.
|
2025-08-11 09:42:19 +01:00 |
|
Geoffrey White
|
04014d9bf0
|
Merge pull request #20150 from geoffw0/ctorinit
Rust: Update BadCtorInitialization.ql to use getCanonicalPath.
|
2025-08-11 09:41:16 +01:00 |
|
Tom Hvitved
|
c043e30d46
|
Rust: Remove source/library deduplication in path resolution
|
2025-08-08 13:28:18 +02:00 |
|
Geoffrey White
|
1965fdb158
|
Rust: Update consistency .expected.
|
2025-08-07 18:41:47 +01:00 |
|
Geoffrey White
|
38f4f8d1d2
|
Rust: Update suite lists.
|
2025-08-07 15:28:01 +01:00 |
|
Geoffrey White
|
c5f83c4423
|
Rust: Add rust/diagnostics/type-inference-consistency-counts.
|
2025-08-07 14:43:48 +01: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 |
|
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 |
|
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 |
|
Geoffrey White
|
c8e9ed3eda
|
Merge branch 'main' into cleartextstorage
|
2025-08-05 12:44:55 +01:00 |
|
Paolo Tranquilli
|
27650267a1
|
Merge branch 'main' into redsun82/cargo-upgrade-2
|
2025-08-05 11:18:56 +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 |
|
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 |
|
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 |
|
Chuan-kai Lin
|
4df1c12876
|
Minor CHANGELOG updates
|
2025-08-04 09:09:25 -07:00 |
|
Geoffrey White
|
b60faadf70
|
Rust: Change note.
|
2025-08-04 17:07:58 +01:00 |
|
github-actions[bot]
|
fd82aeb1f8
|
Release preparation for version 2.22.3
|
2025-08-04 15:47:57 +00:00 |
|
Geoffrey White
|
836f797def
|
Rust: Accept suite changes.
|
2025-08-04 16:43:21 +01:00 |
|
Tom Hvitved
|
651e1624a6
|
Rust: Fix bad join
```
Evaluated relational algebra for predicate _Crate::Crate.getSourceFile/0#dispred#e7adf9d7_Crate::Generated::Crate.getName/0#dispred#f4d3b3bf_Pa__#join_rhs@5a04a7t0 with tuple counts:
34471980 ~0% {3} r1 = JOIN `PathResolution::isSourceFile/1#803de032` WITH `Crate::Crate.getSourceFile/0#dispred#e7adf9d7` CARTESIAN PRODUCT OUTPUT Rhs.0, Lhs.0, Rhs.1
34471980 ~37% {4} | JOIN WITH `Crate::Generated::Crate.getName/0#dispred#f4d3b3bf` ON FIRST 1 OUTPUT Lhs.1, Lhs.2, Rhs.1, _
{3} | REWRITE WITH NOT [Tmp.3 := "std", TEST InOut.2 != Tmp.3, Tmp.3 := "core", TEST InOut.2 != Tmp.3] KEEPING 3
93420 ~91% {3} | SCAN OUTPUT In.1, _, In.0
93420 ~87% {3} | REWRITE WITH Out.1 := "prelude"
return r1
```
|
2025-08-04 17:33:26 +02:00 |
|
Tom Hvitved
|
65bf76e3ed
|
Merge pull request #20161 from hvitved/rust/fix-bad-joins
Rust: Fix two bad joins introduced by magic
|
2025-08-04 17:32:54 +02:00 |
|
Geoffrey White
|
a86479eba9
|
Rust: Accept consistency check failures.
|
2025-08-04 16:26:41 +01:00 |
|
Geoffrey White
|
8b5603cf71
|
Merge pull request #20160 from geoffw0/exec
Rust: Add type inference test cases resembling missing call targets in SQLx.
|
2025-08-04 16:03:12 +01:00 |
|
Geoffrey White
|
e368ee4b1b
|
Rust: Accept that sql-injection sinks are sinks for this query, and that the existing sinks created for this query are also new sql-injection sinks.
|
2025-08-04 15:23:04 +01:00 |
|
Geoffrey White
|
989b48d576
|
Rust: Add tests for rusqlite.
|
2025-08-04 15:00:06 +01:00 |
|