hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Crypto: Fix UnknownKeyAgreementType to OthernKeyAgreementType for JCA.

Browse Source
This commit is contained in:
REDMOND\brodes
2025-06-02 10:11:53 -04:00
parent cf015d18f1
commit f5d24c5a7b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1388,7 +1388,7 @@ module JCAModel {
override Crypto::TKeyAgreementType getKeyAgreementType() {
if key_agreement_name_to_type_known(_, super.getValue())
then key_agreement_name_to_type_known(result, super.getValue())
else result = Crypto::UnknownKeyAgreementType()
else result = Crypto::OtherKeyAgreementType()
}
KeyAgreementAlgorithmValueConsumer getConsumer() { result = consumer }