146 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	14ede4e0c5	Merge pull request #19440 from paldepind/rust-update-stdlib-models ... Rust: Update generated models for core and std	2025-05-12 08:11:18 +02:00
Arthur Baars	bc35599f1a	Rust: rename MacroStmts to MacroBlockExpr	2025-05-02 16:23:02 +02:00
Arthur Baars	869af58c9d	Rust: add flow step for MacroStmts	2025-05-02 16:23:00 +02:00
Arthur Baars	9ca6706550	Rust: make MacroStmts a CFG Expr	2025-05-02 16:22:59 +02:00
Simon Friis Vindum	499d224c2b	Rust: Update generated models for core and std	2025-05-01 10:54:05 +02:00
Simon Friis Vindum	f584d22b53	Rust: Use type inference to insert implicit borrows and derefs	2025-04-30 14:43:51 +02: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
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	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
Anders Schack-Mulligen	ae47339d1a	Rust: Accept test changes.	2025-03-25 12:31:05 +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
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	4de69c70a8	Rust: Add cleartext transmission query	2025-03-13 08:45:36 +01:00
Simon Friis Vindum	494f914070	Rust: Add regular expression injection query	2025-03-07 12:37:30 +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
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Geoffrey White	0ef4c6f954	Merge branch 'main' into okerr	2025-02-26 12:33:39 +00: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