179 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	e1d4fe8605	C#: Accept test changes.	2026-06-23 14:42:20 +02:00
Anders Schack-Mulligen	6b6df374fa	C#/Java: Accept test changes.	2026-05-07 15:07:31 +02:00
Tom Hvitved	cbe207ab65	C#: Include parameters and their defaults in the CFG	2026-04-29 14:01:09 +02:00
Tom Hvitved	d792e11b7f	C#: Add tests for methods with default parameters	2026-04-29 14:01:08 +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	a69581966b	C#: Accept CFG changes for "first" relation.	2026-04-10 15:47:21 +02:00
Anders Schack-Mulligen	a997d9f80c	C#: Accept fixed consistency check.	2026-04-10 15:47:20 +02:00
Anders Schack-Mulligen	ff978d1a8c	C#: Replace CFG.	2026-04-10 15:47:13 +02:00
Anders Schack-Mulligen	9cf9a36d0d	C#: Rename ControlFlow::BasicBlock to BasicBlock.	2026-04-10 15:47:12 +02:00
Anders Schack-Mulligen	13a4141cc6	C#: Rename remaining references to ControlFlow::Nodes.	2026-04-10 15:47:12 +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
Michael Nebel	55516342b2	C#: Add/update tests and expected output.	2026-03-24 15:32:11 +01:00
Michael Nebel	33fc2bab33	C#: Update test expected output.	2026-01-19 10:19:15 +01:00
Michael Nebel	86198e3c43	C#: Add tests for out writeacceses.	2026-01-16 11:54:10 +01:00
Michael Nebel	4ba89230db	C#: Update test expected output.	2026-01-16 11:53:59 +01:00
Michael Nebel	0bf0cbae8f	C#: Add some null conditional assignments CFG tests.	2026-01-16 11:53:57 +01:00
Michael Nebel	b061c4d083	C#: Update test expected output.	2026-01-16 11:53:55 +01:00
Anders Schack-Mulligen	7e4e872430	C#: Accept expected changes.	2025-12-02 13:49:16 +01:00
Anders Schack-Mulligen	900d0d2477	C#: Accept test changes for assert split removal.	2025-10-29 15:17:34 +01:00
Anders Schack-Mulligen	ebb50cd402	C#: Accept qltest changes.	2025-10-23 12:48:44 +02:00
Anders Schack-Mulligen	b392767252	C#: Accept qltest changes.	2025-10-03 15:29:35 +02:00
Anders Schack-Mulligen	6cfadbfe90	C#: Clean up.	2025-10-03 15:29:33 +02:00
Anders Schack-Mulligen	c1662cf05c	C#/Ruby: Accept qltest changes. ... Mostly toString changes, and a slight change to splitting in C#.	2025-09-01 12:56:07 +02:00
Anders Schack-Mulligen	8b50ac291f	C#: Use shared SuccessorType.	2025-09-01 12:53:24 +02:00
Tom Hvitved	e79a906426	C#: Fix CFG for fall-through switch statements	2025-04-25 11:48:30 +02:00
Tom Hvitved	a991ef0f87	C#: Add a CFG test for switch fall-through	2025-04-25 10:32:48 +02:00
Michael Nebel	5ae7e5ddb3	C#: Update other test expected output files.	2025-03-21 13:23:11 +01:00
Tom Hvitved	9d8e9975de	C#: Update expected test output	2025-02-20 10:18:15 +01:00
Simon Friis Vindum	820d2cbeb8	Shared: Use edge dominance in basic block library	2025-02-06 10:38:32 +01:00
Tom Hvitved	16813240ae	Shared: Do not use @kind graph for CFG test output	2024-09-19 18:13:31 +02:00
Tom Hvitved	8ec4f0b5bd	C#: Update expected test output	2024-05-02 14:53:02 +02:00
Tom Hvitved	1c344d6735	C#: Adjust conditional access locations	2024-04-10 16:21:58 +02:00
Tom Hvitved	5b6e76c030	Move View CFG implementation from Ruby/Swift into shared library	2024-02-26 11:23:49 +01:00
Michael Nebel	a4ab163532	C#: Update test output for cfg tests.	2024-02-22 13:33:29 +01:00
Tom Hvitved	b69188fee9	C#: Adopt shared CFG construction library from shared controlflow pack	2023-08-03 14:12:24 +02:00
Tom Hvitved	3c173df69e	C#: Update expected test output	2023-05-15 09:35:20 +02:00
Mathias Vorreiter Pedersen	177dd76da6	C#: Accept consistency changes.	2023-05-03 20:30:06 +01:00
Tom Hvitved	8c9431d278	CFG: Workaround in test output for source/sink pairs with multiple edges	2022-11-21 11:58:59 +01:00
Tom Hvitved	c4ad237a5c	C#: Update expected test output	2022-02-02 19:25:30 +01:00
Nick Rolfe	990e07b986	Ruby/C#: add semmle.order attribute to edges in CFG tests	2022-01-31 20:08:24 +00:00
Nick Rolfe	cd5010fe11	C#: sync changes from Ruby to improve ordering of graph test output	2022-01-27 15:34:01 +00:00
Tom Hvitved	404f4a81a7	C#: Include CFG scope in TElementNode	2021-12-03 09:37:41 +01:00
Tom Hvitved	1d1780b30f	C#: Fix bug in getEnclosingCallable	2021-11-24 14:24:01 +01:00
Tom Hvitved	f85fa87f69	C#: Add test that illustrates problem with getEnclosingCallable	2021-11-24 13:59:29 +01:00
Tom Hvitved	a89be2e3f8	C#: Extend (Annotated)ExitNode to also cover static fields	2021-11-17 20:50:38 +01:00
Tom Hvitved	67ebebbaeb	C#: Add consistency queries	2021-11-12 13:10:46 +01:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tom Hvitved	ab2bc38789	C#: Use shared logic in NodeGraph.ql test	2021-08-25 11:35:12 +02:00