10 Commits

Author	SHA1	Message	Date
Tom Hvitved	c5c80204d5	C#: Rework flow summary implementation	2021-03-24 11:27:01 +01:00
Tom Hvitved	6d6150d051	C#: Change some data-flow toString()s	2021-03-23 16:42:58 +01:00
Tom Hvitved	e6f81bcf0b	C#: Update expected test output	2021-01-28 10:34:50 +01:00
Tom Hvitved	697b0ba4c1	C#: Address review comments	2020-11-10 10:42:05 +01:00
Tom Hvitved	1ba9e29a40	C#: Precise data flow for EntityFramework(Core)	2020-11-04 19:48:03 +01:00
Tom Hvitved	04cecc04dd	C#: Update EntityFrameworkCore test	2019-11-28 15:28:50 +01:00
Tom Hvitved	39aaa38486	C#: Update EntityFramework test	2019-11-27 10:28:12 +01:00
calum	d77b60bba8	C#: Add preservesValue to NonLocalJumpNode.getAJumpSuccessor. Allow DataFlow::Configuration::isAdditionalFlowStep to jump between callables.	2019-03-04 09:54:28 +00:00
calum	7343e70151	C#: Fix tests	2019-03-04 09:54:12 +00:00
calum	74b30d6071	C#: Model EntityFramework	2019-03-04 09:53:49 +00:00