Crypto: Fix UnknownKeyAgreementType to OthernKeyAgreementType for JCA.

bdrodes · bdrodes · commit f5d24c5a7bb2 · 2025-06-02T10:11:53.000-04:00
diff --git a/java/ql/lib/experimental/quantum/JCA.qll b/java/ql/lib/experimental/quantum/JCA.qll
@@ -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 }

Original file line number	Diff line number	Diff line change
`@@ -1388,7 +1388,7 @@ module JCAModel {`
`1388`	`1388`	`override Crypto::TKeyAgreementType getKeyAgreementType() {`
`1389`	`1389`	`if key_agreement_name_to_type_known(_, super.getValue())`
`1390`	`1390`	`then key_agreement_name_to_type_known(result, super.getValue())`
`1391`		`- else result = Crypto::UnknownKeyAgreementType()`
	`1391`	`+ else result = Crypto::OtherKeyAgreementType()`
`1392`	`1392`	`}`
`1393`	`1393`
`1394`	`1394`	`KeyAgreementAlgorithmValueConsumer getConsumer() { result = consumer }`