|
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