Predicate insecureAlgorithm
Holds if name is the name of an algorithm that is known to be insecure and
reason explains why it is insecure.
Import path
import semmle.code.java.security.Encryptionpredicate insecureAlgorithm(string name, string reason)