sync CryptoAlgorithmNames.qll (remove isWeakBlockMode predicate)

This commit is contained in:
Alex Ford
2022-05-13 21:26:01 +01:00
parent bc073eb460
commit 66736ebd9d
2 changed files with 0 additions and 10 deletions

View File

@@ -65,8 +65,3 @@ predicate isStrongPasswordHashingAlgorithm(string name) {
* Holds if `name` corresponds to a weak password hashing algorithm.
*/
predicate isWeakPasswordHashingAlgorithm(string name) { name = "EVPKDF" }
/**
* Holds if `name` corresponds to a weak block cipher mode of operation.
*/
predicate isWeakBlockMode(string name) { name = "ECB" }