|
15 | 15 | */
|
16 | 16 | private module AlgorithmNames {
|
17 | 17 | predicate isStrongHashingAlgorithm(string name) {
|
18 |
| - name = "DSA" or |
19 |
| - name = "ED25519" or |
20 |
| - name = "ES256" or |
21 |
| - name = "ECDSA256" or |
22 |
| - name = "ES384" or |
23 |
| - name = "ECDSA384" or |
24 |
| - name = "ES512" or |
25 |
| - name = "ECDSA512" or |
26 |
| - name = "SHA2" or |
27 |
| - name = "SHA224" or |
28 |
| - name = "SHA256" or |
29 |
| - name = "SHA384" or |
30 |
| - name = "SHA512" or |
31 |
| - name = "SHA3" or |
32 |
| - name = "SHA3224" or |
33 |
| - name = "SHA3256" or |
34 |
| - name = "SHA3384" or |
35 |
| - name = "SHA3512" |
| 18 | + name = |
| 19 | + [ |
| 20 | + "DSA", "ED25519", "ES256", "ECDSA256", "ES384", "ECDSA384", "ES512", "ECDSA512", "SHA2", |
| 21 | + "SHA224", "SHA256", "SHA384", "SHA512", "SHA3", "SHA3224", "SHA3256", "SHA3384", "SHA3512" |
| 22 | + ] |
36 | 23 | }
|
37 | 24 |
|
38 | 25 | predicate isWeakHashingAlgorithm(string name) {
|
39 |
| - name = "HAVEL128" or |
40 |
| - name = "MD2" or |
41 |
| - name = "MD4" or |
42 |
| - name = "MD5" or |
43 |
| - name = "PANAMA" or |
44 |
| - name = "RIPEMD" or |
45 |
| - name = "RIPEMD128" or |
46 |
| - name = "RIPEMD256" or |
47 |
| - name = "RIPEMD160" or |
48 |
| - name = "RIPEMD320" or |
49 |
| - name = "SHA0" or |
50 |
| - name = "SHA1" |
| 26 | + name = |
| 27 | + [ |
| 28 | + "HAVEL128", "MD2", "MD4", "MD5", "PANAMA", "RIPEMD", "RIPEMD128", "RIPEMD256", "RIPEMD160", |
| 29 | + "RIPEMD320", "SHA0", "SHA1" |
| 30 | + ] |
51 | 31 | }
|
52 | 32 |
|
53 | 33 | predicate isStrongEncryptionAlgorithm(string name) {
|
54 |
| - name = "AES" or |
55 |
| - name = "AES128" or |
56 |
| - name = "AES192" or |
57 |
| - name = "AES256" or |
58 |
| - name = "AES512" or |
59 |
| - name = "RSA" or |
60 |
| - name = "RABBIT" or |
61 |
| - name = "BLOWFISH" |
| 34 | + name = ["AES", "AES128", "AES192", "AES256", "AES512", "RSA", "RABBIT", "BLOWFISH"] |
62 | 35 | }
|
63 | 36 |
|
64 | 37 | predicate isWeakEncryptionAlgorithm(string name) {
|
65 |
| - name = "DES" or |
66 |
| - name = "3DES" or |
67 |
| - name = "TRIPLEDES" or |
68 |
| - name = "TDEA" or |
69 |
| - name = "TRIPLEDEA" or |
70 |
| - name = "ARC2" or |
71 |
| - name = "RC2" or |
72 |
| - name = "ARC4" or |
73 |
| - name = "RC4" or |
74 |
| - name = "ARCFOUR" or |
75 |
| - name = "ARC5" or |
76 |
| - name = "RC5" |
| 38 | + name = |
| 39 | + [ |
| 40 | + "DES", "3DES", "TRIPLEDES", "TDEA", "TRIPLEDEA", "ARC2", "RC2", "ARC4", "RC4", "ARCFOUR", |
| 41 | + "ARC5", "RC5" |
| 42 | + ] |
77 | 43 | }
|
78 | 44 |
|
79 | 45 | predicate isStrongPasswordHashingAlgorithm(string name) {
|
80 |
| - name = "ARGON2" or |
81 |
| - name = "PBKDF2" or |
82 |
| - name = "BCRYPT" or |
83 |
| - name = "SCRYPT" |
| 46 | + name = ["ARGON2", "PBKDF2", "BCRYPT", "SCRYPT"] |
84 | 47 | }
|
85 | 48 |
|
86 | 49 | predicate isWeakPasswordHashingAlgorithm(string name) { none() }
|
|
0 commit comments