2588 Commits

Author	SHA1	Message	Date
Geoffrey White	51343a5c03	Rust: Implement type inference for ArrayListExprs.	2025-06-13 12:58:49 +01:00
Geoffrey White	f76b56291b	Rust: Implement type inference for 'for' loops on arrays.	2025-06-13 12:58:47 +01:00
Geoffrey White	840ef5ce92	Rust: Add test cases for type inference in loops.	2025-06-13 12:37:32 +01:00
Tom Hvitved	2f698d1590	Rust: Type inference for macro expressions	2025-06-13 13:11:11 +02:00
Tom Hvitved	fd59a27bd2	Rust: Add macro expr type inference test	2025-06-13 13:11:07 +02:00
Tom Hvitved	ad64e04475	Merge pull request #19737 from hvitved/rust/type-inference-string-str-deref ... Rust: Model `String` -> `str` implicit conversion in type inference	2025-06-13 13:09:24 +02:00
Paolo Tranquilli	ad3a5d777d	Rust: add public preview change notes	2025-06-13 13:03:39 +02:00
Paolo Tranquilli	ff9ac3bb6f	Rust: accept test changes	2025-06-13 11:56:12 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Paolo Tranquilli	118456d127	Rust: regenerate models ... Models are regenerated with the fix from https://github.com/github/codeql/pull/19744 which corrects the order of generation.	2025-06-13 09:06:15 +02:00
Tom Hvitved	3d18e3ea8f	Rust: Use hasImplementation in path resolution	2025-06-13 08:44:44 +02:00
Tom Hvitved	5b5074e922	Rust: Add another type inference test	2025-06-12 21:48:40 +02:00
Paolo Tranquilli	22c490ce4e	Merge pull request #19667 from github/redsun82/rust-mad ... Rust: Use QL computed canonical paths in MaD `Field` tokens	2025-06-12 20:48:41 +02:00
Paolo Tranquilli	a5dba9b54f	Merge pull request #19649 from github/redsun82/rust-has-implementation ... Rust: extract `hasImplementation` on functions and consts	2025-06-12 15:19:23 +00:00
Simon Friis Vindum	e30a9e9906	Merge pull request #19685 from paldepind/rust/df-operator-overloading ... Rust: Data flow through overloaded operators	2025-06-12 17:08:16 +02:00
Paolo Tranquilli	b102d5c39d	Rust: accept test changes	2025-06-12 16:19:17 +02:00
Paolo Tranquilli	836b81de40	Rust: fix mdoel	2025-06-12 15:50:21 +02:00
Paolo Tranquilli	506ea11d07	Rust: simplify upgrade script	2025-06-12 15:31:11 +02:00
Paolo Tranquilli	ad7fb9c061	Merge branch 'main' into redsun82/rust-has-implementation	2025-06-12 15:25:59 +02:00
Simon Friis Vindum	2dd2f2e72b	Rust: Address review comments	2025-06-12 14:12:27 +02:00
Nick Rolfe	02b75e884e	Rust: fix typo in README.md	2025-06-12 13:00:23 +01:00
Tom Hvitved	93fd6ec826	Merge pull request #19729 from hvitved/rust/type-inference-adjust-type-relevant-access ... Rust: Also apply `adjustedAccessType` in `RelevantAccess`	2025-06-12 13:04:13 +02:00
Paolo Tranquilli	455490436c	Rust: fix dataflow models test expectation	2025-06-12 12:16:37 +02:00
Tom Hvitved	9e6ce98491	Merge pull request #19728 from hvitved/rust/type-inference-debug-predicates ... Rust: Add another type inference debug predicate	2025-06-12 12:15:19 +02:00
Simon Friis Vindum	8cde1eefb2	Rust: Remove Access from adjustAccessType	2025-06-12 11:16:32 +02:00
Simon Friis Vindum	f138f77cc1	Rust: Only adjust access type for method call expressions	2025-06-12 11:16:30 +02:00
Simon Friis Vindum	03c9a78bfb	Rust: Simplify accessDeclarationPositionMatch	2025-06-12 11:16:29 +02:00
Simon Friis Vindum	3463ebd8ce	Rust: Adapt data flow consistency queries to ! being a call ... The exact same problem occurs in Ruby, hence the `multipleArgumentCallExclude` implementation is adapted from Ruby's.	2025-06-12 11:16:28 +02:00
Simon Friis Vindum	fecd445e78	Rust: Use Call in data flow	2025-06-12 11:16:26 +02:00
Simon Friis Vindum	5642445e1d	Rust: Fix canonical path for Deref trait	2025-06-12 11:16:25 +02:00
Simon Friis Vindum	7684e01c3a	Rust: Use Call in type inference	2025-06-12 11:16:19 +02:00
Simon Friis Vindum	47864781c1	Rust: Add abstraction over all kinds of calls	2025-06-12 11:12:06 +02:00
Simon Friis Vindum	ce1c9fbec1	Rust: Account for arity in operator overloading ... For instance the binary `&` is overloadable but the prefix `&` is not. Similarly, `*` has a different target depending on if it's prefix or infix.	2025-06-12 11:12:04 +02:00
Simon Friis Vindum	18583550ae	Rust: Add data flow tests for operator overloading	2025-06-12 11:12:03 +02:00
Paolo Tranquilli	3c834de5be	Rust: fix dataflow models test	2025-06-12 11:04:30 +02:00
Tom Hvitved	d667f7d411	Merge pull request #19732 from hvitved/rust/builtin-canonical-paths ... Rust: Generate canonical paths for builtins	2025-06-12 10:47:00 +02:00
Paolo Tranquilli	85e9f5a3b0	Merge pull request #19559 from github/redsun82/rust-extract-libs ... Rust: move body skipping logic to code generation	2025-06-12 10:45:30 +02:00
Tom Hvitved	649481e279	Merge pull request #19657 from hvitved/rust/type-inference-index-expr-simple ... Rust: Simple type inference for index expressions	2025-06-12 10:27:09 +02:00
Geoffrey White	fdf1dca28f	Merge pull request #19735 from geoffw0/canonical ... Rust: Update RegexInjectionExtensions to use getCanonicalPath.	2025-06-12 09:14:52 +01:00
Paolo Tranquilli	326ddd6625	Merge branch 'main' into redsun82/rust-mad	2025-06-12 09:24:44 +02:00
Paolo Tranquilli	a6cc94698a	Rust: fix inline flow test	2025-06-12 09:24:33 +02:00
Tom Hvitved	383cc5c2a7	Rust: Rename Bultins.qll -> Builtins.qll	2025-06-12 09:12:32 +02:00
Tom Hvitved	69e549f400	Rust: Generate canonical paths for builtins	2025-06-11 21:14:56 +02:00
Geoffrey White	087e666658	Rust: Exclude sources in macro expansions.	2025-06-11 18:48:23 +01:00
Geoffrey White	168246005c	Rust: Extend tests based on cases found in DCA.	2025-06-11 18:33:59 +01:00
Geoffrey White	b29deed919	Rust: Accept changes in an unrelated test reported by CI.	2025-06-11 18:09:22 +01:00
Geoffrey White	bd21a03fc3	Merge pull request #19718 from geoffw0/taintreach ... Rust: Adjust the taint reach metric for better stability.	2025-06-11 17:51:50 +01:00
Paolo Tranquilli	97c2dfe23f	Rust: fix tests	2025-06-11 17:32:43 +02:00
Paolo Tranquilli	bea5381420	Rust: replace last hand-written instances of Field[crate::	2025-06-11 16:48:39 +02:00
Paolo Tranquilli	051704e59d	Merge branch 'main' into redsun82/rust-mad	2025-06-11 16:39:10 +02:00