1577 Commits

Author	SHA1	Message	Date
Geoffrey White	e5af459787	Rust: Correct what we're testing here.	2025-05-20 17:30:49 +01:00
Geoffrey White	355e440fdf	Rust: Make the new test cases work.	2025-05-20 15:25:14 +01:00
Geoffrey White	3b40a5875a	Rust: Add test cases (generated by LLM).	2025-05-20 15:21:32 +01:00
Simon Friis Vindum	c68579bd0d	Merge pull request #19499 from paldepind/rust-bulk-model-generator ... Rust: Bulk model generator	2025-05-20 15:30:16 +02:00
Geoffrey White	bfb15cd88f	Rust: Accept changes to other tests.	2025-05-20 11:13:00 +01:00
Geoffrey White	204260e244	Rust: Uncomment calls to test functions.	2025-05-20 10:59:23 +01:00
Geoffrey White	ca1437adf1	Rust: Move the getGreaterOperand/getLesserOperand predicates into RelationalOperation.	2025-05-20 10:19:11 +01:00
Geoffrey White	bc4b69bb93	Rust: Add ComparisonOperation library.	2025-05-20 10:07:48 +01:00
Simon Friis Vindum	eb5d4efb26	Merge branch 'main' into rust-ti-implementing-type-method	2025-05-20 09:53:51 +02:00
Geoffrey White	94b57ac9a9	Update rust/ql/test/library-tests/dataflow/modeled/main.rs ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2025-05-19 21:49:02 +01:00
Geoffrey White	ebd75a118b	Rust: Add models for std::Pin.	2025-05-19 18:38:50 +01:00
Geoffrey White	533aa7fc26	Rust: Add tests for std::Pin.	2025-05-19 18:38:20 +01:00
Simon Friis Vindum	654d410485	Rust: Address PR feedback	2025-05-19 15:50:29 +02:00
Simon Friis Vindum	f4ff815253	Rust: Add additional type inference tests	2025-05-19 15:12:38 +02:00
Geoffrey White	65456b5cf0	Merge branch 'main' into moresensitive	2025-05-19 11:54:46 +01:00
Geoffrey White	d20a602aab	Rust: Accept consistency check failures.	2025-05-19 11:07:37 +01:00
Geoffrey White	b58b2500ee	Merge branch 'main' into tokio	2025-05-19 10:42:28 +01:00
Simon Friis Vindum	41e76e20b5	Rust: Add models auto-generated in bulk	2025-05-16 14:08:16 +02:00
Tom Hvitved	8521becbd5	Rust: Fix semantic merge conflict	2025-05-15 20:53:35 +02:00
Tom Hvitved	60cc63f4d4	Merge pull request #19474 from hvitved/rust/builtins-resolution ... Rust: Type inference and path resolution for builtins	2025-05-15 15:22:32 +02:00
Tom Hvitved	9d37597461	Address review comments	2025-05-14 20:50:40 +02:00
Paolo Tranquilli	e4b7b914b2	Merge pull request #19334 from github/redsun82/rust-expand-attr-macros ... Rust: expand attribute macros	2025-05-14 15:35:58 +02:00
Paolo Tranquilli	3d38d77d63	Rust: accept dummy test output	2025-05-14 11:41:17 +02:00
Mathias Vorreiter Pedersen	e903d76fa0	Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2 ... Shared: Generate more value-preserving flow summaries	2025-05-14 09:12:28 +01:00
Paolo Tranquilli	f5438390d5	Rust: enhance macro expansion testing	2025-05-14 10:01:44 +02:00
Tom Hvitved	a02bf182c5	Rust: Type inference and path resolution for builtins	2025-05-13 21:29:32 +02:00
Tom Hvitved	9db38bcb23	Rust: Update path resolution tests	2025-05-13 21:26:50 +02:00
Paolo Tranquilli	a99556e021	Merge branch 'main' into redsun82/rust-expand-attr-macros	2025-05-13 16:21:29 +02:00
Tom Hvitved	d37787c4ae	Rust: Add type inference tests for literals	2025-05-13 16:07:43 +02:00
Tom Hvitved	3fc9da7466	Merge pull request #19475 from hvitved/rust/literal-sub-classes ... Rust: Add `LiteralExpr` sub classes	2025-05-13 16:06:53 +02:00
Tom Hvitved	7494eac35c	Address review comments	2025-05-13 14:26:09 +02:00
Geoffrey White	20a012d5f1	Merge pull request #19454 from geoffw0/deref ... Rust: Add Operation class	2025-05-13 13:17:14 +01:00
Geoffrey White	2b6e428c37	Merge pull request #19466 from geoffw0/web ... Rust: Add tests for web frameworks as taint sources	2025-05-13 09:02:46 +01:00
Tom Hvitved	cd01bd0e07	Rust: Add LiteralExpr sub classes	2025-05-12 20:35:00 +02:00
Geoffrey White	f04d6fd8c8	Rust: Accept minor test changes for the cleartext logging query.	2025-05-12 17:45:00 +01:00
Geoffrey White	7c98fa87da	Rust: One more bit of cleanup.	2025-05-12 16:34:08 +01:00
Geoffrey White	402a84f755	Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-05-12 16:17:26 +01:00
Geoffrey White	bf8cdffffa	Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-05-12 16:06:33 +01:00
Geoffrey White	08fcf6114f	Apply suggestions from code review ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-05-12 16:01:52 +01:00
Geoffrey White	b907cfe468	Rust: Add a few more test cases involving 'map'.	2025-05-12 12:31:01 +01:00
Geoffrey White	0a3275e0b3	Rust: One more test case.	2025-05-12 11:50:57 +01:00
Simon Friis Vindum	7bd1612b69	Rust: Use getStaticTarget in type inference test ... This fixes a test failure where duplicated functions from extraction caused a bunch of spurious results to pop up	2025-05-12 12:47:48 +02:00
Simon Friis Vindum	bc8580159c	Merge branch 'main' into rust-ti-implementing-type-method	2025-05-12 11:35:48 +02:00
Simon Friis Vindum	14ede4e0c5	Merge pull request #19440 from paldepind/rust-update-stdlib-models ... Rust: Update generated models for core and std	2025-05-12 08:11:18 +02:00
Geoffrey White	d02d5c5baf	Rust: Update cleartext logging test with new found results.	2025-05-09 14:33:26 +01:00
Geoffrey White	5f5d6f679a	Rust: Understand sensitive enum variants calls.	2025-05-09 11:58:51 +01:00
Geoffrey White	0f36e1d625	Rust: Understand sensitive qualifier expressions.	2025-05-09 11:26:23 +01:00
Geoffrey White	a537197691	Rust: Understand sensitive field access expressions.	2025-05-09 11:04:38 +01:00
Geoffrey White	8825eefea6	Rust: More counterexamples for sensitive data as well.	2025-05-09 10:50:12 +01:00
Geoffrey White	87218cb6d7	Rust: Test more examples of sensitive data.	2025-05-09 10:50:11 +01:00