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

Regression fixes for JCA

Browse Source
This commit is contained in:
REDMOND\brodes
2025-03-06 13:39:23 -05:00
parent 6083df2b7f
commit b9bd199432
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/lib/experimental/Quantum/JCA.qll
View File

@@ -123,7 +123,7 @@ module JCAModel {
override Crypto::TCipherType getCipherFamily() {
if this.cipherNameMappingKnown(_, super.getAlgorithmName())
then this.cipherNameMappingKnown(result, super.getAlgorithmName())
else result instanceof Crypto::OtherCipherType
else result instanceof Crypto::OTHERCIPHERTYPE
}
bindingset[name]
@@ -135,7 +135,7 @@ module JCAModel {
type instanceof Crypto::DES
or
name = "TripleDES" and
type instanceof Crypto::TripleDES
type instanceof Crypto::TRIPLEDES
or
name = "IDEA" and
type instanceof Crypto::IDEA
@@ -144,7 +144,7 @@ module JCAModel {
type instanceof Crypto::CAST5
or
name = "ChaCha20" and
type instanceof Crypto::ChaCha20
type instanceof Crypto::CHACHA20
or
name = "RC4" and
type instanceof Crypto::RC4