3279 Commits

Author	SHA1	Message	Date
Tom Hvitved	1c2fdc29a3	Rust: Add more local data flow tests	2024-11-21 10:21:09 +01:00
Tom Hvitved	fab29361cb	Rust: Add more CFG tests	2024-11-21 10:21:06 +01:00
Simon Friis Vindum	8c74478ef4	Merge pull request #18041 from paldepind/rust-cfg-self ... Rust: Include `self` parameters in the CFG	2024-11-21 08:53:52 +01:00
Geoffrey White	d828941b7c	Rust: Address review comments.	2024-11-20 22:39:27 +00:00
Paolo Tranquilli	d609c1b7e6	Rust: fix OrPat.toString	2024-11-20 17:00:13 +01:00
Paolo Tranquilli	fd45e11f4b	Rust: accept test changes	2024-11-20 16:49:20 +01:00
Paolo Tranquilli	b4af5a61d1	Rust: more advanced toString	2024-11-20 16:21:23 +01:00
Tom Hvitved	42e0d7ce10	Util: Refactor DenseRank implementation	2024-11-20 13:09:59 +01:00
Simon Friis Vindum	93f6f042e1	Rust: Update expected file	2024-11-20 12:39:31 +01:00
Simon Friis Vindum	aab0d5e9e4	Rust: Refactor to avoid needing getNumberOfSelfParams	2024-11-20 12:35:52 +01:00
Paolo Tranquilli	4d04c5af83	Rust: fix non-existent string representations	2024-11-20 12:08:51 +01:00
Simon Friis Vindum	24adbb80c7	Rust: Include self parameters in the CFG	2024-11-20 11:50:46 +01:00
Simon Friis Vindum	55121d866c	Rust: Add CFG tests for method definitions with self parameters	2024-11-20 11:45:42 +01:00
Paolo Tranquilli	57973df795	Rust: make CallExpr.toString use call identifier if present	2024-11-20 10:00:10 +01:00
Paolo Tranquilli	4fb028cbb2	Rust: accept last integration test changes ... Also make `--learn` work with the nested qltest tests.	2024-11-20 09:45:15 +01:00
Paolo Tranquilli	e4f982c12c	Rust: accept integration test changes	2024-11-19 17:50:57 +01:00
Paolo Tranquilli	fce13aeb35	Rust: accept test changes	2024-11-19 17:50:14 +01:00
Paolo Tranquilli	a709fc6a54	Rust: add some toString implementations	2024-11-19 17:21:08 +01:00
Simon Friis Vindum	e5951516b8	Merge pull request #18026 from paldepind/rust-df-local ... Rust: Add local data flow edge for SSA nodes	2024-11-19 15:41:25 +01:00
Tom Hvitved	7a065746d6	Merge pull request #18024 from hvitved/rust/cfg/async-block-return ... Rust: Handle early returns in `async` blocks in CFG	2024-11-19 15:21:34 +01:00
Simon Friis Vindum	2c9bee6208	Rust: Only add data flow edge to SSA write definitions from their underlying CFG node	2024-11-19 14:32:31 +01:00
Simon Friis Vindum	6ae979293c	Rust: Accept inconsistencies	2024-11-19 13:26:01 +01:00
Geoffrey White	758092b1d6	Rust: Add consistency check failures.	2024-11-19 12:04:15 +00:00
Geoffrey White	49eefccde1	Rust: Autoformat.	2024-11-19 11:49:02 +00:00
Simon Friis Vindum	23bfa8a9bc	Rust: Add local data flow edge for SSA definitons	2024-11-19 12:19:47 +01:00
Geoffrey White	c7c6924fda	Rust: Implement query, source/sink/barrier classes and concepts. All of this is framework, nothing is concretely modelled yet.	2024-11-19 11:09:43 +00:00
Geoffrey White	6a7fb06086	Rust: Add .qhelp and examples.	2024-11-19 11:09:42 +00:00
Simon Friis Vindum	bacc37d886	Rust: Add additional tests for intraprocedural data flow	2024-11-19 12:07:26 +01:00
Geoffrey White	2df565c84f	Rust: Add options.yml and sqlx 'query cache' (result of 'sqlx prepare') so that the query test can function.	2024-11-19 10:56:37 +00:00
Geoffrey White	28d0ad94d5	Rust: Add placeholder SQL injection query, linked in test.	2024-11-19 10:56:36 +00:00
Geoffrey White	3673c7c813	Rust: Add SQL injection test cases (complete and functioning).	2024-11-19 10:56:35 +00:00
Simon Friis Vindum	b3668f8183	Merge pull request #17971 from paldepind/rust-df-patterns ... Rust: Include patterns as data flow nodes	2024-11-19 11:12:12 +01:00
Simon Friis Vindum	2307df41ed	Merge pull request #18010 from paldepind/rust-df-viable-callable ... Rust: Include method calls in DataFlowCall and implement simple call target resolution	2024-11-19 11:10:34 +01:00
Tom Hvitved	bb8d0b4881	Rust: Handle early returns in async blocks in CFG	2024-11-19 10:33:25 +01:00
Tom Hvitved	b6103e1ef4	Rust: Add CFG test for early return in async block ... Also made the test comply with `cargo check`.	2024-11-19 10:32:43 +01:00
Tom Hvitved	ef9f3835e5	Merge pull request #18007 from hvitved/rust/cfg/and-let ... Rust: Improve CFG for `let` expressions	2024-11-19 10:23:32 +01:00
Paolo Tranquilli	99494dd540	Merge pull request #18012 from github/revert-18011-revert-17937-redsun82/rust-cargo-options ... Revert "Revert "Rust: allow to specify more cargo configuration options""	2024-11-19 09:03:52 +01:00
Tom Hvitved	46b4bad510	Rust: Update expected test output	2024-11-19 08:59:12 +01:00
Tom Hvitved	c85a5f9644	Rust: Run cargo fmt	2024-11-19 08:58:34 +01:00
Paolo Tranquilli	f7ee5f4bf5	Merge pull request #18003 from github/redsun82/rust-qltest ... Rust: only accept `options.yml` in QL tests	2024-11-18 17:24:57 +01:00
Simon Friis Vindum	86672b7e8c	Merge branch 'main' into rust-df-viable-callable	2024-11-18 15:52:57 +01:00
Paolo Tranquilli	abd73e16d4	Revert "Revert "Rust: allow to specify more cargo configuration options""	2024-11-18 15:52:03 +01:00
Tom Hvitved	74b5ebe4bf	Rust: Improve CFG for let expressions	2024-11-18 15:51:16 +01:00
Tom Hvitved	8be1127e8c	Rust: Add more CFG tests	2024-11-18 15:51:15 +01:00
Paolo Tranquilli	04072591c4	Revert "Rust: allow to specify more cargo configuration options"	2024-11-18 15:36:06 +01:00
Simon Friis Vindum	58a1b004ab	Rust: Include method calls in DataFlowCall and implement simple call ... target resolution	2024-11-18 15:27:21 +01:00
Simon Friis Vindum	4e97a9554a	Rust: Add interprocedural tests	2024-11-18 15:21:15 +01:00
Paolo Tranquilli	fa52d03194	Merge pull request #17937 from github/redsun82/rust-cargo-options ... Rust: allow to specify more cargo configuration options	2024-11-18 13:24:39 +01:00
Paolo Tranquilli	b11388c49b	Rust: accept test changes	2024-11-18 12:06:25 +01:00
Paolo Tranquilli	8137419d93	Rust: only accept options.yml in QL tests	2024-11-18 10:40:29 +01:00