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

Crypto: Fix further acronym casing and remove unused field

Browse Source
This commit is contained in:
Nicolas Will
2025-06-25 20:25:33 +02:00
parent b8097501b6
commit 8e6031df14
5 changed files with 22 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -180,7 +180,7 @@ module JCAModel {
type = KeyOpAlg::TSymmetricCipher(KeyOpAlg::DES())
or
upper = "TRIPLEDES" and
type = KeyOpAlg::TSymmetricCipher(KeyOpAlg::TripleDES())
type = KeyOpAlg::TSymmetricCipher(KeyOpAlg::TRIPLE_DES())
or
upper = "IDEA" and
type = KeyOpAlg::TSymmetricCipher(KeyOpAlg::IDEA())
@@ -1522,9 +1522,7 @@ module JCAModel {
}
class MacGetInstanceAlgorithmValueConsumer extends Crypto::AlgorithmValueConsumer {
MacGetInstanceCall call;
MacGetInstanceAlgorithmValueConsumer() { this = call.getAlgorithmArg() }
MacGetInstanceAlgorithmValueConsumer() { this = any(MacGetInstanceCall c).getAlgorithmArg() }
override Crypto::ConsumerInputDataFlowNode getInputNode() { result.asExpr() = this }