Remove unused isStrongBlockMode predicate from CryptoAlgorithms.qll

This commit is contained in:
Alex Ford
2021-12-20 09:54:46 +00:00
parent df0da980ea
commit f16d77615d
3 changed files with 0 additions and 15 deletions

View File

@@ -72,11 +72,6 @@ module AlgorithmNames {
*/
predicate isWeakPasswordHashingAlgorithm(string name) { name = "EVPKDF" }
/**
* Holds if `name` corresponds to a strong block cipher mode of operation.
*/
predicate isStrongBlockMode(string name) { name = ["CBC", "CCM", "CFB", "CTR", "GCM", "OFB"] }
/**
* Holds if `name` corresponds to a weak block cipher mode of operation.
*/