95 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	e012981e5b	C#: Accept test changes for out/ref SSA location changes.	2026-05-01 10:32:18 +02:00
Anders Schack-Mulligen	dc34b10cb6	C#: Replace Ssa::ExplicitDefinition with SsaExplicitWrite.	2026-04-30 12:52:51 +02:00
Anders Schack-Mulligen	c88a22ccf8	C#: Replace most uses of Ssa::Definition with SsaDefinition.	2026-04-30 12:45:25 +02:00
Tom Hvitved	6c42418faf	C#: Use parameter CFG nodes in SSA	2026-04-29 14:01:11 +02:00
Anders Schack-Mulligen	a2a4e8288e	C#: Deprecate ControlFlowElement.getAControlFlowNode and remove some splitting quantification.	2026-04-21 11:14:05 +02:00
Anders Schack-Mulligen	9de02b7ae6	Cfg: Use consistent casing in additional node tags.	2026-04-21 10:56:10 +02:00
Anders Schack-Mulligen	2d5a1840f4	C#: Accept new CFG in tests.	2026-04-10 15:47:24 +02:00
Anders Schack-Mulligen	5d589093cf	C#: Accept CFG changes.	2026-04-10 15:47:18 +02:00
Anders Schack-Mulligen	03f6bdbdd2	C#: Update some references in preparation for CFG swap.	2026-04-10 15:47:11 +02:00
Anders Schack-Mulligen	61976e3ef0	C#: Rename ControlFlow::Node to ControlFlowNode.	2026-04-10 15:47:10 +02:00
Anders Schack-Mulligen	db0a3e38e2	C#: Accept a few irrelevant taint steps.	2026-03-16 09:09:54 +01:00
Michael Nebel	8380474acd	C#: Update other test expected output.	2026-03-02 15:32:37 +01:00
Michael Nebel	ee5c291c9d	C#: Update test expected output.	2025-12-11 12:19:20 +01:00
Michael Nebel	45cd8e94cd	C#: Update test example (field is now a reserved word).	2025-12-11 12:19:17 +01:00
Anders Schack-Mulligen	7e4e872430	C#: Accept expected changes.	2025-12-02 13:49:16 +01:00
Anders Schack-Mulligen	541dce4d17	C#: Accept PrintAst index shift.	2025-12-02 13:49:16 +01:00
Michael Nebel	e8fd843e52	C#: Update some tuple related tests.	2025-10-09 16:33:47 +02:00
Michael Nebel	f4105ee4af	Merge pull request #19089 from michaelnebel/csharp/improvestringinterpolation ... C#: Extract string interpolation alignment and format.	2025-04-01 13:40:15 +02:00
Anders Schack-Mulligen	b3bea97320	C#: Accept test changes.	2025-03-25 12:31:03 +01:00
Michael Nebel	5ae7e5ddb3	C#: Update other test expected output files.	2025-03-21 13:23:11 +01:00
Tom Hvitved	89a2381165	C#: Adopt shared SSA data-flow integration	2024-08-14 08:39:17 +02:00
Tom Hvitved	c5c97aca50	C#: Move implicit entry definitions inside method bodies in SSA construction	2024-07-01 10:48:13 +02:00
Tom Hvitved	8ec4f0b5bd	C#: Update expected test output	2024-05-02 14:53:02 +02:00
Tom Hvitved	813f5b99e7	C#: Update PrintAST query	2024-04-03 20:03:02 +02:00
Tom Hvitved	acd52192d1	C#: Adopt shared variable capture library	2024-02-26 09:53:30 +01:00
Tom Hvitved	303a2bb63a	C#: Update expected test output	2024-02-22 21:04:55 +01:00
Anders Schack-Mulligen	21a6520cd3	C#: Add empty provenance column to expected files.	2024-02-09 11:32:07 +01:00
Tom Hvitved	718e491800	C#: Clear TRAP stack when calling PopulateGenerics	2023-09-06 21:12:01 +02:00
Anders Schack-Mulligen	6025feebd9	C#: Update expected output.	2023-04-27 10:24:24 +02:00
Michael Nebel	eaddb627ef	C#: Re-factor the GlobalFlow test to use the new API.	2023-04-17 11:38:37 +02:00
Michael Nebel	a98cf0ae45	C#: Re-factor the GlobalTaintTracking test.	2023-04-12 11:15:14 +02:00
Michael Nebel	c52dbcbb52	C#: Update all PrintAst test expected output.	2023-01-20 13:39:41 +01:00
Tom Hvitved	7cab6b5491	C#: Include SSA "phi reads" in DataFlow::Node	2022-11-16 15:31:01 +01:00
Michael Nebel	d9c7ba471d	C#: Update taint steps test as the generated models now include a model for the getters for KeyValuePair (we only had manual summaries for the constructor).	2022-05-25 08:28:14 +02:00
Erik Krogh Kristensen	ff73dbc35c	delete redundant imports	2022-04-22 12:55:28 +02:00
Anders Schack-Mulligen	7b98ca9b0a	C#: Adjust qltest expected output.	2022-01-18 10:36:52 +01:00
Michael Nebel	9ea320c53c	Update all PrintAst.qlref to point to new location of PrintAst.ql	2021-11-11 15:19:15 +01:00
Anders Schack-Mulligen	f30dad7705	Dataflow: Update test expected outputs.	2021-09-07 13:02:20 +02:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tamas Vajk	5e2770339f	Add adjusted expected files	2021-07-01 16:09:11 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
Tamas Vajk	33daa2c41d	Fix container type extraction of tuple members	2021-06-04 14:33:12 +02:00
Tamas Vajk	c069c3384e	Fix tests	2021-04-08 12:07:36 +02:00
Tom Hvitved	6d6150d051	C#: Change some data-flow toString()s	2021-03-23 16:42:58 +01:00
Tom Hvitved	80a7b52f38	C#: Convert data-flow test queries to path-problems	2021-03-09 09:14:24 +01:00
Tom Hvitved	0698bdd907	C#: Restrict tuple read/store steps to tuple deconstructions/constructions	2021-03-09 09:14:24 +01:00
Tamas Vajk	6d409a0050	Fix failing tests	2021-03-09 09:14:24 +01:00
Tamas Vajk	0ca4bf4267	C#: WIP: Add tuple data flow	2021-03-09 09:14:23 +01:00
Tamas Vajk	4709442ef3	Extract tuple types from patterns and variable declarations	2021-03-09 09:14:23 +01:00