8 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	6ff4fe38ec	Java/C++/C#: Add field flow support for stores in nested fields.	2019-08-19 14:41:06 +02:00
Anders Schack-Mulligen	f8804943ee	Java: Change in/out barriers to be explicit in the configuration.	2019-08-05 12:05:12 +02:00
Anders Schack-Mulligen	d3c5644229	Java: Add support for in/out barriers on sources and sinks.	2019-07-26 11:52:55 +02:00
Anders Schack-Mulligen	3024b5cb9e	Java: Bugfix for flow through methods with taintstep and upcast.	2019-07-22 15:39:30 +02:00
Anders Schack-Mulligen	a29f615da0	Java: Add additional taint steps through collections.	2019-01-28 14:34:09 +01:00
Anders Schack-Mulligen	46bebc898a	Java: Add test.	2018-11-09 13:36:05 +01:00
Anders Schack-Mulligen	dd5a8f0c14	Java: Autoformat most queries.	2018-10-11 11:31:37 +02:00
Pavel Avgustinov	846c9d5860	Migrate Java code to separate QL repo.	2018-08-30 10:48:05 +01:00