20 Commits

Author	SHA1	Message	Date
Michael Nebel	ca4bd0c606	C#/Java/Go: Neutrals are split into seperate classes.	2024-07-18 16:29:38 +02:00
Michael Nebel	763d53afed	C#: Remove the override and ext column from the summaries printing test.	2024-05-16 15:08:45 +02:00
Michael Nebel	d3aa2eed64	C#: Fix test.	2024-03-19 16:30:24 +01:00
Tom Hvitved	ee3e38f0eb	Simplify test interface in FlowSummaryImpl.qll	2024-03-19 14:35:00 +01:00
Michael Nebel	5b37ee4ec7	Re-factor TestOutput into a param module.	2024-03-19 14:20:42 +01:00
Michael Nebel	90db9b330f	C#: Add MaD source and sink test query to shared library.	2024-03-19 13:45:38 +01:00
Tom Hvitved	a2093c9aa2	C#: Use FlowSummaryImpl from dataflow pack	2023-12-10 11:25:43 +01:00
Tom Hvitved	6f4311d656	C#: Include type parameters when printing MaD rows with generics	2023-11-09 08:34:06 +01:00
Michael Nebel	807faf2c70	C#: Only include Neutral summary callables in the FlowSummaries test case.	2023-08-21 09:59:01 +02:00
Anders Schack-Mulligen	5ad7ed49dd	C#: Autoformat	2023-03-10 09:39:41 +01:00
erik-krogh	873d3553cd	Merge branch 'main' into static-useInstanceOf	2022-12-12 15:36:54 +01:00
erik-krogh	8262fbbfb5	Java/C#/GO: Use instanceof in more places	2022-12-11 18:32:19 +01:00
Michael Nebel	ad90e58120	C#: Rename Negative Summary Model to Neutral Model.	2022-12-09 15:04:42 +01:00
Michael Nebel	cc44e89065	C#: Introduce support for Negative summary models.	2022-08-24 09:46:54 +02:00
Tom Hvitved	23ee033a57	C#: Review fixes	2022-05-18 07:48:21 +02:00
Michael Nebel	0e3fc464a3	C#: Use SummarizedCallable external instead of the internal.	2022-05-18 07:48:20 +02:00
Michael Nebel	68055bc022	C#: Update flow summaries test code.	2022-05-18 07:48:20 +02:00
Michael Nebel	e607c51292	C#: Initial implementation of csv printing in FlowSummaries test	2021-11-24 12:09:20 +01:00
Tom Hvitved	c5c80204d5	C#: Rework flow summary implementation	2021-03-24 11:27:01 +01:00
Tom Hvitved	c5abf29dfc	C#: Update flow-summary test	2020-11-03 20:28:42 +01:00