9 Commits

Author	SHA1	Message	Date
Michael Nebel	a8549d2e23	Java: Convert remaining tests to inline flow tests.	2024-05-06 15:54:01 +02:00
Michael Nebel	a33393d452	Java: Delete old summary models expected output.	2024-05-06 11:02:04 +02:00
Owen Mansel-Chan	52e6ea30e7	Accept more capture summary models ... This line is added because `FileOutputStream`'s constructor is now modeled as propagating taint, not just as a sink. | p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];ReturnValue;taint;df-generated |	2024-04-01 14:03:00 +01:00
Owen Mansel-Chan	6e63df9e32	Accept test change: toString method no longer generated	2024-03-01 14:16:14 +00:00
Michael Nebel	03d4025b99	Java: Add a testcase where both a neutral summary and summary is being generated.	2024-01-12 13:36:23 +01:00
Michael Nebel	574f568c26	Java: Update model generator expected output.	2023-04-13 09:21:06 +02:00
Michael Nebel	ba711ab849	Java: Update expected test-output (different sorting).	2023-03-20 10:14:20 +01:00
Michael Nebel	e86f1e4961	Java: Replace Argument[-1] with Argument[this].	2023-03-20 10:14:20 +01:00
Michael Nebel	787b4743ee	C#/Java: Rename the directories containing the model generator and tests.	2023-01-11 13:13:33 +01:00