624 Commits

Author	SHA1	Message	Date
Geoffrey White	fb22d55878	Rust: Remove duplicate models.	2025-03-31 18:26:26 +01:00
Geoffrey White	6a5a1001bb	Rust: Refine the barrier guard.	2025-03-31 18:26:21 +01:00
Geoffrey White	f7d3a51f27	Rust: Implement barrier guard.	2025-03-31 17:53:17 +01:00
Geoffrey White	cdd5cb0523	Rust: More test cases for bounds / guards.	2025-03-31 17:53:14 +01:00
Geoffrey White	addc1d34d8	Rust: Add qhelp, examples, and tests of examples.	2025-03-31 17:53:10 +01:00
Geoffrey White	e49c1afe72	Rust: Add a few missing models.	2025-03-31 17:39:19 +01:00
Geoffrey White	03f94de3cb	Rust: Add models.	2025-03-31 17:39:15 +01:00
Geoffrey White	9409cd6ed7	Rust: Prototype query.	2025-03-31 17:39:11 +01:00
Geoffrey White	ae555f2f2e	Rust: Add a test for uncontrolled allocation size.	2025-03-31 17:37:21 +01:00
Geoffrey White	4a76b5b3db	Rust: Accept consistency check failures.	2025-03-28 15:40:18 +00:00
Geoffrey White	ed14b37964	Merge branch 'main' into deallocation	2025-03-28 12:44:46 +00:00
Geoffrey White	ce7a0fd094	Rust: Test for sinks inside sources.	2025-03-28 11:12:10 +00:00
Arthur Baars	7fc7b7cc04	Rust: fix CleartextLogging query	2025-03-27 18:38:57 +00:00
Arthur Baars	6dff6826f0	Revert "Rust: accept test changes for now" ... This reverts commit bf32acc198.	2025-03-27 18:33:00 +00:00
Geoffrey White	9ae271a7d1	Rust: Fix incidentally affected test merge conflict.	2025-03-27 12:55:36 +00:00
Geoffrey White	4e496fe7b2	Rust: Lets just not model 'drop' incorrectly, for now.	2025-03-27 12:25:08 +00:00
Geoffrey White	8598d619f2	Rust: Add a test case involving a Drop method.	2025-03-27 09:39:25 +00:00
Arthur Baars	9dd7b20db7	Merge pull request #18960 from github/aibaars/rust-tainted-path ... Rust: TaintedPath query	2025-03-27 10:37:36 +01:00
Geoffrey White	d1a0237e87	Rust: Correct a few details in the test.	2025-03-27 09:20:25 +00:00
Geoffrey White	c84e2cd7cb	Rust: Reduce the workaround (fixes duplicate results).	2025-03-26 15:40:45 +00:00
Geoffrey White	0a04191a61	Rust: Effect of merging main (duplicate results).	2025-03-26 15:06:03 +00:00
Geoffrey White	56f330d545	Merge branch 'main' into deallocation	2025-03-26 14:58:32 +00:00
Arthur Baars	bf76505880	Rust: address comments	2025-03-26 13:28:44 +01:00
Paolo Tranquilli	bf32acc198	Rust: accept test changes for now	2025-03-24 13:43:27 +01:00
Geoffrey White	e4cadf09ce	Rust: Don't report excessive results for the same source.	2025-03-24 12:12:42 +00:00
Geoffrey White	b7044bdcde	Rust: Add a test of repeat sinks.	2025-03-24 12:04:43 +00:00
Geoffrey White	f582054ca4	Rust: Refactor the tests that have multiple control flow paths.	2025-03-24 11:56:32 +00:00
Geoffrey White	d1ef2b50fb	Rust: Model futures::executor::block_on.	2025-03-21 16:51:10 +00:00
Geoffrey White	98690f924a	Rust: Incidental changes to other .expected files.	2025-03-20 15:39:03 +00:00
Arthur Baars	b10a296a93	Rust: add more path-injection sinks	2025-03-20 16:30:47 +01:00
Geoffrey White	5831c446d3	Rust: Add test cases for another situation I came across.	2025-03-20 14:26:15 +00:00
Geoffrey White	019fcbfbf9	Rust: Add qhelp examples, and add them as tests.	2025-03-20 14:26:13 +00:00
Geoffrey White	7ceb76441a	Rust: Improve the source to account for conversions.	2025-03-20 14:26:10 +00:00
Geoffrey White	be6d0d1f86	Rust: Work around data flow source issue.	2025-03-20 14:26:09 +00:00
Geoffrey White	dcd016f5be	Rust: Initial version of the query.	2025-03-20 14:26:06 +00:00
Geoffrey White	19f009ae08	Rust: Add tests for various kinds of dangling pointers.	2025-03-20 14:26:04 +00:00
Arthur Baars	2804c13027	Rust: use optionalBarrier	2025-03-20 11:37:05 +01:00
Arthur Baars	5a91b94395	Refactor using OptionalStep	2025-03-20 11:37:04 +01:00
Arthur Baars	f08d1d10f1	Rust: tainted path implement basic sanitizers	2025-03-18 19:16:13 +01:00
Arthur Baars	0fd69eaa43	Add QL test	2025-03-18 19:13:30 +01:00
Arthur Baars	4b5883ab79	Add a bit of modelling	2025-03-18 19:10:05 +01:00
Simon Friis Vindum	7a18da82fa	Merge pull request #19000 from paldepind/rust-cleartext-transmission ... Rust: Add cleartext transmission query	2025-03-17 14:56:57 +01:00
Geoffrey White	81edb4780d	Merge branch 'main' into constcrypto	2025-03-17 12:05:51 +00:00
Geoffrey White	704b3850f4	Rust: Fix a mistake in the test.	2025-03-17 11:24:58 +00:00
Simon Friis Vindum	fb718660d9	Rust: Generate more sinks and update query description	2025-03-13 17:35:32 +01:00
Tom Hvitved	255f06b65a	Rust: Update expected test output	2025-03-13 15:51:33 +01:00
Simon Friis Vindum	1ae28c7907	Merge branch 'main' into rust-cleartext-transmission	2025-03-13 15:01:11 +01:00
Tom Hvitved	795ba25895	Rust: Add more consistency checks	2025-03-13 13:23:16 +01:00
Arthur Baars	fa79dbc89a	Merge pull request #18228 from github/aibaars/crate-graph ... Rust: extract crate graph	2025-03-13 10:00:48 +01:00
Simon Friis Vindum	4de69c70a8	Rust: Add cleartext transmission query	2025-03-13 08:45:36 +01:00