1787 Commits

Author	SHA1	Message	Date
Arthur Baars	f17f3758ed	Rust: update expected output	2025-03-10 10:19:12 +01:00
Arthur Baars	845f002124	Rust: add file for root modules of crates	2025-03-10 10:16:26 +01:00
Arthur Baars	ff321194b7	Rust: improve modules test case	2025-03-10 10:16:23 +01:00
Arthur Baars	fce637fc3a	Rust: add some tests for the crate graph	2025-03-10 10:16:21 +01:00
Arthur Baars	9bba666929	Rust: QL Test: exclude crate graph related elements	2025-03-10 10:16:19 +01:00
Arthur Baars	c601adfc65	Rust: add ExtractionStep::CrateGraph	2025-03-10 10:16:18 +01:00
Arthur Baars	75ca04f3dd	Rust: add Crate to dbscheme	2025-03-10 10:16:12 +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	3dc35f1fab	Rust: Accept more test changes.	2025-03-07 17:02:26 +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
Geoffrey White	9fb00daeec	Rust: Implement the query (with one source, one sink model).	2025-03-06 17:48:39 +00:00
Geoffrey White	bd75f0187b	Rust: More test cases.	2025-03-06 17:48:37 +00:00
Geoffrey White	9a35febe80	Rust: Query framework and basic tests.	2025-03-06 13:24:05 +00:00
Anders Schack-Mulligen	709d36b502	Merge pull request #18869 from aschackmull/ssa/refactor3 ... Ssa: Update qltests including consistency checks	2025-03-05 11:40:27 +01:00
Anders Schack-Mulligen	8474a47c2b	Rust: Switch test to use dedicated test module.	2025-03-04 12:24:23 +01:00
Paolo Tranquilli	2a29239b01	Merge branch 'main' into redsun82/cargo-upgrade	2025-03-04 10:05:41 +01:00
Paolo Tranquilli	9740232df8	Merge branch 'main' into redsun82/cargo-upgrade	2025-03-03 10:15:17 +01:00
Simon Friis Vindum	1225c5c828	Rust: Accept changes	2025-03-03 09:44:24 +01:00
Simon Friis Vindum	d8d882958d	Merge branch 'main' into rust-ref-mut	2025-03-03 09:19:08 +01:00
Simon Friis Vindum	c1ee20b2b9	Rust: Update generated models for Rust built-in libraries	2025-02-28 13:40:43 +01:00
Paolo Tranquilli	6b34d3f480	Rust: add missing empty expected file	2025-02-28 12:26:03 +01:00
Paolo Tranquilli	ee61fdcb6f	Merge branch 'main' into redsun82/rust-turn-off-ra-resolution	2025-02-28 12:03:14 +01:00
Simon Friis Vindum	c4773c42c4	Rust: Model pointer read and write functions	2025-02-28 11:44:11 +01:00
Simon Friis Vindum	bc651af319	Merge branch 'main' into rust-ref-mut	2025-02-28 11:42:06 +01:00
Paolo Tranquilli	e0d4e5ea7f	Rust: remove missing flow in test	2025-02-28 11:36:27 +01:00
Simon Friis Vindum	5b657035d2	Rust: Add test for models of pointer read and write	2025-02-28 11:19:41 +01:00
Simon Friis Vindum	518f164c61	Rust: Address PR comments	2025-02-28 10:49:27 +01:00
Paolo Tranquilli	d11bbdb5a7	Merge branch 'main' into redsun82/cargo-upgrade	2025-02-28 10:41:37 +01:00
Paolo Tranquilli	a444bbc080	Merge branch 'main' into redsun82/rust-turn-off-ra-resolution	2025-02-27 11:11:06 +01:00
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Simon Friis Vindum	51ae7c6b8c	Rust: Reorganize pointers tests and add additional tests	2025-02-26 13:51:55 +01:00
Geoffrey White	0ef4c6f954	Merge branch 'main' into okerr	2025-02-26 12:33:39 +00:00
Paolo Tranquilli	3a67836eb2	Merge branch 'main' into redsun82/cargo-upgrade	2025-02-26 09:58:15 +01:00
Simon Friis Vindum	cc5179a35e	Merge pull request #18787 from paldepind/rust-core-std-models ... Rust: Add generated models for standard libraries including core	2025-02-26 09:31:16 +01:00