1328 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	75caa182f5	Merge pull request #19724 from github/rust/type-inference-borrow ... Rust: Implement type inference for ref expression as type equality	2025-06-11 12:36:43 +02:00
Paolo Tranquilli	fbcd9eaf09	Merge pull request #19674 from github/redsun82/mad ... Rust: regenerate MaD files using DCA	2025-06-11 11:10:08 +02:00
Simon Friis Vindum	01701de4a7	Rust: Implement type inference for ref expression as type equality	2025-06-11 09:09:22 +02:00
Simon Friis Vindum	8f5d9d7702	Rust: Add type inference tests for borrowing	2025-06-11 08:40:15 +02:00
Geoffrey White	652d32d4ff	Merge pull request #19626 from geoffw0/futures ... Rust: Model futures-io, rustls, futures-rustls	2025-06-10 15:23:43 +01:00
Paolo Tranquilli	8f0f2006a8	Merge pull request #19708 from github/redsun82/rust-getArg-getParam ... Rust: add `Callable::getParam` and `CallExprBase::getArg` shortcuts	2025-06-10 15:31:05 +02:00
Geoffrey White	fd2154d389	Merge branch 'main' into futures	2025-06-10 14:16:06 +01:00
Tom Hvitved	791369dd0e	Merge pull request #19584 from hvitved/rust/type-inference-await ... Rust: Type inference for `.await` expressions	2025-06-10 14:56:28 +02:00
Paolo Tranquilli	4ac4e44b50	Rust: accept test changes	2025-06-10 14:45:57 +02:00
Geoffrey White	918fa3684f	Merge branch 'main' into futures	2025-06-10 13:24:09 +01:00
Paolo Tranquilli	0d036992e0	Merge branch 'main' into redsun82/mad	2025-06-10 13:39:10 +02:00
Paolo Tranquilli	3562c48068	Merge branch 'main' into redsun82/rust-getArg-getParam	2025-06-10 13:15:37 +02:00
Paolo Tranquilli	3af10d2c6c	Merge pull request #19710 from github/redsun82/rust-fix-crate-graph-test ... Rust: fix crate graph test	2025-06-10 13:15:22 +02:00
Tom Hvitved	c6efc05de1	Rust: Reimplement type inference for impl Traits and await expressions	2025-06-10 12:39:20 +02:00
Tom Hvitved	f2832712bc	Rust: Add more type inference tests	2025-06-10 12:38:40 +02:00
Tom Hvitved	821f2fd681	Rust: Type inference for .await expressions	2025-06-10 12:38:39 +02:00
Tom Hvitved	e6109cfcf1	Rust: Add type inference tests for impl Trait	2025-06-10 12:38:38 +02:00
Tom Hvitved	c32e05cc8a	Rust: Add async type inference tests	2025-06-10 12:38:37 +02:00
Paolo Tranquilli	6f25d7e35e	Rust: fix crate graph test	2025-06-10 11:57:20 +02:00
Paolo Tranquilli	e6056f9dfc	Update rust/ql/test/query-tests/security/CWE-770/main.rs ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2025-06-10 10:52:18 +02:00
Paolo Tranquilli	a405a12e93	Rust: add Callable::getParam and CallExprBase::getArg shortcuts	2025-06-10 09:51:26 +02:00
Paolo Tranquilli	e1eb1f6345	Rust: address review ... Also fix some minor things in `bulk_generate_mad.py`.	2025-06-05 16:03:40 +02:00
Paolo Tranquilli	6162cf5dbb	Rust: accept test changes	2025-06-05 10:52:59 +02:00
Tom Hvitved	721ffb11cf	Rust: Path resolution for extern crates	2025-06-04 21:14:22 +02:00
Tom Hvitved	4fb4bfd6cf	Rust: Add path resolution test for extern crate	2025-06-04 21:13:29 +02:00
Tom Hvitved	76c6d7104d	Merge pull request #19669 from hvitved/rust/external-location-post-processing ... Rust: Remove external locations in tests using post-processing	2025-06-04 16:52:40 +02:00
Arthur Baars	189c16b7bc	Merge pull request #19630 from github/aibaars/qldoc-ast ... Rust: add documentation for AST nodes	2025-06-04 16:04:56 +02:00
Arthur Baars	39851bcab4	Rust: update expected output	2025-06-04 15:44:36 +02:00
Arthur Baars	e87878298e	Rust: run codegen	2025-06-04 15:41:52 +02:00
Tom Hvitved	aa0fc05df8	Rust: Remove external locations in tests using post-processing	2025-06-04 13:07:43 +02:00
Tom Hvitved	ae4a425608	Merge pull request #19605 from hvitved/rust/jump-to-def-extensions ... Rust: Extend jump-to-def to include paths and `mod file;` imports	2025-06-03 10:19:28 +02:00
Tom Hvitved	3781de7b92	Rust: Reorder columns in Definitions.ql test	2025-06-03 09:53:45 +02:00
Arthur Baars	ae0c547e89	Rust: fix CFG for MacroPat	2025-06-02 16:37:55 +02:00
Tom Hvitved	bf39058573	Merge pull request #19611 from hvitved/rust/path-resolution-std-prelude ... Rust: Also take the `std` prelude into account when resolving paths	2025-06-02 13:04:57 +02:00
Arthur Baars	943dd8e70c	update output	2025-05-30 22:56:06 +02:00
Arthur Baars	c44a7c3036	Rust: codegen	2025-05-30 22:56:04 +02:00
Arthur Baars	0157c16008	Rust: delete empty expected file	2025-05-30 12:57:45 +02:00
Arthur Baars	f0db47b571	Rust: run codegen	2025-05-30 11:51:35 +02:00
Geoffrey White	49dabdb8a5	Rust: Accept consistency test failures.	2025-05-29 17:51:44 +01:00
Geoffrey White	10f894b9a1	Rust: Model more methods.	2025-05-29 16:45:25 +01:00
Geoffrey White	4d51a15cc4	Rust: Add model variants for when the qualifier is expressed as an arg (reference). We shouldn't need these.	2025-05-29 16:45:23 +01:00
Geoffrey White	84c72f68af	Rust: Add models for read methods.	2025-05-29 16:45:22 +01:00
Geoffrey White	13f6de9924	Rust: Add source / basic basic models.	2025-05-29 16:45:21 +01:00
Geoffrey White	b78d51e079	Rust: Fix a bug in InlineFlow.ql that was excluding some sinks.	2025-05-29 16:45:19 +01:00
Geoffrey White	a5e1702d4b	Rust: Add tests for sources involving regular rustls as well.	2025-05-29 16:45:18 +01:00
Geoffrey White	544af7f7ca	Rust: Add tests for sources involving futures-rustls and futures-io.	2025-05-29 16:45:17 +01:00
Simon Friis Vindum	437246f3c9	Merge pull request #19593 from paldepind/rust/operator-overloading ... Rust: Type inference for operator overloading	2025-05-29 12:28:25 +02:00
Paolo Tranquilli	7d1a38f42a	Merge pull request #19600 from github/redsun82/rust-new-macro-expansion-integration-test ... Rust: add more macro expansion tests	2025-05-28 17:19:06 +02:00
Tom Hvitved	3fa308e723	Rust: Also take the std prelude into account when resolving paths	2025-05-28 16:57:19 +02:00
Tom Hvitved	d74e95f5fe	Rust: Extend jump-to-def to include paths and mod file; imports	2025-05-28 13:29:00 +02:00