48 Commits

Author	SHA1	Message	Date
Tom Hvitved	5a5679bd51	Rust: Taint flow through operations using MaD	2025-12-05 09:19:03 +01:00
Tom Hvitved	6b003580d1	Rust: Improve handling of implicit derefs/borrows in data flow	2025-12-01 11:34:01 +01:00
Tom Hvitved	e69ff0d5e8	Rust: Restrict type propagation into arguments	2025-11-14 09:44:58 +01:00
Geoffrey White	680870dbf3	Rust: Fix after merge.	2025-11-06 09:39:51 +00:00
Geoffrey White	1ce787a185	Merge branch 'main' into mv3	2025-11-06 09:23:01 +00:00
Geoffrey White	56e98c45ec	Rust: Accept trivial changes to test .expected files.	2025-11-03 17:08:22 +00:00
Geoffrey White	52397f0ce0	Rust: Add numeric type barrier for SQL injection.	2025-10-31 16:25:44 +00:00
Tom Hvitved	ee0467d74c	Rust: Update expected output	2025-10-21 18:44:37 +02:00
Geoffrey White	b933f8df89	Merge branch 'main' into gen1	2025-10-16 12:38:59 +01:00
Geoffrey White	c30e9a96d4	Rust: Accept changes to other test expectations.	2025-10-16 11:00:29 +01:00
Geoffrey White	48ca04bc40	Rust: Repair test annotations following format and accept .expected changes.	2025-10-15 15:00:28 +01:00
Geoffrey White	93eb7ce1af	Rust: Accept test changes following suggested edit.	2025-10-13 19:28:40 +01:00
Geoffrey White	106bad2764	Rust: Add test cases for bad use of prepared statements as well.	2025-10-10 17:17:08 +01:00
Geoffrey White	f16742bf74	Rust: Add models.	2025-10-10 17:09:46 +01:00
Paolo Tranquilli	122b7ebba8	Rust: accept test changes	2025-10-07 14:49:08 +02:00
Simon Friis Vindum	19871a2653	Rust: Accept test changes	2025-09-30 15:26:30 +02:00
Simon Friis Vindum	12dcd751d3	Rust: Accept test changes	2025-09-12 15:34:09 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02:00
Geoffrey White	62b7d84638	Rust: Add Sqlx as MaD sinks instead.	2025-07-16 16:36:42 +01:00
Geoffrey White	87deab861f	Rust: Remove Sqlx.qll.	2025-07-16 16:23:50 +01:00
Geoffrey White	6f5e4ef5b9	Merge branch 'main' into sqlx	2025-07-16 15:59:42 +01:00
Geoffrey White	e20ae48699	Merge branch 'main' into models3b	2025-07-11 17:37:52 +01:00
Tom Hvitved	1d7d45e16b	Rust: Update expected test output	2025-07-10 19:40:39 +02:00
Geoffrey White	75078346c0	Rust: Accept .expected changes (mostly renumberings).	2025-07-10 17:05:12 +01:00
Geoffrey White	f3b5cc79ff	Merge branch 'main' into sqlx	2025-07-08 13:58:19 +01:00
Geoffrey White	91072477b7	Rust: Trivial test changes.	2025-06-30 20:15:18 +01: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
Geoffrey White	dc08274aa2	Rust: Update SqlxQuery, SqlxExecute from getResolvedPath -> getCanonicalPath.	2025-06-17 15:56:18 +01:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +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
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	f584d22b53	Rust: Use type inference to insert implicit borrows and derefs	2025-04-30 14:43:51 +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
Simon Friis Vindum	0e965f7616	Rust: Accept changes	2025-03-10 14:39:37 +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
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	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