1619 Commits

Author	SHA1	Message	Date
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
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	5540b9df71	Merge branch 'main' into rust/type-inference-fn	2025-07-29 16:43:17 +02: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	2c758a9842	Rust: Add type inference for closures and calls to first-class functions	2025-07-27 21:28:10 +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	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	39f602c032	Rust: Create injective ids for impl trait type parameters	2025-07-24 12:07:11 +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	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
Simon Friis Vindum	12942667bf	Rust: Add type inference for dyn types	2025-07-23 14:08:15 +02:00
copilot-swe-agent[bot]	defd4a1d08	Add change note for removal of deprecated dataflow predicates ... Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>	2025-07-23 10:41:31 +00:00
copilot-swe-agent[bot]	2cc732e235	Apply QL autoformatter to ModelsAsData.qll ... Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>	2025-07-23 09:38:10 +00:00
copilot-swe-agent[bot]	0245cd872c	Remove deprecated Rust dataflow predicates and associated classes ... Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>	2025-07-23 08:49:24 +00:00
Geoffrey White	4f6b698ca3	Merge branch 'main' into moresensitive2	2025-07-23 08:50:25 +01:00
Simon Friis Vindum	f432cf9c4d	Merge pull request #20041 from paldepind/rust/type-inference-tuples ... Rust: Type inference for tuples	2025-07-23 08:21:27 +02:00
Geoffrey White	6efc19daac	Merge pull request #18943 from geoffw0/constcrypto ... Rust: new query rust/hardcoded-crytographic-value	2025-07-22 13:36:14 +01:00
Nick Rolfe	96a32c0179	Merge pull request #20103 from github/post-release-prep/codeql-cli-2.22.2 ... Post-release preparation for codeql-cli-2.22.2	2025-07-22 06:01:34 -04:00
github-actions[bot]	deb035cf4e	Post-release preparation for codeql-cli-2.22.2	2025-07-22 09:36:07 +00:00
Simon Friis Vindum	6b366d8384	Merge branch 'main' into rust/type-inference-tuples	2025-07-22 10:45:41 +02:00
Simon Friis Vindum	79cc7318ba	Merge pull request #20096 from paldepind/rust/path-resolution-associated-type-fix ... Rust: Path resolution associated type fix	2025-07-22 10:12:07 +02:00
Geoffrey White	d53dada67f	Rust: Update barrier logic to use getCanonicalPath.	2025-07-21 20:56:48 +01:00
Geoffrey White	ec3ad85504	Rust: Add another test case for barriers (that still functions).	2025-07-21 20:53:37 +01:00
github-actions[bot]	c8632b70b7	Release preparation for version 2.22.2	2025-07-21 16:45:45 +00:00
Geoffrey White	fc8a662f0d	Rust: Update the models.	2025-07-21 17:24:07 +01:00
Nick Rolfe	ad9b637bec	Revert "Merge pull request #19994 from github/post-release-prep/codeql-cli-2.22.2" ... This reverts commit e5b4a15e35, reversing changes made to 33e63109bb.	2025-07-21 15:18:59 +01:00
Geoffrey White	0ec10e5c30	Rust: Corrections after the merge.	2025-07-21 12:12:23 +01:00
Simon Friis Vindum	ac6715fb3a	Rust: Avoid mixing up type parameters and associated types in path resolution	2025-07-21 10:07:41 +02:00
Simon Friis Vindum	27e5251285	Rust: Add resolveRootType predicate instead of using resolveType recursively	2025-07-19 13:57:31 +02:00
Simon Friis Vindum	804ffdb682	Rust: Split PathTypeMention into an alias and a non-alias subclass	2025-07-19 13:43:56 +02:00
Simon Friis Vindum	0e8c137a98	Rust: Only include paths as type mentions when they're used as such ... On databend this changes the number of `PathTypeMention`s from 3,777,464 to 3,330,024. Not a huge difference, but there's also downstream predicates that are reduced as well.	2025-07-19 11:57:13 +02:00
Simon Friis Vindum	620d228ffa	Rust: Factor out getTypeMentionForTypeParameter	2025-07-19 08:41:38 +02:00
Geoffrey White	c2ddf25f11	Merge branch 'main' into constcrypto	2025-07-17 16:13:58 +01:00
Jeroen Ketema	acc66c7b58	Merge pull request #19984 from jketema/jketema/sec-shared ... Make a proper shared library out of the concept related libraries	2025-07-17 13:25:33 +02:00
Geoffrey White	69064b7f7f	Rust: Update the model.	2025-07-17 12:20:34 +01:00
Geoffrey White	62b7d84638	Rust: Add Sqlx as MaD sinks instead.	2025-07-16 16:36:42 +01:00
Geoffrey White	87deab861f	Rust: Remove Sqlx.qll.	2025-07-16 16:23:50 +01:00