8 Commits

Author	SHA1	Message	Date
Marcono1234	bfb9577d15	Java: Deprecate StringLiteral.getRepresentedString()	2021-10-29 14:50:15 +02:00
Marcono1234	58d2d5d14e	Java: Replace incorrect usage of Literal.getLiteral()	2021-09-16 14:10:48 +01:00
luchua-bc	bed8a68d28	Exclude broken algorithms from the list of secure algorithms	2020-12-17 00:41:23 +00:00
luchua-bc	d7facb42d6	Add missing broken crypto algorithms	2020-12-16 04:32:11 +00:00
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