6 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	46d6f5af7e	Java: Update some tests.	2023-02-21 13:14:35 +01:00
Chris Smowton	6cf15f49bb	Replace hasTaintFlow=y with hasTaintFlow everywhere	2021-03-08 11:57:35 +00:00
Marcono1234	b7353f0bb0	Java: Simplify tests using InlineExpectationsTest	2021-03-08 11:49:52 +00:00
Chris Smowton	40b0f68d2a	Add backward dataflow edges through modelled function invocations. ... Also add convenience abstract classes for easily modelling new functions as fluent or value-preserving.	2021-03-04 11:45:19 +00:00
Chris Smowton	aab9deceef	Remove package from test Java file	2021-03-01 10:32:44 +00:00
Chris Smowton	fadbb32bd6	Add backward dataflow edges through fluent function invocations. ... This means that much as obj.getA().setB(...) already has a side-effect on `obj`, all three setters in obj.setA(...).setB(...).setC(...) will have a side-effect on `obj`.	2021-03-01 10:11:28 +00:00