1187 Commits

Author	SHA1	Message	Date
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	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	b61a439491	Merge pull request #21020 from hvitved/shared/source-sink-provenance-prio ... Shared: Prefer source/sink models with manual provenance over generated	2025-12-12 16:01:06 +01:00
Tom Hvitved	0b00589f95	Rust: Update expected test output	2025-12-12 11:16:17 +01:00
Simon Friis Vindum	4425891352	Rust: Don't propagate impl in return position into function bodies	2025-12-12 09:13:04 +01:00
Simon Friis Vindum	e13bb0f866	Merge pull request #20879 from paldepind/rust/reads-as-taint ... Rust: Lift content reads as taint steps	2025-12-11 16:05:29 +01:00
Tom Hvitved	d5a95a8099	Rust: Strengthen isNotInstantiationOf uses	2025-12-10 20:48:21 +01:00
Tom Hvitved	f30a3b3712	Rust: Add type inference blowup test	2025-12-10 20:48:18 +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	09461e9cb6	Merge pull request #20967 from hvitved/rust/call-refactor-fix ... Rust: Call refactor follow-up fixes	2025-12-05 09:16:18 +01:00
Tom Hvitved	57bca5ca9b	Rust: Include more calls in DB quality metrics	2025-12-05 09:15:26 +01:00
Simon Friis Vindum	1a19df2044	Merge pull request #20950 from paldepind/rust/ti-raw-pointer ... Rust: Type inference for raw pointers	2025-12-05 09:06:13 +01:00
Tom Hvitved	be1d756de4	Rust: Call refactor follow-up fixes	2025-12-04 21:15:28 +01:00
Simon Friis Vindum	27ddc813af	Rust: Cleanup of raw pointer types based in PR feedback	2025-12-04 16:41:28 +01:00
Tom Hvitved	bc6d38ebb4	Address review comments	2025-12-04 10:38:47 +01:00
Simon Friis Vindum	299fed5901	Rust: Apply fixes from code review	2025-12-03 13:04:54 +01:00
Simon Friis Vindum	ea1b0a8476	Rust: Fix path resolution for raw pointer types	2025-12-02 14:43:52 +01:00
Simon Friis Vindum	c15e12c9ff	Rust: Accept test changes	2025-12-02 14:43:51 +01:00
Simon Friis Vindum	785025f1e3	Rust: Type inference for raw pointers	2025-12-02 14:43:50 +01:00
Simon Friis Vindum	3e7a7d541b	Rust: Include certain types in type inference tests	2025-12-02 13:16:33 +01:00
Simon Friis Vindum	6a2502c97a	Rust: Add type inference tests for raw pointers	2025-12-02 13:14:09 +01:00
Tom Hvitved	7378fbc567	Rust: Restructure classes representing calls	2025-12-02 10:08:04 +01:00
Tom Hvitved	464d2cd5fc	Merge pull request #20891 from hvitved/rust/data-flow-implicit-deref-borrow ... Rust: Improve handling of implicit derefs/borrows in data flow	2025-12-01 19:03:55 +01:00
Tom Hvitved	6ddb9c784c	Merge pull request #20853 from hvitved/rust/path-resolution-impl-self ... Rust: Refine `Self` resolution inside `impl` blocks	2025-12-01 12:50:30 +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
Tom Hvitved	d45f8f7236	Rust: Document overlapping function resoltion with test cases	2025-12-01 11:16:15 +01:00
Tom Hvitved	34f3892c35	Rust: Extend Self resolution logic to all item kinds	2025-12-01 09:58:27 +01:00
Tom Hvitved	250d15aef2	Rust: More path resolution tests	2025-12-01 09:54:22 +01:00
Tom Hvitved	a9b58b8db3	Rust: Model async return types as dyn Future	2025-11-26 21:03:03 +01:00
Tom Hvitved	7e5131891c	Rust: Special-case Self::AssocType in path resolution	2025-11-26 11:50:35 +01:00
Tom Hvitved	0d46dc0461	Rust: More path resolution tests	2025-11-26 11:33:17 +01:00
Simon Friis Vindum	393da4567e	Rust: Add tests for Enum	2025-11-25 13:35:12 +01:00
Geoffrey White	daead038ab	Merge pull request #20829 from geoffw0/cert-checks ... Rust: New Query rust/disabled-certificate-check	2025-11-24 15:21:58 +00:00