4 Commits

Author	SHA1	Message	Date
Geoffrey White	cf75397ef1	Java: Rename tests.	2020-06-30 14:33:05 +01:00
Geoffrey White	f8425b8a58	Java: Update uses.	2020-06-30 13:02:48 +01:00
Arthur Baars	59869ace63	Java: teach Encryption.qll about MessageDigest.getInstance ... We already modelled usage of the protected `MessageDigest(String algo)` constructor as a crypto algorithm specification. For some reason we did not model the more commonly used public `MessageDigest.getInstance` method.	2020-04-25 00:41:10 +02:00
Pavel Avgustinov	846c9d5860	Migrate Java code to separate QL repo.	2018-08-30 10:48:05 +01:00