Crypto: Fix JCA to account for new key gen instance API in model.qll.

bdrodes · bdrodes · commit dc8d22a46886 · 2025-06-26T15:48:10.000-04:00
diff --git a/java/ql/lib/experimental/quantum/JCA.qll b/java/ql/lib/experimental/quantum/JCA.qll
@@ -1104,7 +1104,9 @@ module JCAModel {
 
     override int getKeySizeFixed() { none() }
 
-    override Crypto::ConsumerInputDataFlowNode getRawKeyValueConsumer() { none() }
+    override Crypto::ConsumerInputDataFlowNode getKeyValueConsumer() { none() }
+
+    override predicate hasKeyValueConsumer() { none() }
   }
 
   class KeyGeneratorCipherAlgorithm extends CipherStringLiteralAlgorithmInstance {

Original file line number	Diff line number	Diff line change
`@@ -1104,7 +1104,9 @@ module JCAModel {`
`1104`	`1104`
`1105`	`1105`	`override int getKeySizeFixed() { none() }`
`1106`	`1106`
`1107`		`- override Crypto::ConsumerInputDataFlowNode getRawKeyValueConsumer() { none() }`
	`1107`	`+ override Crypto::ConsumerInputDataFlowNode getKeyValueConsumer() { none() }`
	`1108`	`+`
	`1109`	`+ override predicate hasKeyValueConsumer() { none() }`
`1108`	`1110`	`}`
`1109`	`1111`
`1110`	`1112`	`class KeyGeneratorCipherAlgorithm extends CipherStringLiteralAlgorithmInstance {`