diff --git a/java/ql/src/experimental/quantum/Examples/UnknownHash.ql b/java/ql/src/experimental/quantum/Examples/UnknownHash.ql index b9bb1905c11..5fd8e6fd506 100644 --- a/java/ql/src/experimental/quantum/Examples/UnknownHash.ql +++ b/java/ql/src/experimental/quantum/Examples/UnknownHash.ql @@ -12,5 +12,8 @@ import java import experimental.quantum.Language from Crypto::HashAlgorithmNode alg -where not exists(alg.getHashType()) -select alg, "Use of unknown hash algorithm or API." +where + not exists(alg.getHashType()) + or + alg.getHashType() = Crypto::OtherHashType() +select alg, "Use of unknown hash algorithm."