916 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	6054855edb	Merge pull request #17888 from paldepind/rust-data-flow-consistency ... Rust: Data flow additions	2024-11-05 21:29:18 +01:00
Geoffrey White	1a5d2e1f5d	Rust: Correct a comment and autoformat.	2024-11-05 15:22:46 +00:00
Geoffrey White	93836a55e2	Rust: Clean up code / clarify responsibilities and fix the issue in rust/unused-value as well.	2024-11-05 15:16:59 +00:00
Geoffrey White	278760c735	Rust: Add another exception to rust/unused-variable.	2024-11-05 14:46:32 +00:00
Simon Friis Vindum	262a9f0cfa	Rust: Make fixes in data flow based on PR feedback	2024-11-05 15:37:44 +01:00
Geoffrey White	35ffd0cc9c	Rust: Add more test cases for unused variables (inspired by real world FPs).	2024-11-05 14:07:10 +00:00
Geoffrey White	3091083705	Rust: Call all the test cases.	2024-11-05 11:02:38 +00:00
Geoffrey White	088dd50f1f	Rust: Update tests.	2024-11-05 10:30:41 +00:00
Geoffrey White	c8c747a110	Rust: Add total data flow inconsistencies to rust/summary/summary-statistics.	2024-11-04 19:10:44 +00:00
Geoffrey White	30cc55005d	Rust: Add rust/diagnostics/data-flow-consistency-counts query for data flow inconsistency counts.	2024-11-04 19:09:30 +00:00
Simon Friis Vindum	c7b4e7c30a	Rust: Small improvements to data flow ... The predicate `ssaDefAssigns` was definitely broken before	2024-11-04 20:01:58 +01:00
Simon Friis Vindum	d9636b37b6	Rust: Add data flow test with assignment to mutable variable	2024-11-04 20:00:36 +01:00
Geoffrey White	91ebc0eb45	Rust: Add metadata to the DataFlowConsistency.ql query.	2024-11-04 18:53:34 +00:00
Simon Friis Vindum	8d59b9289b	Rust: Make improvements to data flow based on PR feedback	2024-11-04 16:42:05 +01:00
Geoffrey White	5a34c166b7	Rust: Remove the workaround in rust/unused-variable.	2024-11-04 15:31:43 +00:00
Simon Friis Vindum	2818893010	Rust: Refactor AstCfgNode to use a field ... Co-authored-by: Tom Hvitved <hvitved@github.com>	2024-11-04 15:01:25 +01:00
Simon Friis Vindum	34e8ea17d8	Merge pull request #17898 from paldepind/rust-cfg-refactor ... Rust: CFG classes are in expression module iff they correspond to exp…	2024-11-04 13:01:15 +01:00
Simon Friis Vindum	6b25bea2e5	Rust: Accept consistency results	2024-11-04 11:28:26 +01:00
Simon Friis Vindum	a3c7d5a469	Merge branch 'main' into rust-data-flow-consistency	2024-11-04 11:10:48 +01:00
Simon Friis Vindum	633bac633c	Rust: CFG classes are in expression module iff they correspond to expressions	2024-11-04 10:34:08 +01:00
Simon Friis Vindum	7f344fab78	Rust: Add data flow consistency queries	2024-11-04 10:17:50 +01:00
Simon Friis Vindum	82076ee0b8	Rust: Propagate data flow through a few expression types	2024-11-03 16:12:59 +01:00
Simon Friis Vindum	2bab29d31b	Rust: Add local data flow step tests	2024-11-03 16:12:58 +01:00
Simon Friis Vindum	01141ccdc9	Rust: Integrate SSA into data flow	2024-11-03 16:12:56 +01:00
Tom Hvitved	c4adec3010	Address review comment	2024-11-01 15:28:17 +01:00
Simon Friis Vindum	a36095d85b	Rust: Add local data flow test with if expression	2024-11-01 11:28:10 +01:00
Paolo Tranquilli	e5a199b821	Rust: accept test changes due to toString implementations	2024-10-31 16:02:56 +01:00
Paolo Tranquilli	cee2ed0ec4	Rust: extract some resolved paths	2024-10-31 14:19:15 +01:00
Tom Hvitved	d0f9a0b9ce	Rust: Add another unused-value test	2024-10-31 11:43:33 +01:00
Tom Hvitved	55a6ed7e8a	Rust: Include link to variable in unused value query	2024-10-31 11:42:44 +01:00
Tom Hvitved	2b340b18dd	Rust: Exclude results inside macro expansions from unused entity queries	2024-10-31 11:42:43 +01:00
Tom Hvitved	fec31a6da4	Rust: Include variable name in Unused{Variable,Value}.ql	2024-10-31 11:42:41 +01:00
Tom Hvitved	2b37c6cd32	Merge pull request #17548 from hvitved/shared/inline-test-post-process ... Shared: Post-processing query for inline test expectations	2024-10-31 11:40:11 +01:00
Simon Friis Vindum	00b8a29da7	Rust: Add predicate for speculative taint step	2024-10-31 09:09:39 +01:00
Simon Friis Vindum	b96698aee3	Merge pull request #17871 from paldepind/rust-data-flow-skeleton ... Rust: Add basic skeleton setup for data flow	2024-10-31 08:26:11 +01:00
Paolo Tranquilli	7e8a09aea1	Merge pull request #17825 from github/redsun82/rust-canonical-path ... Rust: add `extended_canonical_path` and `crate_origin` to `Item`	2024-10-30 18:13:05 +01:00
Simon Friis Vindum	efa59fd2b6	Rust: Make changes based on PR feedback	2024-10-30 16:01:26 +01:00
Simon Friis Vindum	44bebedae6	Rust: Add basic skeleton setup for data flow	2024-10-30 13:16:26 +01:00
Tom Hvitved	baeffa2345	Update rust/ql/test/query-tests/unusedentities/unreachable.rs ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2024-10-29 15:00:09 +01:00
Tom Hvitved	dd520fea47	Rust: Post-processing query for inline test expectations	2024-10-29 13:37:04 +01:00
Tom Hvitved	c5d699cb6b	Merge pull request #17857 from geoffw0/unreachable3 ... Rust: Fix rust/dead-code	2024-10-29 13:35:10 +01:00
Geoffrey White	6a110368a5	Rust: Rename predicates.	2024-10-29 11:32:22 +00:00
Tom Hvitved	7ddc8f087d	Merge pull request #17786 from paldepind/rust-saa-additions ... Rust: SSA additions	2024-10-29 09:51:38 +01:00
Geoffrey White	eb79bcbc34	Rust: Remove unnecessary line.	2024-10-28 14:36:45 +00:00
Geoffrey White	bf5a0b7bd0	Rust: Rewrite UnreachableCode.ql to be more robust.	2024-10-28 14:36:42 +00:00
Geoffrey White	41df9ae4fc	Merge pull request #17854 from geoffw0/cleanuptest ... Rust: Clean up unreachable test	2024-10-28 14:29:42 +00:00
Simon Friis Vindum	8f8564ddfd	Rust: Address PR comments	2024-10-28 15:15:38 +01:00
Paolo Tranquilli	5420e52afa	Rust: add defaultSuiteFile	2024-10-28 14:56:09 +01:00
Tom Hvitved	cfa1ed38b4	Merge pull request #17844 from hvitved/rust/location-impl ... Rust: Cache `Locatable.getLocation` and `Location`	2024-10-28 14:41:36 +01:00
Arthur Baars	2326861b23	Merge pull request #17805 from github/aibaars/local-defs ... Rust: Rust: add jump to definition for format arguments	2024-10-28 14:17:40 +01:00