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.Encryption
predicate insecureAlgorithm(string name, string reason)