1460 Commits

Author	SHA1	Message	Date
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
Geoffrey White	6f5e4ef5b9	Merge branch 'main' into sqlx	2025-07-16 15:59:42 +01:00
Simon Friis Vindum	a508089df8	Rust: Improvements to tuple type inference based on PR feedback	2025-07-16 09:38:29 +02:00
Simon Friis Vindum	7c04c9f969	Rust: Store arity in tuple type parameters ... Type parameters are required to belong to a single type only. Since we store the arity for tuple types, we need to store the arity in tuple type parameters as well such that we can associate them to the tuple type of the same arity.	2025-07-15 09:50:15 +02:00
Simon Friis Vindum	03a9a1688e	Rust: Add type inference for tuples	2025-07-14 16:37:05 +02:00
Jeroen Ketema	cbde11ddc9	Properly share ConceptsShared.qll	2025-07-14 16:30:45 +02:00
Simon Friis Vindum	72854537f4	Merge branch 'main' into rust/type-inference-rename-expectations	2025-07-14 14:15:59 +02:00
Geoffrey White	918700ff6f	Merge branch 'main' into moresensitive2	2025-07-14 11:58:08 +01:00
Geoffrey White	9f59a3501c	Rust: Revert ipaddr and fingerprint terms (too many FPs).	2025-07-14 11:17:09 +01:00