759 Commits

Author	SHA1	Message	Date
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
Simon Friis Vindum	b3601b1ac2	Merge pull request #18946 from paldepind/rust-regex-injection ... Rust: Add regular expression injection query	2025-03-12 08:15:54 +01:00
Geoffrey White	daa57a9cb5	Merge pull request #18952 from geoffw0/unusedvarfix ... Rust: Improve rust/unused-variable and rust/unused-value	2025-03-11 15:52:42 +00:00
Geoffrey White	a0f4fa28b2	Rust: hardcoded -> hard-coded.	2025-03-11 09:40:47 +00: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	7717f92ec6	Rust: Clean up the test (it turns out a nested UnusedVariable.qlref is not needed) and accept consistency check changes.	2025-03-10 17:59:19 +00:00
Simon Friis Vindum	5c83644360	Rust: Use CWE 20 for regex injection query	2025-03-10 14:52:25 +01:00
Simon Friis Vindum	0e965f7616	Rust: Accept changes	2025-03-10 14:39:37 +01: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	bb39955a24	Rust: Move the undefined_macros test cases to their own subdirectory.	2025-03-10 11:09:33 +00:00
Geoffrey White	aa35e82fc1	Rust: Add a test exposing the function scope limitation.	2025-03-10 10:39:25 +00:00
Arthur Baars	c601adfc65	Rust: add ExtractionStep::CrateGraph	2025-03-10 10:16:18 +01:00
Geoffrey White	b4e710f459	Rust: Add missing models (for some platforms???).	2025-03-07 22:28:38 +00:00
Geoffrey White	fdb4362b6f	Merge remote-tracking branch 'upstream/main' into constcrypto	2025-03-07 17:51:48 +00:00
Geoffrey White	3d0e44e156	Rust: Accept consistency check failures.	2025-03-07 16:05:01 +00:00