Skip to content

Commit 939d6f9

Browse files
owen-mcowen-mc
committed
Add summary models for javax.crypto.Cipher
1 parent 65bc62c commit 939d6f9

File tree

1 file changed

+46
-0
lines changed

1 file changed

+46
-0
lines changed

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

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,3 +7,49 @@ extensions:
77
- ["javax.crypto", "Cipher", True, "init", "(int,Key,AlgorithmParameterSpec,SecureRandom)", "", "Argument[2]", "encryption-iv", "manual"]
88
- ["javax.crypto", "Cipher", False, "unwrap", "(byte[],String,int)", "", "Argument[0]", "credentials-key", "hq-generated"]
99
- ["javax.crypto", "CipherSpi", True, "engineUnwrap", "(byte[],String,int)", "", "Argument[0]", "credentials-key", "hq-generated"]
10+
- addsTo:
11+
pack: codeql/java-all
12+
extensible: summaryModel
13+
data:
14+
- ["javax.crypto", "Cipher", True, "doFinal", "()", "", "Argument[this].SyntheticField[cipher.Encrypted]", "ReturnValue", "taint", "manual"]
15+
- ["javax.crypto", "Cipher", True, "doFinal", "(ByteBuffer,ByteBuffer)", "", "Argument[0]", "Argument[1]", "taint", "manual"]
16+
- ["javax.crypto", "Cipher", True, "doFinal", "(ByteBuffer,ByteBuffer)", "", "Argument[this].SyntheticField[cipher.Encrypted]", "Argument[1]", "taint", "manual"]
17+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[])", "", "Argument[0]", "ReturnValue", "taint", "manual"]
18+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[])", "", "Argument[this].SyntheticField[cipher.Encrypted]", "ReturnValue", "taint", "manual"]
19+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[],int)", "", "Argument[this].SyntheticField[cipher.Encrypted]", "Argument[0]", "taint", "manual"]
20+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[],int,int)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
21+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[],int,int)", "", "Argument[this].SyntheticField[cipher.Encrypted]", "ReturnValue", "taint", "manual"]
22+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[],int,int,byte[])", "", "Argument[0]", "Argument[3]", "taint", "manual"]
23+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[],int,int,byte[])", "", "Argument[this].SyntheticField[cipher.Encrypted]", "Argument[3]", "taint", "manual"]
24+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[],int,int,byte[],int)", "", "Argument[0]", "Argument[3]", "taint", "manual"]
25+
- ["javax.crypto", "Cipher", True, "doFinal", "(byte[],int,int,byte[],int)", "", "Argument[this].SyntheticField[cipher.Encrypted]", "Argument[3]", "taint", "manual"]
26+
- ["javax.crypto", "Cipher", True, "unwrap", "(byte[],String,int)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
27+
- ["javax.crypto", "Cipher", True, "update", "(ByteBuffer,ByteBuffer)", "", "Argument[0]", "Argument[1]", "taint", "manual"]
28+
- ["javax.crypto", "Cipher", True, "update", "(ByteBuffer,ByteBuffer)", "", "Argument[0]", "Argument[this].SyntheticField[cipher.Encrypted]", "taint", "manual"]
29+
- ["javax.crypto", "Cipher", True, "update", "(ByteBuffer,ByteBuffer)", "", "Argument[this].SyntheticField[cipher.Encrypted]", "Argument[1]", "taint", "manual"]
30+
- ["javax.crypto", "Cipher", True, "update", "(byte[])", "", "Argument[0]", "Argument[this].SyntheticField[cipher.Encrypted]", "taint", "manual"]
31+
- ["javax.crypto", "Cipher", True, "update", "(byte[])", "", "Argument[0]", "ReturnValue", "taint", "manual"]
32+
- ["javax.crypto", "Cipher", True, "update", "(byte[])", "", "Argument[this].SyntheticField[cipher.Encrypted]", "ReturnValue", "taint", "manual"]
33+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int)", "", "Argument[0]", "Argument[this].SyntheticField[cipher.Encrypted]", "taint", "manual"]
34+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
35+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int)", "", "Argument[this].SyntheticField[cipher.Encrypted]", "ReturnValue", "taint", "manual"]
36+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int,byte[])", "", "Argument[0]", "Argument[this].SyntheticField[cipher.Encrypted]", "taint", "manual"]
37+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int,byte[])", "", "Argument[0]", "Argument[3]", "taint", "manual"]
38+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int,byte[])", "", "Argument[this].SyntheticField[cipher.Encrypted]", "Argument[3]", "taint", "manual"]
39+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int,byte[],int)", "", "Argument[0]", "Argument[this].SyntheticField[cipher.Encrypted]", "taint", "manual"]
40+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int,byte[],int)", "", "Argument[0]", "Argument[3]", "taint", "manual"]
41+
- ["javax.crypto", "Cipher", True, "update", "(byte[],int,int,byte[],int)", "", "Argument[this].SyntheticField[cipher.Encrypted]", "Argument[3]", "taint", "manual"]
42+
- ["javax.crypto", "Cipher", True, "wrap", "(Key)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
43+
- addsTo:
44+
pack: codeql/java-all
45+
extensible: neutralModel
46+
data:
47+
- ["javax.crypto", "Cipher", "getAlgorithm", "", "summary", "manual"]
48+
- ["javax.crypto", "Cipher", "getExemptionMechanism", "", "summary", "manual"]
49+
- ["javax.crypto", "Cipher", "getInstance", "", "summary", "manual"]
50+
- ["javax.crypto", "Cipher", "getIV", "", "summary", "manual"]
51+
- ["javax.crypto", "Cipher", "getParameters", "", "summary", "manual"]
52+
- ["javax.crypto", "Cipher", "getProvider", "", "summary", "manual"]
53+
- ["javax.crypto", "Cipher", "init", "", "summary", "manual"]
54+
- ["javax.crypto", "Cipher", "toString", "", "summary", "manual"]
55+
- ["javax.crypto", "Cipher", "updateAAD", "", "summary", "manual"]

0 commit comments

Comments
 (0)