6 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	c06e152e90	Java: Remove outdated test.	2021-06-21 16:08:59 +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