14 Commits

Author	SHA1	Message	Date
Tom Hvitved	0f52fe92cf	Data flow: Add aliases for removing DataFlow prefixes	2025-02-05 10:57:16 +01:00
Tom Hvitved	bfe4a4bf0b	C#: Additional tracking of lambdas through fields and properties	2024-02-01 11:51:00 +01:00
Tom Hvitved	817d04c087	C#: Add more delegate flow tests	2024-02-01 11:51:00 +01:00
Anders Schack-Mulligen	88fe0f089e	C#: Fix expected output.	2023-06-12 13:17:55 +02:00
Michael Nebel	6f7af11517	C#: Needs to be updated as SummaryParameterNodes are printed slightly different.	2022-05-18 07:48:21 +02:00
Tom Hvitved	c5c80204d5	C#: Rework flow summary implementation	2021-03-24 11:27:01 +01:00
Tom Hvitved	a373a523f6	Data flow: Move C# lambda flow logic into shared library	2021-03-16 13:49:32 +01:00
Tom Hvitved	25adcfc39d	C#: Fix missing phi flow	2021-03-16 13:16:23 +01:00
Tom Hvitved	e092b31791	C#: Add test exposing missing phi flow	2021-03-16 13:16:23 +01:00
Tamas Vajk	7d62e33feb	C#: Rework function pointer/delegate call DF	2021-02-01 13:40:03 +01:00
Tamas Vajk	91152d3a65	Add additional tests to delegate call data flow	2021-01-29 12:02:11 +01:00
Tom Hvitved	6ee5cdf2b2	C#: Simpler data-flow modelling of parameters	2021-01-28 10:34:47 +01:00
Tom Hvitved	5d1a5920c7	C#: Reimplement flow-summary compilation	2020-10-14 14:15:34 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00