272 Commits

Author	SHA1	Message	Date
Geoffrey White	e2f63db96d	Merge branch 'main' into badalloc	2025-04-08 10:15:38 +01:00
Geoffrey White	a5883b1627	Rust: Accept test changes (due to added models?).	2025-04-04 21:45:37 +01:00
Geoffrey White	c783549b5c	Merge branch 'main' into blockon	2025-04-04 17:35:00 +01:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Anders Schack-Mulligen	56c46d74f9	Java/Rust/Swift: Accept qltest changes.	2025-03-31 11:44:37 +02:00
Anders Schack-Mulligen	0c74f21107	Merge pull request #19044 from aschackmull/ssa/useuse-trim ... Ssa: Trim the use-use relation to skip irrelevant nodes	2025-03-28 11:55:34 +01: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
Tom Hvitved	72028c034e	Rust: Add reverse post-update flow steps	2025-03-26 09:03:18 +01:00
Tom Hvitved	fcb1d9433a	Rust: Add more data flow tests	2025-03-26 09:02:23 +01:00
Tom Hvitved	278d251dc1	Merge pull request #19107 from hvitved/rust/mad-argument-source ... Rust: Support `Argument[x]` MaD source definitions	2025-03-26 09:02:06 +01:00
Anders Schack-Mulligen	ae47339d1a	Rust: Accept test changes.	2025-03-25 12:31:05 +01:00
Tom Hvitved	d6d3028e5a	Rust: Support Argument[x] MaD source definitions	2025-03-25 09:08:40 +01:00
Tom Hvitved	cf1b19f7c4	Rust: Add test for MaD argument source	2025-03-25 09:06:56 +01:00
Geoffrey White	d1ef2b50fb	Rust: Model futures::executor::block_on.	2025-03-21 16:51:10 +00:00
Arthur Baars	2804c13027	Rust: use optionalBarrier	2025-03-20 11:37:05 +01:00
Geoffrey White	0f622b38ab	Rust: Update test results.	2025-03-19 18:42:50 +00:00
Geoffrey White	b609bbb4d8	Merge branch 'main' into convtest	2025-03-19 18:41:56 +00:00
Geoffrey White	bbef3fe7fa	Rust: Test dataflow through conversions.	2025-03-19 18:13:23 +00:00
Arthur Baars	f08d1d10f1	Rust: tainted path implement basic sanitizers	2025-03-18 19:16:13 +01:00
Arthur Baars	f53de135e6	Merge pull request #19024 from github/aibaars/mut-borrow ... Rust: SSA: restrict mutablyBorrowed to variables with a 'mut' modifier	2025-03-18 16:57:32 +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
Arthur Baars	1e94245332	Rust: update expected output	2025-03-14 11:25:41 +01:00
Simon Friis Vindum	4dbfda59cf	Merge branch 'main' into rust-data-flow-split	2025-03-14 09:58:46 +01:00
Tom Hvitved	e8505ad33d	Rust: Use type inference to resolve method calls and field accesses	2025-03-13 13:23:13 +01:00
Simon Friis Vindum	3c644144b1	Rust: Extract data flow node and content into separate files	2025-03-13 11:22:04 +01:00
Simon Friis Vindum	4de69c70a8	Rust: Add cleartext transmission query	2025-03-13 08:45:36 +01:00
Simon Friis Vindum	0e965f7616	Rust: Accept changes	2025-03-10 14:39:37 +01:00
Simon Friis Vindum	494f914070	Rust: Add regular expression injection query	2025-03-07 12:37:30 +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
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
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
Simon Friis Vindum	26a96d9f65	Rust: Accept changes	2025-02-25 15:56:10 +01:00
Simon Friis Vindum	5c997859b0	Merge branch 'main' into rust-core-std-models	2025-02-25 15:07:29 +01:00
Simon Friis Vindum	6353dbf3f5	Merge branch 'main' into rust-core-std-models	2025-02-24 16:05:08 +01:00
Geoffrey White	6cb8f65076	Rust: Fix up .expected after merge.	2025-02-24 10:58:19 +00:00
Geoffrey White	fdc76dd06a	Merge branch 'main' into nth	2025-02-24 10:57:45 +00:00
Simon Friis Vindum	b6144c2f08	Merge branch 'main' into rust-core-std-models	2025-02-20 12:00:47 +01:00
Tom Hvitved	889ef33006	Rust: Update expected test output	2025-02-20 10:19:41 +01:00
Tom Hvitved	c22021ab55	Merge pull request #18808 from hvitved/rust/path-resolution-inherited-functions ... Rust: Path resolution for inherited associated items	2025-02-19 19:35:53 +01:00
Simon Friis Vindum	ae7e15d82f	Merge pull request #18754 from paldepind/rust-ref-pattern ... Rust ref pattern	2025-02-19 14:24:09 +01:00