11 Commits

Author	SHA1	Message	Date
Tom Hvitved	f9dbf676a6	Java: Use FlowSummaryImpl from dataflow pack	2023-12-10 11:25:45 +01:00
Chris Smowton	f552a15aae	Mass-rename MethodAccess -> MethodCall	2023-10-24 10:30:26 +01:00
Michael Nebel	4c7cdc6245	Java: Remove unneeded imports of ExternalFlow.qll.	2022-12-05 09:49:38 +01:00
Michael Nebel	b3a3b676ba	Java: Remove manual models from QL code.	2022-11-28 12:30:34 +01:00
Anders Schack-Mulligen	8c7b6d6f20	Java: Add support for synthetic callables with flow summaries and model Stream.collect.	2022-10-13 11:17:44 +02:00
Michael Nebel	2e46e93f36	Java: Update java models with provenance column information.	2022-06-20 16:20:02 +02:00
Tony Torralba	b69d81ce24	Make all imports of ExternalFlow private	2022-04-26 13:48:44 +02:00
Asger Feldthaus	a121b73181	Java: update CSV rows to dot-separated syntax	2022-02-21 08:16:55 +01:00
Anders Schack-Mulligen	04892df45a	Java: Include stream method overrides.	2021-10-05 13:13:28 +02:00
Anders Schack-Mulligen	af7d633f2f	Java: Add Stream::mapMulti* and Stream::toList.	2021-10-05 13:13:28 +02:00
Anders Schack-Mulligen	ef80263106	Java: Add models for java.util.stream.	2021-10-05 13:13:27 +02:00