From 579da1dbd614d6208a8799f1b67735a56dadd24c Mon Sep 17 00:00:00 2001 From: Nicolas Will Date: Mon, 6 Oct 2025 14:45:45 +0200 Subject: [PATCH] Fix QL-for-QL alerts --- java/ql/lib/experimental/quantum/JCA.qll | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/java/ql/lib/experimental/quantum/JCA.qll b/java/ql/lib/experimental/quantum/JCA.qll index baeed8b1b43..45a707febc2 100644 --- a/java/ql/lib/experimental/quantum/JCA.qll +++ b/java/ql/lib/experimental/quantum/JCA.qll @@ -249,14 +249,14 @@ module JCAModel { name.toUpperCase().splitAt("with".toUpperCase(), 1).matches("DSA%") and type = KeyOpAlg::TSignature(KeyOpAlg::DSA()) or - name.toUpperCase().matches("RSASSA-PSS") and type = KeyOpAlg::TAsymmetricCipher(KeyOpAlg::RSA()) + name.toUpperCase() = "RSASSA-PSS" and type = KeyOpAlg::TAsymmetricCipher(KeyOpAlg::RSA()) or name.toUpperCase().matches(["EDDSA", "ED25519", "ED448"]) and type = KeyOpAlg::TSignature(KeyOpAlg::EDDSA()) or name.toUpperCase().matches("ML-DSA%") and type = KeyOpAlg::TSignature(KeyOpAlg::DSA()) or - name.toUpperCase().matches("HSS/LMS") and type = KeyOpAlg::TSignature(KeyOpAlg::HSS_LMS()) + name.toUpperCase() = "HSS/LMS" and type = KeyOpAlg::TSignature(KeyOpAlg::HSS_LMS()) } bindingset[name] @@ -1814,9 +1814,9 @@ module JCAModel { } } - class SignatureOperationinstance extends Crypto::SignatureOperationInstance instanceof SignatureOperationCall + class SignatureOperationInstance extends Crypto::SignatureOperationInstance instanceof SignatureOperationCall { - SignatureOperationinstance() { + SignatureOperationInstance() { // exclude update (only include sign and verify) not super.isIntermediate() }