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

This commit is contained in:
REDMOND\brodes
2025-06-25 13:55:47 -04:00
parent f9147cfb2b
commit 8280cbcaa1

View File

@@ -1105,6 +1105,8 @@ module JCAModel {
}
override int getKeySizeFixed() { none() }
override Crypto::ConsumerInputDataFlowNode getRawKeyValueConsumer() { none() }
}
class KeyGeneratorCipherAlgorithm extends CipherStringLiteralAlgorithmInstance {