1961 Commits

Author	SHA1	Message	Date
Geoffrey White	374769873a	Rust: Add Frameworks.qll infrastructure.	2024-11-22 09:13:43 +00:00
Geoffrey White	be40085982	Rust: Add a test of flow sources reaching sinks as well.	2024-11-22 09:13:42 +00:00
Geoffrey White	a85ad4ec29	Rust: Add a dataflow/sources test.	2024-11-22 09:13:41 +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	3fa93e5ca9	Rust: Add rust/summary/taint-sources query.	2024-11-22 09:13:38 +00:00
Geoffrey White	01cddcc042	Rust: Suggestions from docs review.	2024-11-21 17:08:51 +00:00
Geoffrey White	f8fff4b18c	Update rust/ql/src/queries/security/CWE-089/SqlInjection.ql ... Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>	2024-11-21 17:06:32 +00:00
Paolo Tranquilli	a82d267223	Rust: accept test changes	2024-11-21 16:03:56 +01:00
Paolo Tranquilli	6776b31c0d	Rust: tweak PathType string representations and add one for InferType	2024-11-21 15:27:34 +01: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
Simon Friis Vindum	fffeac6a13	Rust: Extend data flow library instantiation for global data flow	2024-11-21 15:11:25 +01:00
Geoffrey White	49e002843e	Rust: Restore some documentation.	2024-11-21 14:05:24 +00:00
Simon Friis Vindum	bb70bfce43	Rust: Tweak global data flow test and add inline flow test	2024-11-21 15:03:58 +01:00
Geoffrey White	636c047c41	Rust: Use final class.	2024-11-21 13:57:33 +00:00
Paolo Tranquilli	c2b426df76	Rust: accept test changes	2024-11-21 12:54:13 +01:00
Paolo Tranquilli	6a6154913b	Merge branch 'main' into redsun82/rust-str	2024-11-21 11:50:38 +01:00
Paolo Tranquilli	36d8a6d05f	Rust: add class printouts to AstConsistency.ql	2024-11-21 11:42:00 +01:00
Paolo Tranquilli	d8b453fc0d	Rust: add consistency query printing AST classes of nodes with wrong toString	2024-11-21 11:14:59 +01:00
Paolo Tranquilli	5012332bb2	Rust: fix Path.toString and address some review comments	2024-11-21 11:13:06 +01:00
Tom Hvitved	86a7c486f9	Rust: "control-flow" -> "control flow"	2024-11-21 10:42:11 +01:00
Tom Hvitved	be7aca9780	Address review comments	2024-11-21 10:32:06 +01:00
Tom Hvitved	e6887f982e	Rust: Use nodes from CfgNodes.qll in DataFlowImpl.qll	2024-11-21 10:21:13 +01:00
Tom Hvitved	ca18005e44	Rust: Add some manual classes to CfgNodes.qll	2024-11-21 10:21:12 +01:00
Tom Hvitved	c8736e8a3d	Rust: Auto-generate CfgNodes.qll	2024-11-21 10:21:11 +01:00
Tom Hvitved	1c2fdc29a3	Rust: Add more local data flow tests	2024-11-21 10:21:09 +01:00
Tom Hvitved	fab29361cb	Rust: Add more CFG tests	2024-11-21 10:21:06 +01:00
Simon Friis Vindum	8c74478ef4	Merge pull request #18041 from paldepind/rust-cfg-self ... Rust: Include `self` parameters in the CFG	2024-11-21 08:53:52 +01:00
Geoffrey White	d828941b7c	Rust: Address review comments.	2024-11-20 22:39:27 +00:00
Paolo Tranquilli	d609c1b7e6	Rust: fix OrPat.toString	2024-11-20 17:00:13 +01:00
Paolo Tranquilli	fd45e11f4b	Rust: accept test changes	2024-11-20 16:49:20 +01:00
Paolo Tranquilli	b4af5a61d1	Rust: more advanced toString	2024-11-20 16:21:23 +01:00
Tom Hvitved	42e0d7ce10	Util: Refactor DenseRank implementation	2024-11-20 13:09:59 +01:00
Simon Friis Vindum	93f6f042e1	Rust: Update expected file	2024-11-20 12:39:31 +01:00
Simon Friis Vindum	aab0d5e9e4	Rust: Refactor to avoid needing getNumberOfSelfParams	2024-11-20 12:35:52 +01:00
Paolo Tranquilli	4d04c5af83	Rust: fix non-existent string representations	2024-11-20 12:08:51 +01:00
Simon Friis Vindum	24adbb80c7	Rust: Include self parameters in the CFG	2024-11-20 11:50:46 +01:00
Simon Friis Vindum	55121d866c	Rust: Add CFG tests for method definitions with self parameters	2024-11-20 11:45:42 +01:00
Paolo Tranquilli	57973df795	Rust: make CallExpr.toString use call identifier if present	2024-11-20 10:00:10 +01:00
Paolo Tranquilli	4fb028cbb2	Rust: accept last integration test changes ... Also make `--learn` work with the nested qltest tests.	2024-11-20 09:45:15 +01:00
Paolo Tranquilli	e4f982c12c	Rust: accept integration test changes	2024-11-19 17:50:57 +01:00
Paolo Tranquilli	fce13aeb35	Rust: accept test changes	2024-11-19 17:50:14 +01:00
Paolo Tranquilli	a709fc6a54	Rust: add some toString implementations	2024-11-19 17:21:08 +01:00
Simon Friis Vindum	e5951516b8	Merge pull request #18026 from paldepind/rust-df-local ... Rust: Add local data flow edge for SSA nodes	2024-11-19 15:41:25 +01:00
Tom Hvitved	7a065746d6	Merge pull request #18024 from hvitved/rust/cfg/async-block-return ... Rust: Handle early returns in `async` blocks in CFG	2024-11-19 15:21:34 +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
Paolo Tranquilli	2f3624b625	Merge pull request #18023 from github/redsun82/installer-shortcut ... Bazel: add an `install` shortcut and an `experimental` attribute to `codeql_pack`	2024-11-19 14:00:52 +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	49eefccde1	Rust: Autoformat.	2024-11-19 11:49:02 +00:00