5 Commits

Author	SHA1	Message	Date
Michael Nebel	e86f1e4961	Java: Replace Argument[-1] with Argument[this].	2023-03-20 10:14:20 +01:00
Michael Nebel	2e46e93f36	Java: Update java models with provenance column information.	2022-06-20 16:20:02 +02:00
Tony Torralba	91efb61e97	Use synthetic fields to improve taint precision	2021-10-07 17:03:08 +02:00
Tony Torralba	0325c07bd9	Reorganize fluent models	2021-10-07 17:03:07 +02:00
Tony Torralba	1a04ad98bc	Add Android Slice models	2021-10-07 17:01:16 +02:00