509 Commits

Author	SHA1	Message	Date
Geoffrey White	f4ae211019	Rust: Add models for tokio (fs).	2025-05-01 13:04:16 +01:00
Geoffrey White	7439b0c504	Rust: Add models for tokio (io).	2025-05-01 13:04:15 +01:00
Geoffrey White	627496df09	Rust: Add source tests for tokio (fs).	2025-05-01 13:04:13 +01:00
Geoffrey White	b2339ef0d9	Rust: Add some alternative sinks.	2025-05-01 13:04:12 +01:00
Geoffrey White	950812b463	Rust: Add further source tests for tcp streams.	2025-05-01 13:04:06 +01:00
Tom Hvitved	423e2dac91	Rust: Strenghten the modeling of the Clone trait	2025-05-01 10:54:52 +02:00
Simon Friis Vindum	499d224c2b	Rust: Update generated models for core and std	2025-05-01 10:54:05 +02:00
Paolo Tranquilli	8ffe4d6593	Merge branch 'main' into redsun82/rust-expand-attr-macros	2025-04-30 15:25:32 +02:00
Simon Friis Vindum	f584d22b53	Rust: Use type inference to insert implicit borrows and derefs	2025-04-30 14:43:51 +02:00
Tom Hvitved	64145ab98a	Merge pull request #19369 from hvitved/rust/crate-graph-self-param ... Rust: Extract `SelfParam`s from crate graph	2025-04-29 21:23:27 +02:00
Paolo Tranquilli	adeaceb7af	Rust: accept test changes	2025-04-25 17:41:13 +02:00
Tom Hvitved	7e205366ab	Rust: Adjust clone modeling	2025-04-25 08:49:02 +02:00
Tom Hvitved	6df5a1ef80	Rust: Extract SelfParams from crate graph	2025-04-24 15:30:23 +02:00
Geoffrey White	38397195a2	Rust: Add further source test cases for tokio.	2025-04-24 11:37:44 +01:00
Geoffrey White	b57375aa91	Rust: Add source tests for tcp (std and tokio).	2025-04-24 11:25:36 +01:00
Geoffrey White	809dd20f9d	Rust: Add source tests for tokio (file).	2025-04-24 11:22:52 +01:00
Geoffrey White	307424e87e	Rust: Add source tests for tokio (stdin).	2025-04-24 11:14:36 +01:00
Geoffrey White	dcc488cb05	Rust: Clean up the sources test.	2025-04-24 11:10:59 +01:00
Geoffrey White	d6f1bd9792	Rust: Remove unnecessary predicate.	2025-04-23 11:24:29 +01:00
Geoffrey White	254789c89a	Merge pull request #19305 from geoffw0/modelnoise ... Rust: Remove the noisy models output from the dataflow/local test.	2025-04-17 13:16:45 +01:00
Arthur Baars	48f9e5a96d	Merge pull request #19237 from github/aibaars/crate-graph-type-variables ... Rust: extract generic parameters, arguments and resolve bound type variables	2025-04-17 13:02:41 +02:00
Geoffrey White	8d60e82ec0	Merge branch 'main' into modelnoise	2025-04-17 10:43:15 +01:00
Geoffrey White	7e108a8a29	Merge pull request #19310 from geoffw0/trim ... Rust: Add model for str.trim	2025-04-17 09:48:45 +01:00
Geoffrey White	372ba5c9a5	Merge branch 'main' into modelnoise	2025-04-17 09:42:43 +01:00
Geoffrey White	9da6d9435e	Rust: More tests affected.	2025-04-16 17:41:27 +01:00
Arthur Baars	2f87630ded	Rust: update expected output	2025-04-15 17:18:51 +02:00
Geoffrey White	39a875e751	Rust: Make some summaries value type.	2025-04-15 14:46:57 +01:00
Geoffrey White	c561da4536	Merge branch 'main' into rustio	2025-04-15 12:29:55 +01:00
Geoffrey White	fea82d4d6a	Merge branch 'main' into trim	2025-04-15 12:21:48 +01:00
Geoffrey White	40a5db6736	Rust: Other tests affected.	2025-04-15 11:52:23 +01:00
Geoffrey White	bdd5717c09	Rust: Remove the models output from the dataflow/local test.	2025-04-14 16:42:20 +01:00
Geoffrey White	a8b552200a	Rust: Impact on dataflow/local test.	2025-04-14 15:03:04 +01:00
Geoffrey White	24bcd041b8	Rust: Add flow models for io.	2025-04-14 14:20:45 +01:00
Geoffrey White	7a9ea52bc7	Rust: Add source models for io.	2025-04-14 10:47:30 +01:00
Geoffrey White	4f9f550ba6	Rust: Add source models for fs.	2025-04-14 10:47:26 +01:00
Geoffrey White	258c1afe27	Rust: Add tests for std::fs sources.	2025-04-14 10:47:21 +01:00
Geoffrey White	cef3cd9b54	Rust: Add tests for std::io sources.	2025-04-14 10:47:17 +01:00
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