36 Commits

Author	SHA1	Message	Date
Tom Hvitved	57bca5ca9b	Rust: Include more calls in DB quality metrics	2025-12-05 09:15:26 +01:00
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00
Tom Hvitved	76737cb53a	Rust: Follow-up changes after rebase	2025-05-22 10:22:03 +02:00
Tom Hvitved	9ee0d2e6cf	Rust: Exclude flow summary nodes from DataFlowStep.ql	2025-05-22 09:53:32 +02:00
Arthur Baars	f093c496d5	Rust: normalize file paths for PathResolutionConsistency.ql	2025-05-22 09:53:31 +02:00
Arthur Baars	81f0e4202a	Rust: improve ExtractionConsistency.ql	2025-05-22 09:53:29 +02:00
Geoffrey White	ee54ba4c48	Rust: Autoformat.	2025-04-07 17:06:15 +01:00
Geoffrey White	2c2506c4f8	Rust: Add Rust SSA inconsistency infrastructure.	2025-04-07 12:16:45 +01:00
Tom Hvitved	af91152f5c	Address review comments	2025-03-13 15:04:59 +01:00
Anders Schack-Mulligen	709d36b502	Merge pull request #18869 from aschackmull/ssa/refactor3 ... Ssa: Update qltests including consistency checks	2025-03-05 11:40:27 +01:00
Tom Hvitved	1f13f0009f	Rust: Move AstConsistency.qll into internal	2025-03-04 13:00:09 +01:00
Anders Schack-Mulligen	00b8c80c24	SSA/C#/Ruby/Rust: Clean up SSA consistency queries. ... The RelevantDefinition class is no longer needed since the introduction of LocationSig.	2025-03-04 12:24:23 +01:00
Simon Friis Vindum	16dcc5c278	Rust: Add variable capture consistency query	2024-12-12 11:23:22 +01:00
Simon Friis Vindum	b05d290bf0	Rust: Exclude data flow inconsistencies that stem from other inconsistencies	2024-11-28 12:46:32 +01:00
Geoffrey White	91ebc0eb45	Rust: Add metadata to the DataFlowConsistency.ql query.	2024-11-04 18:53:34 +00:00
Simon Friis Vindum	7f344fab78	Rust: Add data flow consistency queries	2024-11-04 10:17:50 +01:00
Geoffrey White	7d62cdad71	Merge pull request #17774 from geoffw0/astcount ... Rust: Count number of AST inconsistencies	2024-10-16 14:17:39 +01:00
Geoffrey White	f9eca42ded	Merge pull request #17763 from geoffw0/cfgcount3 ... Rust: Count number of CFG inconsistencies	2024-10-15 15:43:39 +01:00
Geoffrey White	b5c88c7bfe	Rust: Give the extraction consistency query metadata as well.	2024-10-15 14:19:39 +01:00
Geoffrey White	414fcf836e	Rust: Move the AST consistency logic to a .qll.	2024-10-15 14:19:38 +01:00
Geoffrey White	983179b84e	Rust: Autoformat.	2024-10-15 11:23:16 +01:00
Tom Hvitved	6290be2922	Rust: Initial SSA implementation	2024-10-11 19:39:28 +02:00
Geoffrey White	ac9a8d602c	Rust: Add metadata to the original CFG consistency query.	2024-10-11 17:01:47 +01:00
Geoffrey White	85f2582afd	Rust: Move CFG consistency logic into a library.	2024-10-11 16:53:45 +01:00
Geoffrey White	04c7319b6b	Merge pull request #17647 from geoffw0/warnings ... Rust: More information about extractor errors and warnings	2024-10-10 16:19:15 +01:00
Tom Hvitved	918e435a48	Merge pull request #17690 from hvitved/rust/ast-consistency-queries ... Rust: Add AST consistency queries	2024-10-09 15:54:51 +02:00
Tom Hvitved	08d6d54961	Rust: Add AST consistency queries	2024-10-08 15:00:38 +02:00
Tom Hvitved	aa5e0c39ba	Rust: Implement ConditionalCompletionSplitting	2024-10-03 21:25:50 +02:00
Geoffrey White	12fbd18f3a	Rust: Have ExtractionConsistency.ql report both.	2024-10-02 18:43:24 +01:00
Tom Hvitved	c4eafb2cf3	Rust: Skip ParenExprs in the CFG	2024-10-01 21:26:49 +02:00
Tom Hvitved	e8cb3490e6	Rust: Refine deadEnd consistency check	2024-10-01 21:02:55 +02:00
Tom Hvitved	17770af491	Rust: Account for let statement else blocks in deadEnd	2024-10-01 21:00:39 +02:00
Tom Hvitved	bafef791f7	Rust: Add extraction error consistency query	2024-09-30 10:28:24 +02:00
Tom Hvitved	24f39ccae2	Rust: Weaken scopeNoFirst check	2024-09-26 11:09:52 +02:00
Tom Hvitved	d299380a5a	Rust: Enable CFG consistency checks	2024-09-25 10:56:44 +02:00
Simon Friis Vindum	7c2b149728	Rust: Add consistency-queries pack	2024-09-18 14:09:41 +02:00