324 Commits

Author	SHA1	Message	Date
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	97ab31ab00	Merge pull request #18229 from geoffw0/self ... Rust: Fix unwanted 'self' results from rust/unused-variable	2024-12-09 08:50:03 +00:00
Geoffrey White	d7d4658aae	Rust: Add % of files extractor without errors to summary stats.	2024-12-06 14:54:21 +00:00
Geoffrey White	281f8b1828	Rust: Fix the unwanted results.	2024-12-06 12:29:07 +00:00
Geoffrey White	e52e1b0c1f	Rust: Add test case for 'self' in unused entities.	2024-12-06 12:24:11 +00: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
Paolo Tranquilli	80d466ffea	Merge pull request #18116 from github/redsun82/rust-perf-measures ... Rust: add some performance diagnostics	2024-12-04 14:31:06 +01: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
Paolo Tranquilli	4bd5cc458b	Rust: accept test changes	2024-12-02 16:07:00 +01:00
Paolo Tranquilli	c0e55a06e7	Merge branch 'main' into redsun82/rust-perf-measures	2024-12-02 15:20:42 +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
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