644 Commits

Author	SHA1	Message	Date
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
Geoffrey White	19416a9ee3	Rust: Correct test results.	2025-03-07 15:43:34 +00:00
Geoffrey White	cc902a6ad1	Rust: Fix unused value FPs due to unexpanded macro calls as well.	2025-03-07 14:48:27 +00:00
Geoffrey White	e0839a369c	Rust: Fix unused variable FPs due to unexpanded macro calls.	2025-03-07 14:40:02 +00:00
Geoffrey White	b2e3352aa8	Rust: Add a few more macro tests.	2025-03-07 14:36:26 +00:00
Simon Friis Vindum	494f914070	Rust: Add regular expression injection query	2025-03-07 12:37:30 +01:00
Geoffrey White	abe14babb1	Rust: Clean up the existing macro cases for the unusedentities test.	2025-03-07 11:24:42 +00:00
Anders Schack-Mulligen	b1e53f5816	Rust: Accept consistency failure.	2025-03-07 11:11:49 +01:00
Geoffrey White	b6c9be23c1	Merge branch 'main' into constcrypto	2025-03-07 09:11:10 +00:00
Geoffrey White	42e7d1e983	Rust: Fix typo.	2025-03-06 19:09:01 +00:00
Geoffrey White	9af2d0218b	Rust: Add the new sinks to stats.	2025-03-06 18:50:11 +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