6 Commits

Author	SHA1	Message	Date
Michael Nebel	a8549d2e23	Java: Convert remaining tests to inline flow tests.	2024-05-06 15:54:01 +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
Michael Nebel	c30f080ff0	Java: Update expected test out for the model generator.	2023-05-08 16:18:59 +02:00
Michael Nebel	574f568c26	Java: Update model generator expected output.	2023-04-13 09:21:06 +02:00
Michael Nebel	2ce6d5f920	Java: Update negative models test to not produce a negative summary for interface member.	2023-02-13 10:45:54 +01:00
Michael Nebel	787b4743ee	C#/Java: Rename the directories containing the model generator and tests.	2023-01-11 13:13:33 +01:00