1787 Commits

Author	SHA1	Message	Date
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
Simon Friis Vindum	bb56b0d45b	Rust: Add type inference test with consistency issue	2025-07-24 11:55:23 +02:00
Simon Friis Vindum	9a0c5877ea	Rust: Support impl trait types in return position with function type parameters	2025-07-24 11:00:01 +02:00
Simon Friis Vindum	a20fed8ae5	Rust: Add type inference tests for impl trait types	2025-07-24 10:36:51 +02:00
Simon Friis Vindum	82387461ee	Merge pull request #20084 from paldepind/rust/type-inference-trait-object ... Rust: Implement type inference for trait objects/`dyn` types	2025-07-24 10:17:23 +02:00
Simon Friis Vindum	12942667bf	Rust: Add type inference for dyn types	2025-07-23 14:08:15 +02:00
Simon Friis Vindum	605c8e201e	Rust: Add type inference tests for dyn types	2025-07-23 14:03:53 +02:00