Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 18661ee

Browse files
committed
Crypto-parameter models
1 parent 66486b0 commit 18661ee

17 files changed

Lines changed: 238 additions & 1 deletion

java/ql/lib/ext/com.sun.crypto.provider.model.yml

Lines changed: 54 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,3 +11,57 @@ extensions:
1111
- ["com.sun.crypto.provider", "KeyProtector", False, "KeyProtector", "(char[])", "credential-password", "Argument[0]", "manual"]
1212
- ["com.sun.crypto.provider", "PBKDF2KeyImpl", False, "deriveKey", "(Mac, byte[], byte[], int, int)", "credential-password", "Argument[1]", "manual"]
1313
- ["com.sun.crypto.provider", "PBKDF2KeyImpl", False, "getPasswordBytes", "(char[])", "credential-password", "Argument[0]", "manual"]
14+
- ["com.sun.crypto.provider", "AESCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
15+
- ["com.sun.crypto.provider", "AESCrypt", False, "init", "(boolean, String, byte[])", "crypto-parameter", "Argument[2]", "manual"]
16+
- ["com.sun.crypto.provider", "AESWrapCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
17+
- ["com.sun.crypto.provider", "ARCFOURCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
18+
- ["com.sun.crypto.provider", "ARCFOURCipher", False, "init", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
19+
- ["com.sun.crypto.provider", "BlowfishCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
20+
- ["com.sun.crypto.provider", "BlowfishCrypt", False, "init", "(boolean, String, byte[])", "crypto-parameter", "Argument[2]", "manual"]
21+
- ["com.sun.crypto.provider", "CipherBlockChaining", False, "init", "(boolean, String, byte[], byte[])", "crypto-parameter", "Argument[2]", "manual"]
22+
- ["com.sun.crypto.provider", "CipherCore", False, "unwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
23+
- ["com.sun.crypto.provider", "CipherFeedback", False, "init", "(boolean, String, byte[], byte[])", "crypto-parameter", "Argument[2]", "manual"]
24+
- ["com.sun.crypto.provider", "CipherWithWrappingSpi", False, "constructPrivateKey", "(byte[], String)", "crypto-parameter", "Argument[0]", "manual"]
25+
- ["com.sun.crypto.provider", "CipherWithWrappingSpi", False, "constructPublicKey", "(byte[], String)", "crypto-parameter", "Argument[0]", "manual"]
26+
- ["com.sun.crypto.provider", "CipherWithWrappingSpi", False, "constructSecretKey", "(byte[], String)", "crypto-parameter", "Argument[0]", "manual"]
27+
- ["com.sun.crypto.provider", "CipherWithWrappingSpi", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
28+
- ["com.sun.crypto.provider", "ConstructKeys", False, "constructPrivateKey", "(byte[], String)", "crypto-parameter", "Argument[0]", "manual"]
29+
- ["com.sun.crypto.provider", "ConstructKeys", False, "constructPublicKey", "(byte[], String)", "crypto-parameter", "Argument[0]", "manual"]
30+
- ["com.sun.crypto.provider", "ConstructKeys", False, "constructSecretKey", "(byte[], String)", "crypto-parameter", "Argument[0]", "manual"]
31+
- ["com.sun.crypto.provider", "CounterMode", False, "init", "(boolean, String, byte[], byte[])", "crypto-parameter", "Argument[2]", "manual"]
32+
- ["com.sun.crypto.provider", "DESCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
33+
- ["com.sun.crypto.provider", "DESCrypt", False, "expandKey", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
34+
- ["com.sun.crypto.provider", "DESCrypt", False, "init", "(boolean, String, byte[])", "crypto-parameter", "Argument[2]", "manual"]
35+
- ["com.sun.crypto.provider", "DESKey", False, "DESKey", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
36+
- ["com.sun.crypto.provider", "DESKey", False, "DESKey", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
37+
- ["com.sun.crypto.provider", "DESKeyGenerator", False, "setParityBit", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
38+
- ["com.sun.crypto.provider", "DESedeCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
39+
- ["com.sun.crypto.provider", "DESedeKey", False, "DESedeKey", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
40+
- ["com.sun.crypto.provider", "DESedeKey", False, "DESedeKey", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
41+
- ["com.sun.crypto.provider", "DESedeWrapCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
42+
- ["com.sun.crypto.provider", "DHPrivateKey", False, "DHPrivateKey", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
43+
- ["com.sun.crypto.provider", "DHPublicKey", False, "DHPublicKey", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
44+
- ["com.sun.crypto.provider", "ElectronicCodeBook", False, "init", "(boolean, String, byte[], byte[])", "crypto-parameter", "Argument[2]", "manual"]
45+
- ["com.sun.crypto.provider", "FeedbackCipher", False, "init", "(boolean, String, byte[], byte[])", "crypto-parameter", "Argument[2]", "manual"]
46+
- ["com.sun.crypto.provider", "GaloisCounterMode", False, "init", "(boolean, String, byte[], byte[])", "crypto-parameter", "Argument[2]", "manual"]
47+
- ["com.sun.crypto.provider", "GaloisCounterMode", False, "init", "(boolean, String, byte[], byte[], int)", "crypto-parameter", "Argument[2]", "manual"]
48+
- ["com.sun.crypto.provider", "JceKeyStore", False, "engineSetKeyEntry", "(String, byte[], Certificate[])", "crypto-parameter", "Argument[1]", "manual"]
49+
- ["com.sun.crypto.provider", "KeyProtector", False, "recover", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
50+
- ["com.sun.crypto.provider", "OutputFeedback", False, "init", "(boolean, String, byte[], byte[])", "crypto-parameter", "Argument[2]", "manual"]
51+
- ["com.sun.crypto.provider", "PBECipherCore", False, "unwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
52+
- ["com.sun.crypto.provider", "PBES1Core", False, "unwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
53+
- ["com.sun.crypto.provider", "PBES2Core", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
54+
- ["com.sun.crypto.provider", "PBEWithMD5AndDESCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
55+
- ["com.sun.crypto.provider", "PBEWithMD5AndTripleDESCipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
56+
- ["com.sun.crypto.provider", "PCBC", False, "init", "(boolean, String, byte[], byte[])", "crypto-parameter", "Argument[2]", "manual"]
57+
- ["com.sun.crypto.provider", "PKCS12PBECipherCore", False, "implUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
58+
- ["com.sun.crypto.provider", "PKCS12PBECipherCore$PBEWithSHA1AndDESede", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
59+
- ["com.sun.crypto.provider", "PKCS12PBECipherCore$PBEWithSHA1AndRC2_128", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
60+
- ["com.sun.crypto.provider", "PKCS12PBECipherCore$PBEWithSHA1AndRC2_40", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
61+
- ["com.sun.crypto.provider", "PKCS12PBECipherCore$PBEWithSHA1AndRC4_128", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
62+
- ["com.sun.crypto.provider", "PKCS12PBECipherCore$PBEWithSHA1AndRC4_40", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
63+
- ["com.sun.crypto.provider", "RC2Cipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
64+
- ["com.sun.crypto.provider", "RC2Crypt", False, "init", "(boolean, String, byte[])", "crypto-parameter", "Argument[2]", "manual"]
65+
- ["com.sun.crypto.provider", "RSACipher", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
66+
- ["com.sun.crypto.provider", "SymmetricCipher", False, "init", "(boolean, String, byte[])", "crypto-parameter", "Argument[2]", "manual"]
67+
- ["com.sun.crypto.provider", "TlsMasterSecretGenerator$TlsMasterSecretKey", False, "TlsMasterSecretKey", "(byte[], int, int)", "crypto-parameter", "Argument[0]", "manual"]
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/java-all
4+
extensible: sinkModel
5+
data:
6+
- ["java.security.cert", "X509CertSelector", False, "setSubjectPublicKey", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]

java/ql/lib/ext/java.security.model.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,3 +13,5 @@ extensions:
1313
- ["java.security", "KeyStoreSpi", False, "engineLoad", "(InputStream, char[])", "credential-password", "Argument[1]", "manual"]
1414
- ["java.security", "KeyStoreSpi", False, "engineSetKeyEntry", "(String, Key, char[], Certificate[])", "credential-password", "Argument[2]", "manual"]
1515
- ["java.security", "KeyStoreSpi", False, "engineStore", "(OutputStream, char[])", "credential-password", "Argument[1]", "manual"]
16+
- ["java.security", "KeyStore", False, "setKeyEntry", "(String, byte[], Certificate[])", "crypto-parameter", "Argument[1]", "manual"]
17+
- ["java.security", "KeyStoreSpi", False, "engineSetKeyEntry", "(String, byte[], Certificate[])", "crypto-parameter", "Argument[1]", "manual"]
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/java-all
4+
extensible: sinkModel
5+
data:
6+
- ["java.security.spec", "EncodedKeySpec", False, "EncodedKeySpec", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
7+
- ["java.security.spec", "PKCS8EncodedKeySpec", False, "PKCS8EncodedKeySpec", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
8+
- ["java.security.spec", "X509EncodedKeySpec", False, "X509EncodedKeySpec", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]

java/ql/lib/ext/javax.crypto.model.yml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,4 +4,7 @@ extensions:
44
extensible: sinkModel
55
data:
66
- ["javax.crypto", "Cipher", True, "init", "(int,Key,AlgorithmParameterSpec)", "", "Argument[2]", "encryption-iv", "manual"]
7-
- ["javax.crypto", "Cipher", True, "init", "(int,Key,AlgorithmParameterSpec,SecureRandom)", "", "Argument[2]", "encryption-iv", "manual"]
7+
- ["javax.crypto", "Cipher", True, "init", "(int,Key,AlgorithmParameterSpec,SecureRandom)", "", "Argument[2]", "encryption-iv", "manual"]
8+
- ["javax.crypto", "Cipher", False, "unwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
9+
- ["javax.crypto", "CipherSpi", False, "engineUnwrap", "(byte[], String, int)", "crypto-parameter", "Argument[0]", "manual"]
10+
- ["javax.crypto", "EncryptedPrivateKeyInfo", False, "checkPKCS8Encoding", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]

java/ql/lib/ext/javax.crypto.spec.model.yml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,3 +14,12 @@ extensions:
1414
- ["javax.crypto.spec", "PBEKeySpec", False, "PBEKeySpec", "(char[])", "credential-password", "Argument[0]", "manual"]
1515
- ["javax.crypto.spec", "PBEKeySpec", False, "PBEKeySpec", "(char[], byte[], int)", "credential-password", "Argument[0]", "manual"]
1616
- ["javax.crypto.spec", "PBEKeySpec", False, "PBEKeySpec", "(char[], byte[], int, int)", "credential-password", "Argument[0]", "manual"]
17+
- ["javax.crypto.spec", "DESKeySpec", False, "DESKeySpec", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
18+
- ["javax.crypto.spec", "DESKeySpec", False, "DESKeySpec", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
19+
- ["javax.crypto.spec", "DESKeySpec", False, "isParityAdjusted", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
20+
- ["javax.crypto.spec", "DESKeySpec", False, "isWeak", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
21+
- ["javax.crypto.spec", "DESedeKeySpec", False, "DESedeKeySpec", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
22+
- ["javax.crypto.spec", "DESedeKeySpec", False, "DESedeKeySpec", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
23+
- ["javax.crypto.spec", "DESedeKeySpec", False, "isParityAdjusted", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
24+
- ["javax.crypto.spec", "SecretKeySpec", False, "SecretKeySpec", "(byte[], String)", "crypto-parameter", "Argument[0]", "manual"]
25+
- ["javax.crypto.spec", "SecretKeySpec", False, "SecretKeySpec", "(byte[], int, int, String)", "crypto-parameter", "Argument[0]", "manual"]

java/ql/lib/ext/javax.security.auth.kerberos.model.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,7 @@ extensions:
55
data:
66
- ["javax.security.auth.kerberos", "KerberosKey", False, "KerberosKey", "(KerberosPrincipal, char[], String)", "credential-password", "Argument[1]", "manual"]
77
- ["javax.security.auth.kerberos", "KeyImpl", False, "KeyImpl", "(KerberosPrincipal, char[], String)", "credential-password", "Argument[1]", "manual"]
8+
- ["javax.security.auth.kerberos", "KerberosKey", False, "KerberosKey", "(KerberosPrincipal, byte[], int, int)", "crypto-parameter", "Argument[1]", "manual"]
9+
- ["javax.security.auth.kerberos", "KerberosTicket", False, "KerberosTicket", "(byte[], KerberosPrincipal, KerberosPrincipal, byte[], int, boolean[], Date, Date, Date, Date, InetAddress[])", "crypto-parameter", "Argument[3]", "manual"]
10+
- ["javax.security.auth.kerberos", "KerberosTicket", False, "init", "(byte[], KerberosPrincipal, KerberosPrincipal, byte[], int, boolean[], Date, Date, Date, Date, InetAddress[])", "crypto-parameter", "Argument[3]", "manual"]
11+
- ["javax.security.auth.kerberos", "KeyImpl", False, "KeyImpl", "(byte[], int)", "crypto-parameter", "Argument[0]", "manual"]
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/java-all
4+
extensible: sinkModel
5+
data:
6+
- ["sun.security.jgss.krb5", "CipherHelper", False, "desCbcDecrypt", "(WrapToken, byte[], InputStream, int, byte[], int)", "crypto-parameter", "Argument[1]", "manual"]
7+
- ["sun.security.jgss.krb5", "CipherHelper", False, "desCbcDecrypt", "(WrapToken, byte[], byte[], int, int, byte[], int)", "crypto-parameter", "Argument[1]", "manual"]
8+
- ["sun.security.jgss.krb5", "CipherHelper", False, "getDesCbcChecksum", "(byte[], byte[], byte[], int, int)", "crypto-parameter", "Argument[0]", "manual"]
9+
- ["sun.security.jgss.krb5", "CipherHelper", False, "getDesEncryptionKey", "(byte[])", "crypto-parameter", "Argument[0]", "manual"]
10+
- ["sun.security.jgss.krb5", "CipherHelper", False, "getInitializedDes", "(boolean, byte[], byte[])", "crypto-parameter", "Argument[1]", "manual"]
11+
- ["sun.security.jgss.krb5", "Krb5InitCredential", False, "Krb5InitCredential", "(Krb5NameElement, Credentials, byte[], KerberosPrincipal, KerberosPrincipal, byte[], int, boolean[], Date, Date, Date, Date, InetAddress[])", "crypto-parameter", "Argument[5]", "manual"]
12+
- ["sun.security.jgss.krb5", "Krb5InitCredential", False, "Krb5InitCredential", "(Krb5NameElement, byte[], KerberosPrincipal, KerberosPrincipal, byte[], int, boolean[], Date, Date, Date, Date, InetAddress[])", "crypto-parameter", "Argument[4]", "manual"]

0 commit comments

Comments
 (0)