1893 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	269ea75036	Rust: matched_expr -> scrutinee	2024-11-25 17:23:47 +01:00
Paolo Tranquilli	b47e9612eb	Rust: fix MatchExpr.getExpr renaming	2024-11-25 17:14:05 +01:00
Paolo Tranquilli	261e0a1a53	Codegen/Rust: allow renaming in QL ... This adds a `ql.name` codegen pragma to change the name of a property on the QL side. This is useful to give more meaningful names than what we get from the generated rust AST.	2024-11-25 17:04:03 +01:00
Simon Friis Vindum	d06b5833cf	Rust: Add an additional variables test with a self parameter	2024-11-25 16:08:26 +01:00
Geoffrey White	f92e8555a6	Rust: update for toString changes in main.	2024-11-25 14:35:12 +00:00
Geoffrey White	e9a13aec1d	Merge branch 'main' into resolvable	2024-11-25 14:33:56 +00:00
Paolo Tranquilli	adafe3e5b0	Merge branch 'main' into redsun82/rust-canonical-enum	2024-11-25 15:28:45 +01:00
Simon Friis Vindum	0d02126f12	Generate ParamBase, superclass of Param and SelfParam	2024-11-25 14:07:50 +01:00
Geoffrey White	bded7085f0	Rust: Effect of toString changes in main.	2024-11-25 10:01:57 +00:00
Geoffrey White	d38f0eec7b	Merge branch 'main' into sourcemodels	2024-11-25 09:59:08 +00:00
Geoffrey White	f2f577f86c	Rust: Fix toString().	2024-11-22 17:09:52 +00:00
Paolo Tranquilli	b32e578580	Rust: accept test changes	2024-11-22 17:18:32 +01:00
Paolo Tranquilli	f3cd61f043	Rust: add extended canonical paths on enum variants	2024-11-22 17:00:57 +01:00
Paolo Tranquilli	e7c10c6325	Merge branch 'main' into redsun82/rust-str	2024-11-22 14:44:48 +01:00
Paolo Tranquilli	28d517da59	Rust: fix regression in getFormat indexing	2024-11-22 14:13:15 +01:00
Paolo Tranquilli	626b1cef17	Merge pull request #18071 from github/redsun82/rust-format-parent-child ... Rust: fix parent/child relationship for format entities	2024-11-22 14:03:53 +01:00
Paolo Tranquilli	2e90c80a6f	Rust: accept test changes	2024-11-22 13:45:00 +01:00
Tom Hvitved	faabc9982e	Merge pull request #18056 from paldepind/rust-df-global ... Rust: Extend data flow library instantiation for global data flow	2024-11-22 13:23:02 +01:00
Geoffrey White	6e627f6543	Rust: Add new consistency check failure.	2024-11-22 12:21:13 +00:00
Geoffrey White	fa7c6f8b5e	Merge branch 'main' into resolvable	2024-11-22 11:45:47 +00:00
Geoffrey White	ed67dae850	Rust: Make ql-for-ql happy.	2024-11-22 11:33:35 +00:00
Paolo Tranquilli	9a07b3c3d4	Rust: remove obsolete expected files	2024-11-22 12:24:44 +01:00
Paolo Tranquilli	e49a5be62f	Rust: fix parent/child relationship for format entities	2024-11-22 12:20:49 +01:00
Simon Friis Vindum	e81c3483db	Rust: Apply suggestions from PR comments	2024-11-22 10:19:13 +01:00
Geoffrey White	292b29b0e3	Rust: Fix following rebase on main.	2024-11-22 09:13:48 +00:00
Geoffrey White	176e9a425f	Rust: Model reqwest.	2024-11-22 09:13:47 +00:00
Geoffrey White	e64f139c98	Rust: Model std::env.	2024-11-22 09:13:44 +00:00
Geoffrey White	be40085982	Rust: Add a test of flow sources reaching sinks as well.	2024-11-22 09:13:42 +00:00
Geoffrey White	a85ad4ec29	Rust: Add a dataflow/sources test.	2024-11-22 09:13:41 +00:00
Geoffrey White	ca424d1e61	Rust: Add a count of flow sources to rust/summary/summary-statistics.	2024-11-22 09:13:39 +00:00
Paolo Tranquilli	a82d267223	Rust: accept test changes	2024-11-21 16:03:56 +01:00
Paolo Tranquilli	6776b31c0d	Rust: tweak PathType string representations and add one for InferType	2024-11-21 15:27:34 +01:00
Geoffrey White	b7c7a9ee7c	Rust: Accept consistency check failures.	2024-11-21 14:23:51 +00:00
Geoffrey White	ae6b7b0277	Merge branch 'main' into sql1	2024-11-21 14:18:04 +00:00
Simon Friis Vindum	fffeac6a13	Rust: Extend data flow library instantiation for global data flow	2024-11-21 15:11:25 +01:00
Simon Friis Vindum	bb70bfce43	Rust: Tweak global data flow test and add inline flow test	2024-11-21 15:03:58 +01:00
Paolo Tranquilli	c2b426df76	Rust: accept test changes	2024-11-21 12:54:13 +01:00
Paolo Tranquilli	6a6154913b	Merge branch 'main' into redsun82/rust-str	2024-11-21 11:50:38 +01:00
Paolo Tranquilli	5012332bb2	Rust: fix Path.toString and address some review comments	2024-11-21 11:13:06 +01:00
Tom Hvitved	e6887f982e	Rust: Use nodes from CfgNodes.qll in DataFlowImpl.qll	2024-11-21 10:21:13 +01:00
Tom Hvitved	c8736e8a3d	Rust: Auto-generate CfgNodes.qll	2024-11-21 10:21:11 +01:00
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
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
Simon Friis Vindum	93f6f042e1	Rust: Update expected file	2024-11-20 12:39:31 +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