Crypto: Update JCA model to include new model.qll updates.

bdrodes · bdrodes · commit 8280cbcaa132 · 2025-06-25T13:55:47.000-04:00
diff --git a/java/ql/lib/experimental/quantum/JCA.qll b/java/ql/lib/experimental/quantum/JCA.qll
@@ -1105,6 +1105,8 @@ module JCAModel {
     }
 
     override int getKeySizeFixed() { none() }
+
+    override Crypto::ConsumerInputDataFlowNode getRawKeyValueConsumer() { none() }
   }
 
   class KeyGeneratorCipherAlgorithm extends CipherStringLiteralAlgorithmInstance {

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