706 Commits

Author	SHA1	Message	Date
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
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
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
Geoffrey White	478f39a967	Rust: Accept (trivial) test changes.	2025-07-25 14:18:34 +01:00
Geoffrey White	67c170ffc1	Merge branch 'main' into sqlx	2025-07-24 15:25:35 +01:00
Simon Friis Vindum	12942667bf	Rust: Add type inference for dyn types	2025-07-23 14:08:15 +02:00
Geoffrey White	6efc19daac	Merge pull request #18943 from geoffw0/constcrypto ... Rust: new query rust/hardcoded-crytographic-value	2025-07-22 13:36:14 +01:00
Geoffrey White	f7d822b19c	Rust: Remove empty file.	2025-07-22 12:43:22 +01:00
Geoffrey White	43ac82f6a3	Rust: Update consistency check .expected files.	2025-07-21 21:01:01 +01:00
Geoffrey White	d53dada67f	Rust: Update barrier logic to use getCanonicalPath.	2025-07-21 20:56:48 +01:00
Geoffrey White	ec3ad85504	Rust: Add another test case for barriers (that still functions).	2025-07-21 20:53:37 +01:00
Geoffrey White	796cb193fc	Rust: Accept test regressions with new format MaD.	2025-07-21 17:24:19 +01:00
Geoffrey White	fc8a662f0d	Rust: Update the models.	2025-07-21 17:24:07 +01:00
Geoffrey White	0ec10e5c30	Rust: Corrections after the merge.	2025-07-21 12:12:23 +01:00
Simon Friis Vindum	441cefd0bd	Rust: Accept test changes	2025-07-21 08:34:16 +02:00
Geoffrey White	c2ddf25f11	Merge branch 'main' into constcrypto	2025-07-17 16:13:58 +01:00
Geoffrey White	27bea33508	Rust: Accept consistency check change.	2025-07-17 12:44:31 +01:00
Geoffrey White	944fd2aa11	Rust: Add explicit types in some (not all) of the test cases.	2025-07-17 10:45:40 +01:00
Geoffrey White	62b7d84638	Rust: Add Sqlx as MaD sinks instead.	2025-07-16 16:36:42 +01:00
Geoffrey White	87deab861f	Rust: Remove Sqlx.qll.	2025-07-16 16:23:50 +01:00
Geoffrey White	6f5e4ef5b9	Merge branch 'main' into sqlx	2025-07-16 15:59:42 +01:00
Geoffrey White	e20ae48699	Merge branch 'main' into models3b	2025-07-11 17:37:52 +01:00
Tom Hvitved	4ab2977358	Rust: Type inference for pattern matching	2025-07-11 10:37:40 +02:00
Tom Hvitved	1d7d45e16b	Rust: Update expected test output	2025-07-10 19:40:39 +02:00
Tom Hvitved	1e9520c737	Merge pull request #19995 from hvitved/rust/disambiguate-assoc-function-calls ... Rust: Disambiguate associated function calls	2025-07-10 19:38:06 +02:00
Geoffrey White	75078346c0	Rust: Accept .expected changes (mostly renumberings).	2025-07-10 17:05:12 +01:00
Geoffrey White	117e330d53	Merge branch 'main' into models1	2025-07-10 13:52:48 +01:00
Tom Hvitved	c7d20eb98a	Rust: Update expected test output	2025-07-10 13:52:19 +02:00
Geoffrey White	8177b0938d	Merge branch 'main' into models5	2025-07-10 09:41:48 +01:00
Geoffrey White	597f678978	Merge branch 'main' into models1	2025-07-09 14:48:32 +01:00
Geoffrey White	f3b5cc79ff	Merge branch 'main' into sqlx	2025-07-08 13:58:19 +01:00
Tom Hvitved	2a207f9f6f	Rust: Update inline expectations	2025-07-08 13:03:16 +02:00
Geoffrey White	c7de873a22	Rust: Update the libc models.	2025-07-08 08:44:44 +01:00
Geoffrey White	a1e9a4eddf	Rust: Accept test .expected changes.	2025-07-08 08:44:24 +01:00
Arthur Baars	8114071804	Merge branch 'main' into models1	2025-07-07 19:47:53 +02:00
Arthur Baars	3d435ddca0	Merge branch 'main' into rust/type-inference-explicit-args	2025-07-04 14:17:52 +02:00
Geoffrey White	831509539b	Merge pull request #19934 from geoffw0/models0 ... Rust: Update legacy MaD models 1	2025-07-03 14:24:21 +01:00
Tom Hvitved	2924faf7f8	Rust: Tweak illFormedTypeMention consistency check	2025-07-03 11:56:16 +02:00