sync identical files

This commit is contained in:
Erik Krogh Kristensen
2021-11-02 09:24:34 +01:00
parent 2a8807efe4
commit 5975e19f53

View File

@@ -31,14 +31,22 @@ private module AlgorithmNames {
}
predicate isStrongEncryptionAlgorithm(string name) {
name = ["AES", "AES128", "AES192", "AES256", "AES512", "RSA", "RABBIT", "BLOWFISH"]
name = [appendMode("AES"), "AES128", "AES192", "AES256", "AES512", "RSA", "RABBIT", "BLOWFISH"]
}
/**
* Gets the name with a mode of operation added as a suffix.
*/
bindingset[name]
private string appendMode(string name) {
result = name + ["", "CBC", "ECB", "CFB", "OFB", "CTR", "GCM"]
}
predicate isWeakEncryptionAlgorithm(string name) {
name =
[
"DES", "3DES", "TRIPLEDES", "TDEA", "TRIPLEDEA", "ARC2", "RC2", "ARC4", "RC4", "ARCFOUR",
"ARC5", "RC5"
appendMode("DES"), appendMode("3DES"), "TRIPLEDES", "TDEA", "TRIPLEDEA", "ARC2", "RC2",
"ARC4", "RC4", "ARCFOUR", "ARC5", "RC5"
]
}
@@ -46,7 +54,7 @@ private module AlgorithmNames {
name = ["ARGON2", "PBKDF2", "BCRYPT", "SCRYPT"]
}
predicate isWeakPasswordHashingAlgorithm(string name) { none() }
predicate isWeakPasswordHashingAlgorithm(string name) { name = "EVPKDF" }
}
private import AlgorithmNames