404 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	10be890cab	Merge pull request #18144 from paldepind/rust-df-inconsistency-no-location ... Rust: Exclude data flow inconsistencies that stem from other inconsis…	2024-12-02 10:48:51 +01: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	0f3469313f	Merge branch 'main' into ctor	2024-11-29 09:37:23 +00:00
Geoffrey White	2810d64b22	Rust: Fix ql-for-ql warning.	2024-11-28 12:43:24 +00:00
Simon Friis Vindum	b05d290bf0	Rust: Exclude data flow inconsistencies that stem from other inconsistencies	2024-11-28 12:46:32 +01:00
Paolo Tranquilli	50c917d2eb	Rust: restrict extracted files queries	2024-11-28 12:02:57 +01: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	1090164b77	Merge branch 'main' into sourcemodels	2024-11-25 21:12:24 +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
Geoffrey White	be5bd1da0a	Rust: Also add the good example and a couple of other cited good cases to the test.	2024-11-25 19:54:04 +00:00
Geoffrey White	88fc7be0a2	Rust: Implement the query.	2024-11-25 19:22:13 +00:00
Geoffrey White	9ead2dc03c	Rust: Add a query test.	2024-11-25 19:14:16 +00: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
Geoffrey White	d38f0eec7b	Merge branch 'main' into sourcemodels	2024-11-25 09:59:08 +00:00
Paolo Tranquilli	b32e578580	Rust: accept test changes	2024-11-22 17:18:32 +01:00
Paolo Tranquilli	e7c10c6325	Merge branch 'main' into redsun82/rust-str	2024-11-22 14:44:48 +01:00
Paolo Tranquilli	2e90c80a6f	Rust: accept test changes	2024-11-22 13:45:00 +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	ca424d1e61	Rust: Add a count of flow sources to rust/summary/summary-statistics.	2024-11-22 09:13:39 +00: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
Paolo Tranquilli	6a6154913b	Merge branch 'main' into redsun82/rust-str	2024-11-21 11:50:38 +01:00
Tom Hvitved	c8736e8a3d	Rust: Auto-generate CfgNodes.qll	2024-11-21 10:21:11 +01:00
Paolo Tranquilli	fd45e11f4b	Rust: accept test changes	2024-11-20 16:49:20 +01:00
Paolo Tranquilli	4d04c5af83	Rust: fix non-existent string representations	2024-11-20 12:08:51 +01:00
Paolo Tranquilli	fce13aeb35	Rust: accept test changes	2024-11-19 17:50:14 +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	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
Geoffrey White	3673c7c813	Rust: Add SQL injection test cases (complete and functioning).	2024-11-19 10:56:35 +00: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
Simon Friis Vindum	03292310b6	Merge branch 'main' into rust-async-blocks	2024-11-12 09:36:04 +01:00
Simon Friis Vindum	aebce746df	Rust: Create data flow nodes for parameters in the CFG ... Before data flow nodes where created for all parameters in the AST. But some AST parameters does not lead to any data flow (for instance parameters in function pointer types).	2024-11-11 11:46:10 +01:00
Simon Friis Vindum	6a3d417836	Rust: Implement enclosing callable for additional classes	2024-11-11 11:11:29 +01:00
Simon Friis Vindum	db1b698689	Rust: Accept fixed spurious results	2024-11-11 08:59:34 +01:00
Geoffrey White	c7112ef278	Rust: Accept consistency check changes.	2024-11-08 14:22:04 +00:00
Geoffrey White	ede72b2680	Rust: Add unresolved macro calls count as well.	2024-11-08 13:59:05 +00:00
Geoffrey White	3805d0f958	Merge branch 'main' into unreachable4	2024-11-08 11:46:34 +00:00
Geoffrey White	7c2c5ee1fa	Rust: Fix expected consistency results.	2024-11-08 11:22:35 +00:00