14 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	e71173d953	Merge pull request #6591 from bmuskalla/inlineFlowTest ... Java: Simplify setup for flow tests using `InlineExpectationsTest`	2021-09-14 10:31:29 +02:00
Anders Schack-Mulligen	ab862276fc	Java: Fix tests.	2021-09-13 16:04:11 +02:00
Benjamin Muskalla	3bc70f0ce6	Convert containerflow to inline flow test	2021-09-07 16:46:59 +02:00
Sauyon Lee	fd02dcdf2e	Java: Add models for collection constructors	2021-07-22 07:23:26 -07:00
Anders Schack-Mulligen	95ad8b55fe	Merge pull request #6107 from aschackmull/dataflow/implicit-reads ... Dataflow: Add support for implicit reads	2021-06-24 15:38:35 +02:00
Chris Smowton	74feaf2893	Adapt to static methods and nested types returning unbound declaring types ... Previously these returned raw declaring types instead	2021-06-23 16:03:18 +01:00
Anders Schack-Mulligen	38fc8a750c	Java: Improve test and fix a few missing cases.	2021-06-22 11:16:02 +02:00
Anders Schack-Mulligen	c06e152e90	Java: Remove outdated test.	2021-06-21 16:08:59 +02:00
Anders Schack-Mulligen	901996f9fd	Java: Add collection flow test.	2021-06-01 11:47:52 +02:00
Anders Schack-Mulligen	43d1b0ab27	Java: Update qltests.	2021-06-01 11:47:52 +02:00
Arthur Baars	43b61038e9	Drop Map.merge as taint step	2020-07-10 13:00:14 +02:00
Arthur Baars	0d33a77ee3	Fix modelling of Stack.push ... Stack.push(E) returns its argument, it does not propagate taint from the stack to the return value.	2020-07-09 16:16:29 +02:00
Arthur Baars	0bd103ac05	Java: add tests for Container taint steps	2020-07-09 12:15:38 +02:00
Anders Schack-Mulligen	a29f615da0	Java: Add additional taint steps through collections.	2019-01-28 14:34:09 +01:00