Geoffrey White
|
af20d335c8
|
Rust: Accept consistency test changes.
|
2025-08-11 20:25:41 +01:00 |
|
Geoffrey White
|
398d2ac930
|
Rust: Fix a couple more gaps.
|
2025-08-11 19:24:54 +01:00 |
|
Geoffrey White
|
4bbffc56a8
|
Rust: Expand tokio-postgres sources.
|
2025-08-11 18:42:44 +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 |
|
Geoffrey White
|
1965fdb158
|
Rust: Update consistency .expected.
|
2025-08-07 18:41:47 +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
|
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 |
|
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 |
|
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 |
|
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
|
eab7481b97
|
Rust: Accept CWE-312 consistency check failures.
|
2025-08-04 18:26:09 +01: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 |
|
Geoffrey White
|
a86479eba9
|
Rust: Accept consistency check failures.
|
2025-08-04 16:26:41 +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 |
|
Simon Friis Vindum
|
3ba285c298
|
Rust: Implement certain type information for annotation and simple calls
|
2025-08-04 14:06:38 +02:00 |
|
Simon Friis Vindum
|
c3349bbb04
|
Rust: Add type inference example with cycle blowup
|
2025-08-04 14:06:37 +02:00 |
|
Geoffrey White
|
2ec6dafd18
|
Rust: Add a type inference test case resembling missing call targets in SQLx.
|
2025-08-04 10:21:59 +01:00 |
|
Geoffrey White
|
01d24c4f83
|
Merge branch 'main' into sqlx
|
2025-07-31 16:02:36 +01:00 |
|
Geoffrey White
|
42ced8aa3d
|
Rust: Add examples to tests.
|
2025-07-30 17:51:32 +01:00 |
|
Geoffrey White
|
b6e60e4087
|
Rust: Address small bugs in the test.
|
2025-07-30 17:51:31 +01:00 |
|
Geoffrey White
|
215fe7d0b3
|
Rust: Clean up the alert message.
|
2025-07-30 17:51:30 +01:00 |
|
Geoffrey White
|
a3110a9091
|
Rust: Implement query.
|
2025-07-29 18:19:52 +01:00 |
|
Simon Friis Vindum
|
5540b9df71
|
Merge branch 'main' into rust/type-inference-fn
|
2025-07-29 16:43:17 +02:00 |
|
Geoffrey White
|
5c64d4e9b7
|
Rust: Query framework.
|
2025-07-28 16:59:01 +01:00 |
|
Geoffrey White
|
897822dff5
|
Rust: The Cargo.lock file has changed as well.
|
2025-07-28 16:55:43 +01:00 |
|
Geoffrey White
|
9972aaf6a1
|
Rust: Add tests cases for cleartext storage.
|
2025-07-28 16:12:34 +01:00 |
|
Simon Friis Vindum
|
9761580b7e
|
Merge branch 'main' into rust/type-inference-assoc-type-tp
|
2025-07-28 10:39:00 +02:00 |
|
Simon Friis Vindum
|
2c758a9842
|
Rust: Add type inference for closures and calls to first-class functions
|
2025-07-27 21:28:10 +02:00 |
|
Simon Friis Vindum
|
8c6c28d61f
|
Rust: Add type inference tests for closures
|
2025-07-27 21:16:30 +02:00 |
|
Simon Friis Vindum
|
13d9d8ad3f
|
Merge pull request #20122 from paldepind/rust/type-inference-dyn-assoc
Rust: Fix type inference for trait objects for traits with associated types
|
2025-07-26 12:40:09 +02:00 |
|
Geoffrey White
|
478f39a967
|
Rust: Accept (trivial) test changes.
|
2025-07-25 14:18:34 +01:00 |
|
Geoffrey White
|
2192ed04be
|
Rust: Add clone MaD trait model.
|
2025-07-25 09:43:34 +01:00 |
|
Geoffrey White
|
4140579dd6
|
Rust: Remove QL model for clone.
|
2025-07-25 08:17:52 +01:00 |
|
Geoffrey White
|
67c170ffc1
|
Merge branch 'main' into sqlx
|
2025-07-24 15:25:35 +01:00 |
|
Simon Friis Vindum
|
466bf85a67
|
Rust: Fix type inference for trait objects for traits with associated types
|
2025-07-24 16:07:39 +02:00 |
|
Simon Friis Vindum
|
1b2f160b55
|
Rust: Add type inference tests for associated types
|
2025-07-24 16:07:37 +02:00 |
|
Simon Friis Vindum
|
39f602c032
|
Rust: Create injective ids for impl trait type parameters
|
2025-07-24 12:07:11 +02:00 |
|