61 Commits

Author	SHA1	Message	Date
Geoffrey White	494d8f2da0	Rust: Update MaD IDs for an unrelated test. :(	2025-01-27 22:22:41 +00: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
Geoffrey White	0a3d44c44e	Rust: Re-apply suggested changes (I accidentally force-pushed them away).	2025-01-24 17:31:38 +00:00
Geoffrey White	117db8a9b2	Rust: Make the test runnable.	2025-01-24 17:22:42 +00:00
Geoffrey White	037d496a68	Rust: Fix some more tests (MaD ID changes and extraction consistency issues).	2025-01-23 19:14:28 +00:00
Geoffrey White	4214c837b8	Rust: Clean up the query message.	2025-01-23 18:03:25 +00:00
Geoffrey White	59c3ac6f80	Rust: Allow flow through reference taking (&).	2025-01-23 17:17:07 +00:00
Geoffrey White	78c58aa5f1	Rust: Allow implicit taint reads from tuple contents at sinks.	2025-01-23 17:17:05 +00:00
Geoffrey White	64444940a6	Rust: Add taint sinks for target and key-value arguments.	2025-01-23 17:17:04 +00:00
Geoffrey White	2bbf493991	Rust: Model assert_failed.	2025-01-23 17:17:03 +00:00
Geoffrey White	484331c303	Rust: Model StdoutLock, StderrLock methods and String.as_bytes.	2025-01-23 17:17:02 +00:00
Geoffrey White	1d2950c70c	Rust: Add some sinks.	2025-01-23 17:17:00 +00:00
Geoffrey White	4297d05c05	Rust: Implement the query.	2025-01-23 17:16:59 +00:00
Geoffrey White	173cfd5c7b	Rust: Add test cases for various std:: bits.	2025-01-23 17:16:58 +00:00
Geoffrey White	bb3be2f8af	Rust: Add a test for the log crate + placeholder query.	2025-01-23 12:24:47 +00:00
Geoffrey White	edd1f257ad	Rust: Attempt to fix the test on CI.	2025-01-10 14:51:15 +00:00
Geoffrey White	ae26cd6c32	Rust: Update test for changes on main.	2025-01-10 12:36:04 +00:00
Geoffrey White	babfa758a3	Rust: Add models for an alternative md5 library.	2025-01-10 11:56:27 +00:00
Geoffrey White	ae0f4f10de	Rust: Add hash function sinks.	2025-01-10 11:56:26 +00:00
Geoffrey White	8f4a52001f	Rust: Add query framework.	2025-01-10 11:56:24 +00:00
Geoffrey White	509c6ffb7a	Rust: Add tests for weak hashing.	2025-01-10 11:56:23 +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
Tom Hvitved	5ed03e266a	Rust: Fix semantic merge conflicts	2024-12-16 14:47:13 +01:00
Michael Nebel	aaf0cd5dee	Merge pull request #17968 from michaelnebel/java/movetestutils ... Move test utilities to the query pack.	2024-12-16 13:41: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
Geoffrey White	03f962ed86	Merge pull request #18226 from geoffw0/badcrypto ... Rust: Weak encryption algorithm query.	2024-12-12 14:21:16 +00: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
Geoffrey White	de042ea9d7	Merge branch 'main' into badcrypto	2024-12-05 18:36:47 +00:00
Geoffrey White	6eb850c8cb	Rust: Improve the model.	2024-12-05 16:49:27 +00:00
Geoffrey White	94dbad7c95	Rust: Model for cipher traits.	2024-12-05 16:49:19 +00:00
Geoffrey White	6c4e0a99e2	Rust: A few more test cases.	2024-12-05 15:17:22 +00:00
Geoffrey White	bdb2f3d091	Rust: Add placeholder query and tests for 'cipher' module.	2024-12-05 13:38:57 +00:00
Geoffrey White	b54d8dc6bd	Merge pull request #18176 from geoffw0/ctor2 ... Rust: Improve rust/ctor-initialization	2024-12-04 11:07:51 +00:00
Jeroen Ketema	e89f37df1a	Rust: Update expected test results	2024-12-03 19:18:52 +01:00
Geoffrey White	1e656a49b0	Rust: Rewrite the query to (1) include functions and (2) minimize output.	2024-12-02 13:37:44 +00:00
Geoffrey White	3e0e374783	Rust: Remove unnecessary edges.	2024-12-02 09:54:18 +00:00
Geoffrey White	4d0c53d493	Rust: Add support for transitive results via calls in the ctor query.	2024-12-02 09:46:40 +00:00
Geoffrey White	14c0bbf531	Rust: Add another test case, fix an annotation.	2024-12-02 09:34:47 +00:00
Geoffrey White	fbf7e0584f	Merge pull request #18129 from geoffw0/sinkmodels ... Rust: Sink models for rust/sql-injection	2024-11-29 19:11:27 +00: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
Geoffrey White	e6302cae53	Rust: Address CI and ql-for-ql issues.	2024-11-25 20:07:47 +00:00
Geoffrey White	77f5168590	Rust: Query metadata and path edges.	2024-11-25 19:54:06 +00:00