28 Commits

Author	SHA1	Message	Date
Michael Nebel	82f8a796e1	C#: Update all test util paths to point to the new location.	2024-12-12 13:21:31 +01:00
Michael Nebel	c5343fb829	C#: Make language specific ShowProvenance module and update tests.	2024-08-13 16:10:11 +02:00
Michael Nebel	b08a0a303f	C#: Re-factor external models tests to use compiled code instead of emulating it.	2024-06-03 10:39:59 +02:00
Owen Mansel-Chan	370a32da8b	Test summary models and neutral models, manual and generated	2024-01-10 22:25:02 +00:00
Owen Mansel-Chan	28aa9b2b3c	C#: Emulate that some methods don't have a body (so generated summaries will be applied)	2024-01-10 12:54:33 +00:00
Tom Hvitved	2a33a86c9d	C#: Merge ExternalFlow.qll and ExternalFlowExtensions.qll, and move to internal	2023-11-05 20:58:47 +01:00
Michael Nebel	a2c7388282	C#: Re-factor the ExternalFlow test.	2023-04-12 11:15:14 +02:00
Michael Nebel	990a898cc7	C#: Remove the Csv name where appropriate.	2022-11-04 08:20:53 +01:00
Michael Nebel	d11bca0cdc	C#: Migrate unit tests to data extensions.	2022-11-04 08:20:53 +01:00
Michael Nebel	9c5a6dd031	C#: Add WithElement summary for Reverse and update expected test output.	2022-09-02 15:17:24 +02:00
Michael Nebel	37976d56bc	C#/Java/Go/Swift: Move CsvValidation back into ExternalFlow.	2022-08-24 09:58:53 +02:00
Michael Nebel	19469a26d7	C#: Re-factor CSV validation into a separate file.	2022-08-24 09:58:52 +02:00
Tom Hvitved	e4c257db74	C#: Rename Argument[Qualifier] to Argument[this] in MaD	2022-08-16 13:24:41 +02:00
Michael Nebel	32b69d3e0c	C#: Update external models tests.	2022-06-20 16:20:01 +02:00
Michael Nebel	e3a5f7b8a3	C#: Introduce provenance column in CSV format for Models as data summaries, sources and sinks.	2022-06-20 16:20:01 +02:00
Michael Nebel	f141336f64	C#: Fake location of methods as we want to use the defined summaries for testing purposes.	2022-05-22 15:14:58 +02:00
Michael Nebel	8e1fa35367	C#: Add testcase, where generated flow summary is ignored.	2022-04-05 08:55:12 +02:00
Michael Nebel	30dc4ae788	C#: Add testcase with multiple generated flow summaries.	2022-04-05 08:55:12 +02:00
Michael Nebel	689e8f1952	C#: Small testcase with a summary flow model that is listed as generated.	2022-04-05 08:55:12 +02:00
Asger Feldthaus	6bb15dcc27	C#: update CSV rows to dot-separated syntax	2022-02-21 08:16:55 +01:00
Tom Hvitved	128682b59e	C#: Replace Argument[-1] with Argument[Qualifier] in all flow summaries	2022-01-19 18:54:24 +01:00
Michael Nebel	f6c36b469a	C#: Include test case for override of property.	2021-12-02 15:04:01 +01:00
Tom Hvitved	3da73b9001	C#: Update expected test output	2021-11-17 10:49:49 +01:00
Tom Hvitved	30bf2aade4	C#: Add test for missing summary flow	2021-10-11 11:29:08 +02: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	7a9f9e245f	C#: Handle CSV data-flow summaries with out/ref parameters	2021-06-24 18:34:25 +02:00
Tom Hvitved	eca11f1b40	C#: Adjust getQualifiedName for type parameters	2021-06-17 14:47:19 +02:00
Tom Hvitved	3f6beaf9df	C#: Add tests for complex CSV flow summaries	2021-06-16 19:36:05 +02:00