From 529128cbdec2bc02f2afaf8be3c635ffe1e50278 Mon Sep 17 00:00:00 2001
From: Nicolas Will <nicolaswill@github.com>
Date: Thu, 8 May 2025 04:20:49 +0200
Subject: [PATCH] Add problem.severity for java analysis queries

---
 .../experimental/quantum/Analysis/KnownWeakKDFIterationCount.ql | 2 +-
 java/ql/src/experimental/quantum/Analysis/ReusedNonce.ql        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/java/ql/src/experimental/quantum/Analysis/KnownWeakKDFIterationCount.ql b/java/ql/src/experimental/quantum/Analysis/KnownWeakKDFIterationCount.ql
index d8d9d125070..2dd5b0b006b 100644
--- a/java/ql/src/experimental/quantum/Analysis/KnownWeakKDFIterationCount.ql
+++ b/java/ql/src/experimental/quantum/Analysis/KnownWeakKDFIterationCount.ql
@@ -3,8 +3,8 @@
  * @description Detects key derivation operations with a known weak iteration count.
  * @id java/quantum/weak-kdf-iteration-count
  * @kind problem
+ * @problem.severity error
  * @precision high
- * @severity problem
  * @tags quantum
  *       experimental
  */
diff --git a/java/ql/src/experimental/quantum/Analysis/ReusedNonce.ql b/java/ql/src/experimental/quantum/Analysis/ReusedNonce.ql
index b7b7c27ec6b..ed2872bb67e 100644
--- a/java/ql/src/experimental/quantum/Analysis/ReusedNonce.ql
+++ b/java/ql/src/experimental/quantum/Analysis/ReusedNonce.ql
@@ -3,8 +3,8 @@
  * @description Reuse of nonce in cryptographic operations can lead to vulnerabilities.
  * @id java/quantum/reused-nonce
  * @kind problem
+ * @problem.severity error
  * @precision medium
- * @severity problem
  * @tags quantum
  *       experimental
  */