29 Commits

Author	SHA1	Message	Date
Tom Hvitved	5a5679bd51	Rust: Taint flow through operations using MaD	2025-12-05 09:19:03 +01:00
Geoffrey White	450403883b	Rust: Add test cases for a small number of FPs we see.	2025-12-01 12:39:18 +00:00
Geoffrey White	e834e8665a	Rust: Remove one of the cases that is causing FP results in MRVA.	2025-12-01 12:39:16 +00:00
Geoffrey White	bb50e9fb40	Rust: Add heuristic sinks for rust/hard-coded-cryptographic-value.	2025-12-01 12:39:12 +00:00
Geoffrey White	1635ef9ad9	Merge branch 'main' into convert	2025-09-26 14:11:04 +01:00
Geoffrey White	3a03bb5a0b	Rust: Repair rust/hard-coded-cryptographic-value, which had an unintentional dependence on the taint flow.	2025-09-26 10:03:38 +01:00
Geoffrey White	74a350a432	Rust: Effect on tests.	2025-09-26 09:55:16 +01:00
Tom Hvitved	e6b1e8ec56	Rust: Check call arities in path resolution	2025-09-24 10:19:56 +02:00
Geoffrey White	118ac07b71	Rust: Convert 'from' models into one generic one.	2025-09-12 18:05:30 +01:00
Geoffrey White	9f83b67a7c	Rust: Model vec::from_elem.	2025-09-12 17:30:44 +01:00
Geoffrey White	e2d94127d6	Rust: Model vec::from.	2025-09-12 16:44:47 +01:00
Geoffrey White	5d3ea2f4d3	Rust: Add models for the cookie and biscotti crates.	2025-09-12 16:13:14 +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
Geoffrey White	e3beacbda2	Rust: Print models (temporary, to see how this differs on CI).	2025-03-10 19:38:36 +00:00
Geoffrey White	9e54d53537	Rust: Add barrier.	2025-03-10 11:41:48 +00:00
Geoffrey White	a34f9bef2b	Rust: Add a test case for getrandom.	2025-03-10 11:33:29 +00:00
Geoffrey White	b4e710f459	Rust: Add missing models (for some platforms???).	2025-03-07 22:28:38 +00:00
Geoffrey White	19416a9ee3	Rust: Correct test results.	2025-03-07 15:43:34 +00:00
Geoffrey White	b4a6063e20	Rust: Add std::mem::zeroed as a source.	2025-03-06 17:48:45 +00:00
Geoffrey White	ac94ac6584	Rust: Model even more sinks + flows.	2025-03-06 17:48:44 +00:00
Geoffrey White	055baf2769	Rust: Improve results on arrays (less duplication).	2025-03-06 17:48:43 +00:00
Geoffrey White	aacbfc0fd8	Rust: Improve alert messages.	2025-03-06 17:48:41 +00:00
Geoffrey White	a6e106e025	Rust: Model more sinks + flows.	2025-03-06 17:48:40 +00:00
Geoffrey White	9fb00daeec	Rust: Implement the query (with one source, one sink model).	2025-03-06 17:48:39 +00:00
Geoffrey White	9a35febe80	Rust: Query framework and basic tests.	2025-03-06 13:24:05 +00:00