Crypto: removing precision tags on experimental queries.

2025-12-16 16:53:25 +01:00 · 2025-10-17 10:52:32 -04:00
parent ef6f0222f2
commit ff7840dc9f
2 changed files with 0 additions and 2 deletions
--- a/java/ql/src/experimental/quantum/Examples/BrokenCrypto.ql
+++ b/java/ql/src/experimental/quantum/Examples/BrokenCrypto.ql
@@ -4,7 +4,6 @@
 * @kind problem
 * @problem.severity warning
 * @security-severity 7.5
- * @precision high
 * @id java/weak-cryptographic-algorithm-new-model
 * @tags security
 *       external/cwe/cwe-327
--- a/java/ql/src/experimental/quantum/Examples/NonAESGCMCipher.ql
+++ b/java/ql/src/experimental/quantum/Examples/NonAESGCMCipher.ql
@@ -4,7 +4,6 @@
 * @description An AES cipher is in use without GCM
 * @kind problem
 * @problem.severity error
- * @precision high
 * @tags quantum
 *       experimental
 */