hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 02:35:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Remove redundant KeyStoreSpi models

Browse Source 
`java.security.KeyStoreSpi` is an abstract class. This removes its
subclasses' models, and instead uses model-as-data's capability to use
subclasses.
This commit is contained in:
Ed Minnix
2023-09-12 16:56:13 -04:00
parent 24c809b3b5
commit 1edca19419
5 changed files with 5 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
java/ql/lib/ext/java.security.model.yml
View File

@@ -9,9 +9,9 @@ extensions:
- ["java.security", "KeyStore", False, "store", "(OutputStream,char[])", "", "Argument[1]", "credentials-password", "manual"]
- ["java.security", "KeyStore$PasswordProtection", False, "PasswordProtection", "(char[])", "", "Argument[0]", "credentials-password", "manual"]
- ["java.security", "KeyStore$PasswordProtection", False, "PasswordProtection", "(char[],String,AlgorithmParameterSpec)", "", "Argument[0]", "credentials-password", "manual"]
- ["java.security", "KeyStoreSpi", False, "engineGetKey", "(String,char[])", "", "Argument[1]", "credentials-password", "manual"]
- ["java.security", "KeyStoreSpi", False, "engineLoad", "(InputStream,char[])", "", "Argument[1]", "credentials-password", "manual"]
- ["java.security", "KeyStoreSpi", False, "engineSetKeyEntry", "(String,Key,char[],Certificate[])", "", "Argument[2]", "credentials-password", "manual"]
- ["java.security", "KeyStoreSpi", False, "engineStore", "(OutputStream,char[])", "", "Argument[1]", "credentials-password", "manual"]
- ["java.security", "KeyStore", False, "setKeyEntry", "(String,byte[],Certificate[])", "", "Argument[1]", "crypto-parameter", "manual"]
- ["java.security", "KeyStoreSpi", False, "engineSetKeyEntry", "(String,byte[],Certificate[])", "", "Argument[1]", "crypto-parameter", "manual"]
- ["java.security", "KeyStoreSpi", True, "engineGetKey", "(String,char[])", "", "Argument[1]", "credentials-password", "manual"]
- ["java.security", "KeyStoreSpi", True, "engineLoad", "(InputStream,char[])", "", "Argument[1]", "credentials-password", "manual"]
- ["java.security", "KeyStoreSpi", True, "engineSetKeyEntry", "(String,Key,char[],Certificate[])", "", "Argument[2]", "credentials-password", "manual"]
- ["java.security", "KeyStoreSpi", True, "engineStore", "(OutputStream,char[])", "", "Argument[1]", "credentials-password", "manual"]
- ["java.security", "KeyStoreSpi", True, "engineSetKeyEntry", "(String,byte[],Certificate[])", "", "Argument[1]", "credentials-key", "manual"]