22 Commits

Author	SHA1	Message	Date
Tom Hvitved	023ffe22a0	C#: Make getPreUpdateNode Unique Again	2025-03-26 14:42:00 +01:00
Tom Hvitved	257686eb9a	C#: Implement new data flow interface	2024-03-11 20:56:38 +01:00
Michael Nebel	eda345a5b8	C#: Address review comments.	2024-03-07 09:40:34 +01:00
Michael Nebel	35b93063f9	C#: Deprecate dotnet and cil.	2024-03-07 09:40:34 +01:00
Michael Nebel	37677142b9	C#: Update QL tests.	2024-03-07 09:40:33 +01:00
Tom Hvitved	acd52192d1	C#: Adopt shared variable capture library	2024-02-26 09:53:30 +01:00
Tom Hvitved	ea7d9c97fd	C#: Use separate newtype branch for AssignableDefinitionNode	2024-02-22 21:04:55 +01:00
Tom Hvitved	bfe4a4bf0b	C#: Additional tracking of lambdas through fields and properties	2024-02-01 11:51:00 +01:00
Tom Hvitved	53302117a1	C#: Implement missingArgumentCallExclude and multipleArgumentCallExclude	2023-09-12 20:05:11 +02:00
Tom Hvitved	c13a8e41ad	Data flow: Add more consistency checks	2023-09-12 20:05:05 +02:00
Tom Hvitved	5c8367a695	C#: Use data flow consistency checks from shared pack	2023-08-30 15:29:41 +02:00
Tom Hvitved	b69188fee9	C#: Adopt shared CFG construction library from shared controlflow pack	2023-08-03 14:12:24 +02:00
Tom Hvitved	0cb27e7511	C#: Add toString functionality consistency queries	2023-06-23 13:28:11 +02:00
Anders Schack-Mulligen	6020e4d0e3	C#/Go/Python/Ruby/Swift: Fix some more references.	2023-06-09 15:30:38 +02:00
Tom Hvitved	027cb2d335	C#: Reenable consistency check	2023-05-15 09:36:37 +02:00
Michael Nebel	75ea449147	C#: Only include source code nodes in the identity local step consistency check.	2023-05-11 10:49:39 +02:00
Mathias Vorreiter Pedersen	177dd76da6	C#: Accept consistency changes.	2023-05-03 20:30:06 +01:00
Tom Hvitved	64f13fa08f	C#: Exclude call inside static field initializers from consistency check	2023-03-16 08:40:53 +01:00
Michael Nebel	a36bba94f1	C#: Base the getAPostUpdateNote predicate purely on cfg.	2022-09-28 14:35:49 +02:00
Michael Nebel	c07c10a808	C#: Address review comments.	2022-09-28 14:35:09 +02:00
Michael Nebel	2d0a377b7a	C#: Update dataflow consistency queries to cater for non unique post and pre unique update notes for conditional branches.	2022-09-28 14:35:09 +02:00
Tom Hvitved	40043f13c6	C#: Enable data-flow consistency queries	2021-12-17 13:13:36 +01:00