545 Commits

Author	SHA1	Message	Date
Tom Hvitved	3c6a757c3e	Rust: Distinguish &mut T from &T in type inference	2025-12-18 12:47:42 +01:00
Simon Friis Vindum	9e8735f84c	Merge pull request #20878 from paldepind/rust/axum-model ... Rust: Add models for Axum	2025-12-17 15:47:28 +01:00
Simon Friis Vindum	e53bdb11be	Rust: Accept changes to expected files for consistency check	2025-12-16 13:15:34 +01:00
Simon Friis Vindum	63329b47d8	Merge pull request #21036 from paldepind/rust/prioritize-manual-summaries ... Rust: Don't apply generated models for functions that have a manual model	2025-12-16 12:47:27 +01:00
Simon Friis Vindum	fbf9f7eda7	Rust: Add models for Axum	2025-12-16 12:41:32 +01:00
Simon Friis Vindum	0ea06aca06	Rust: Introduce more functions in Axum test	2025-12-16 12:32:40 +01:00
Simon Friis Vindum	477e1cd96c	Rust: Fix manual model for PathBuf::as_path	2025-12-16 09:25:42 +01:00
Simon Friis Vindum	1b70111dd2	Rust: Don't apply generated models for functions that have a manual model	2025-12-15 14:25:49 +01:00
Simon Friis Vindum	d2cfd53933	Rust: Add test with wrong generated model	2025-12-15 14:23:48 +01:00
Tom Hvitved	fc49360e81	Rust: Add models for core::cmp::Ord::{min,max,clamp}	2025-12-15 11:52:05 +01:00
Tom Hvitved	0b00589f95	Rust: Update expected test output	2025-12-12 11:16:17 +01:00
Simon Friis Vindum	c6d2047827	Rust: Update expected files	2025-12-10 15:05:36 +01:00
Simon Friis Vindum	047ea10a9a	Rust: Update tests and expected files	2025-12-10 14:35:17 +01:00
Tom Hvitved	30b903604d	Rust: Update expected test output	2025-12-10 11:02:04 +01:00
Tom Hvitved	fe18e0e414	Merge pull request #20997 from paldepind/rust/fix-expected ... Rust: Accept changes to expected files	2025-12-09 14:25:36 +01:00
Tom Hvitved	a5f513f178	Merge pull request #20954 from hvitved/rust/stats-more-calls ... Rust: Include more calls in DB quality metrics	2025-12-09 14:14:07 +01:00
Simon Friis Vindum	53ad3282c3	Rust: Accept changes to expected files	2025-12-09 14:01:31 +01:00
Tom Hvitved	0280771c51	Merge pull request #20953 from hvitved/rust/data-flow-call-models ... Rust: Model more data flow constructs as calls using MaD	2025-12-08 15:22:02 +01:00
Simon Friis Vindum	5888ed30bd	Rust: Do not dispatch to all implementations when trait target is accurate	2025-12-05 13:01:22 +01:00
Simon Friis Vindum	59ce721f7d	Rust: Add global data flow example	2025-12-05 09:38:22 +01:00
Tom Hvitved	5a5679bd51	Rust: Taint flow through operations using MaD	2025-12-05 09:19:03 +01:00
Tom Hvitved	41916640c3	Rust: Taint flow tests for operations	2025-12-05 09:19:02 +01:00
Tom Hvitved	294c489fd8	Rust: Handle x[y] expressions as *.index(y) calls in data flow	2025-12-05 09:18:59 +01:00
Tom Hvitved	e72c8acb6c	Rust: Add data flow tests for collections	2025-12-05 09:16:57 +01:00
Tom Hvitved	57bca5ca9b	Rust: Include more calls in DB quality metrics	2025-12-05 09:15:26 +01:00
Tom Hvitved	be1d756de4	Rust: Call refactor follow-up fixes	2025-12-04 21:15:28 +01:00
Tom Hvitved	bc6d38ebb4	Address review comments	2025-12-04 10:38:47 +01:00
Tom Hvitved	7378fbc567	Rust: Restructure classes representing calls	2025-12-02 10:08:04 +01:00
Tom Hvitved	d8177274a8	Rust: Improve handling of deref expressions in data flow	2025-12-01 11:34:06 +01:00
Tom Hvitved	6b003580d1	Rust: Improve handling of implicit derefs/borrows in data flow	2025-12-01 11:34:01 +01:00
Tom Hvitved	9b25a3112d	Rust: Use TaintFlow instead of ValueFlow in tests	2025-12-01 11:33:57 +01:00
Geoffrey White	80615056c0	Merge remote-tracking branch 'upstream/main' into cert-checks	2025-11-21 18:40:40 +00:00
Geoffrey White	e01c871b70	Rust: Accept changes to the dataflow/sources/file test.	2025-11-21 17:12:23 +00:00
Tom Hvitved	489fff9572	Rust: Base DataFlow::Node on AST instead of CFG	2025-11-19 19:37:39 +01:00
Simon Friis Vindum	a07f015d01	Rust: Accept changes to expected files	2025-11-17 12:39:36 +01:00
Tom Hvitved	c81f5f5190	Rust: Remove elements superseded by attribute macro expansions	2025-11-10 09:18:58 +01:00
Tom Hvitved	bc53fee1c5	Rust: Infer more () types	2025-10-29 15:43:00 +01:00
Geoffrey White	03204b7881	Rust: Accept tests repaired.	2025-10-27 17:53:40 +00:00
Geoffrey White	a468b1d647	Rust: Accept regressions spotted by CI.	2025-10-27 17:46:01 +00:00
Geoffrey White	bd11873e0d	Rust: Generalize a model of futures_io...poll_read.	2025-10-27 12:22:13 +00:00
Geoffrey White	d650ccb74b	Rust: Generalize some std::io::Read models.	2025-10-27 12:09:04 +00:00
Geoffrey White	47334fbab7	Rust: Accept changes to the web_frameworks results.	2025-10-23 09:06:11 +01:00
Geoffrey White	e18bf1661a	Rust: Accept result de-regression.	2025-10-22 17:52:12 +01:00
Geoffrey White	6b08297c2a	Rust: Repair after merge.	2025-10-22 17:46:25 +01:00
Geoffrey White	bc4d8a8425	Merge branch 'main' into sourcestest	2025-10-22 17:31:25 +01:00
Geoffrey White	6878a43223	Rust: Add missing file.	2025-10-22 14:18:16 +01:00
Geoffrey White	8336a956c0	Rust: Add consistency check failures.	2025-10-22 13:50:49 +01:00
Geoffrey White	9b11ec53d4	Rust: Merge InlineFlow.ql test queries using .qlrefs.	2025-10-22 09:02:18 +01:00
Geoffrey White	4893f53607	Rust: Fix a comment.	2025-10-22 09:02:15 +01:00
Geoffrey White	42224fe642	Rust: Clean up the sources test directory.	2025-10-22 09:02:14 +01:00