393 Commits

Author	SHA1	Message	Date
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
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