4044 Commits

Author	SHA1	Message	Date
Geoffrey White	01d24c4f83	Merge branch 'main' into sqlx	2025-07-31 16:02:36 +01:00
Geoffrey White	58680c94bc	Rust: Repair BadCtorInitialization.ql's StdCall using getCanonicalPath.	2025-07-31 13:28:56 +01:00
Simon Friis Vindum	abc58ac8b3	Rust: Add metric and debug predicates for type that reach the length limit	2025-07-31 14:20:32 +02:00
Geoffrey White	42ced8aa3d	Rust: Add examples to tests.	2025-07-30 17:51:32 +01:00
Geoffrey White	b6e60e4087	Rust: Address small bugs in the test.	2025-07-30 17:51:31 +01:00
Geoffrey White	215fe7d0b3	Rust: Clean up the alert message.	2025-07-30 17:51:30 +01:00
Geoffrey White	e585e677c8	Rust: Add qhelp and examples.	2025-07-30 17:51:28 +01:00
Simon Friis Vindum	3bc1d47738	Merge pull request #20130 from paldepind/rust/type-inference-fn ... Rust: Implement type inference for closures and calls to closures	2025-07-30 13:13:57 +02:00
Anders Schack-Mulligen	5ca9c090a8	Merge pull request #20132 from aschackmull/ssa/guardvalue ... SSA: Update data flow integration and BarrierGuard interface to use GuardValue.	2025-07-30 12:23:17 +02:00
Geoffrey White	a3110a9091	Rust: Implement query.	2025-07-29 18:19:52 +01:00
Simon Friis Vindum	5b152cfdec	Rust: Fix typo in change note ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2025-07-29 18:38:14 +02:00
Simon Friis Vindum	5540b9df71	Merge branch 'main' into rust/type-inference-fn	2025-07-29 16:43:17 +02:00
Geoffrey White	5c64d4e9b7	Rust: Query framework.	2025-07-28 16:59:01 +01:00
Geoffrey White	897822dff5	Rust: The Cargo.lock file has changed as well.	2025-07-28 16:55:43 +01:00
Geoffrey White	9972aaf6a1	Rust: Add tests cases for cleartext storage.	2025-07-28 16:12:34 +01:00
Anders Schack-Mulligen	3b8234ecec	SSA: Update data flow integration and BarrierGuard interface to use GuardValue.	2025-07-28 11:29:12 +02:00
Simon Friis Vindum	92bce4e432	Rust: Split getFunctionReturnPos into two predicates	2025-07-28 10:45:59 +02:00
Simon Friis Vindum	9761580b7e	Merge branch 'main' into rust/type-inference-assoc-type-tp	2025-07-28 10:39:00 +02:00
Simon Friis Vindum	8e474c946e	Rust: Add change note for type inference for closures	2025-07-28 10:27:33 +02:00
Simon Friis Vindum	2c758a9842	Rust: Add type inference for closures and calls to first-class functions	2025-07-27 21:28:10 +02:00
Simon Friis Vindum	8c6c28d61f	Rust: Add type inference tests for closures	2025-07-27 21:16:30 +02:00
Simon Friis Vindum	13d9d8ad3f	Merge pull request #20122 from paldepind/rust/type-inference-dyn-assoc ... Rust: Fix type inference for trait objects for traits with associated types	2025-07-26 12:40:09 +02:00
Geoffrey White	4b947db0f8	Merge pull request #19804 from geoffw0/dotdot ... Rust: Update DotDotCheck to use getCanonicalPath	2025-07-25 15:50:29 +01:00
Simon Friis Vindum	b2ee625268	Rust: Expand doc and make predicate private	2025-07-25 15:22:10 +02:00
Geoffrey White	478f39a967	Rust: Accept (trivial) test changes.	2025-07-25 14:18:34 +01:00
Geoffrey White	2192ed04be	Rust: Add clone MaD trait model.	2025-07-25 09:43:34 +01:00
Geoffrey White	4140579dd6	Rust: Remove QL model for clone.	2025-07-25 08:17:52 +01:00
Geoffrey White	7f659804e4	Rust: Fix the canonical path.	2025-07-24 17:24:29 +01:00
Geoffrey White	cfe25593ee	Merge branch 'main' into dotdot	2025-07-24 16:32:36 +01:00
Geoffrey White	67c170ffc1	Merge branch 'main' into sqlx	2025-07-24 15:25:35 +01:00
Simon Friis Vindum	466bf85a67	Rust: Fix type inference for trait objects for traits with associated types	2025-07-24 16:07:39 +02:00
Simon Friis Vindum	1b2f160b55	Rust: Add type inference tests for associated types	2025-07-24 16:07:37 +02:00
Simon Friis Vindum	39f602c032	Rust: Create injective ids for impl trait type parameters	2025-07-24 12:07:11 +02:00
Simon Friis Vindum	bb56b0d45b	Rust: Add type inference test with consistency issue	2025-07-24 11:55:23 +02:00
Simon Friis Vindum	9a0c5877ea	Rust: Support impl trait types in return position with function type parameters	2025-07-24 11:00:01 +02:00
Simon Friis Vindum	a20fed8ae5	Rust: Add type inference tests for impl trait types	2025-07-24 10:36:51 +02:00
Simon Friis Vindum	82387461ee	Merge pull request #20084 from paldepind/rust/type-inference-trait-object ... Rust: Implement type inference for trait objects/`dyn` types	2025-07-24 10:17:23 +02:00
Simon Friis Vindum	b3dc6cba78	Rust: Use getATypeParam for consistency	2025-07-23 20:56:45 +02:00
Geoffrey White	199f2473e5	Merge pull request #20024 from geoffw0/moresensitive2 ... Shared: Improve sensitive data heuristics	2025-07-23 15:38:24 +01:00
Nora Dimitrijević	5f8c457295	Merge pull request #20081 from d10c/d10c/diff-informed-phase-3-rust ... Rust: Diff-informed queries: phase 3 (non-trivial locations)	2025-07-23 16:31:23 +02:00
Nora Dimitrijević	83fe9e0d51	[DIFF-INFORMED] Rust: AccessInvalidPointer	2025-07-23 14:52:44 +02:00
Nora Dimitrijević	31a73d466b	[DIFF-INFORMED] Rust: AccessAfterLifetime	2025-07-23 14:52:32 +02:00
Nora Dimitrijević	56ae8684e1	[DIFF-INFORMED] Rust: UncontrolledAllocationSize	2025-07-23 14:52:14 +02:00
Nora Dimitrijević	fcc3800756	[DIFF-INFORMED] Rust: CleartextLogging	2025-07-23 14:52:07 +02:00
Nora Dimitrijević	091163bf8e	[DIFF-INFORMED] Rust: CleartextTransmission	2025-07-23 14:52:00 +02:00
Nora Dimitrijević	78c40e209b	[DIFF-INFORMED] Rust: SqlInjection	2025-07-23 14:51:52 +02:00
Nora Dimitrijević	574bb871e0	[DIFF-INFORMED] Rust: TaintedPath	2025-07-23 14:51:45 +02:00
Nora Dimitrijević	329fd803e2	[DIFF-INFORMED] Rust: RegexInjection	2025-07-23 14:51:33 +02:00
Simon Friis Vindum	f5605c94c5	Rust: Add change note for type inference of trait objects	2025-07-23 14:08:22 +02:00
Simon Friis Vindum	12942667bf	Rust: Add type inference for dyn types	2025-07-23 14:08:15 +02:00