54 Commits

Author	SHA1	Message	Date
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00
Paolo Tranquilli	0e9d4aacd9	Rust: accept test changes	2025-06-19 16:13:26 +02:00
Tom Hvitved	c88a5049e0	Rust: Fix column orders in interpretModelForTest	2025-06-18 13:15:36 +02:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Paolo Tranquilli	55096a31f2	Rust: add Cargo.lock files to all tests with cargo check	2025-06-16 10:52:53 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Paolo Tranquilli	051704e59d	Merge branch 'main' into redsun82/rust-mad	2025-06-11 16:39:10 +02:00
Tom Hvitved	721ffb11cf	Rust: Path resolution for extern crates	2025-06-04 21:14:22 +02:00
Paolo Tranquilli	5f474a7185	Rust: Use QL computed canonical paths in MaD Field tokens ... Also regenerate all auto-generated models with latest extractor.	2025-06-04 09:43:45 +02:00
Simon Friis Vindum	52280625ee	Rust: Add type inference inconsistency counts to the stats summary	2025-05-27 12:43:34 +02:00
Arthur Baars	a4788fd816	Rust: update expected output	2025-05-22 13:36:38 +02:00
Simon Friis Vindum	654d410485	Rust: Address PR feedback	2025-05-19 15:50:29 +02:00
Simon Friis Vindum	bc8580159c	Merge branch 'main' into rust-ti-implementing-type-method	2025-05-12 11:35:48 +02:00
Arthur Baars	869af58c9d	Rust: add flow step for MacroStmts	2025-05-02 16:23:00 +02:00
Arthur Baars	4ca98ba816	Rust: test with format! macro in a block	2025-05-02 16:22:57 +02:00
Simon Friis Vindum	a545361a55	Rust: Accept test changes	2025-05-01 12:36:01 +02:00
Simon Friis Vindum	f584d22b53	Rust: Use type inference to insert implicit borrows and derefs	2025-04-30 14:43:51 +02:00
Tom Hvitved	6df5a1ef80	Rust: Extract SelfParams from crate graph	2025-04-24 15:30:23 +02:00
Geoffrey White	22b3ef7f20	Merge pull request #19333 from geoffw0/consistency ... Rust: Make source kinds consistent with other languages	2025-04-17 13:15:00 +01:00
Geoffrey White	43069f139d	Rust: command-line-source -> commandargs.	2025-04-17 10:15:04 +01:00
Geoffrey White	9da6d9435e	Rust: More tests affected.	2025-04-16 17:41:27 +01:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Tom Hvitved	dcaeeabad8	Rust: Fix capturedCallRead	2025-04-01 15:11:20 +02:00
Tom Hvitved	9dea9f5046	SSA: Make phiWithoutTwoPriorRefs consistency check more informative	2025-04-01 15:07:46 +02:00
Simon Friis Vindum	b3601b1ac2	Merge pull request #18946 from paldepind/rust-regex-injection ... Rust: Add regular expression injection query	2025-03-12 08:15:54 +01:00
Simon Friis Vindum	0e965f7616	Rust: Accept changes	2025-03-10 14:39:37 +01:00
Anders Schack-Mulligen	b1e53f5816	Rust: Accept consistency failure.	2025-03-07 11:11:49 +01:00
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Geoffrey White	79525fa4ed	Rust: Variant -> Field.	2025-02-17 17:33:52 +00:00
Geoffrey White	048f7dbd37	Merge branch 'main' into nth	2025-02-17 17:17:59 +00:00
Geoffrey White	c07a57bf6b	Rust: Accept spurious test results (we need a barrier for numeric types of this query at some point; it's good that flow reaches it now).	2025-02-13 15:31:10 +00:00
Tom Hvitved	e9c25037d4	Rust: Use Field MaD token instead of Variant, Struct, Tuple	2025-02-13 13:32:08 +01:00
Geoffrey White	9d6a13cec2	Rust: Accept improved results for rust/sql-injection. Note that the lost annotations are only sources, not results, and I suspect will return when we have sufficient flow in these cases.	2025-01-27 22:22:38 +00:00
Simon Friis Vindum	049fab4c72	Rust: Remove taint steps	2024-12-18 11:22:56 +01:00
Simon Friis Vindum	c1e21974c6	Rust: Address review comments	2024-12-17 17:24:42 +01:00
Simon Friis Vindum	ee87d4c948	Merge branch 'main' into rust-data-flow-models	2024-12-17 13:12:32 +01:00
Simon Friis Vindum	402d4e11c4	Rust: Re-add inline expectations query tags	2024-12-16 16:36:30 +01:00
Simon Friis Vindum	cad4f39aee	Rust: Database name capitalization	2024-12-16 13:15:42 +01:00
Simon Friis Vindum	defbbb2a24	Rust: Add additional models for stdlib and sqlx	2024-12-16 11:46:57 +01:00
Michael Nebel	864c34fc03	Rust: Update all test util paths to point to the new location.	2024-12-12 15:02:59 +01:00
Tom Hvitved	2f8b04b225	Rust: Models-as-data for flow summaries	2024-12-09 13:41:55 +01:00
Jeroen Ketema	e89f37df1a	Rust: Update expected test results	2024-12-03 19:18:52 +01:00
Geoffrey White	2810d64b22	Rust: Fix ql-for-ql warning.	2024-11-28 12:43:24 +00:00
Geoffrey White	c113a0b5a1	Rust: Fix typo.	2024-11-27 10:51:42 +00:00
Geoffrey White	ba560f2fe9	Rust: Model SQLx.	2024-11-27 10:31:05 +00:00
Geoffrey White	e96f15d9b4	Rust: Add a test exposing SQL Injection sinks directly.	2024-11-27 10:31:04 +00:00
Paolo Tranquilli	b32e578580	Rust: accept test changes	2024-11-22 17:18:32 +01:00
Paolo Tranquilli	2e90c80a6f	Rust: accept test changes	2024-11-22 13:45:00 +01:00
Geoffrey White	b7c7a9ee7c	Rust: Accept consistency check failures.	2024-11-21 14:23:51 +00:00
Geoffrey White	758092b1d6	Rust: Add consistency check failures.	2024-11-19 12:04:15 +00:00