Crypto: Remove all precision tags from all experimental queries. Precision is largely in flux while the models are being developed.

Author: bdrodes

java/ql/src/experimental/quantum/Examples/BadMacOrderDecryptToMac.ql

@@ -4,7 +4,6 @@
  * @id java/quantum/bad-mac-order-decrypt-to-mac
  * @kind path-problem
  * @problem.severity error
- * @precision high
  * @tags quantum
  *       experimental
  */

java/ql/src/experimental/quantum/Examples/BadMacOrderMacOnEncryptPlaintext.ql

@@ -4,7 +4,6 @@
  * @id java/quantum/bad-mac-order-encrypt-plaintext-also-in-mac
  * @kind problem
  * @problem.severity error
- * @precision high
  * @tags quantum
  *       experimental
  */

java/ql/src/experimental/quantum/Examples/InsecureIVorNonceSource.ql

@@ -8,7 +8,6 @@
  *              as the nonce/iv would be provided alongside the ciphertext).
  * @kind path-problem
  * @problem.severity error
- * @precision high
  * @tags quantum
  *       experimental
  */

java/ql/src/experimental/quantum/Examples/ReusedNonce.ql

@@ -4,7 +4,6 @@
  * @id java/quantum/reused-nonce
  * @kind path-problem
  * @problem.severity error
- * @precision high
  * @tags quantum
  *       experimental
  */

java/ql/src/experimental/quantum/Examples/UnknownHash.ql

@@ -4,7 +4,6 @@
  * @id java/quantum/unknown-hash
  * @kind problem
  * @problem.severity error
- * @precision high
  * @tags quantum
  *       experimental
  */

java/ql/src/experimental/quantum/Examples/UnknownIVorNonceSource.ql

@@ -7,7 +7,6 @@
  *              These cases are ignored.
  * @kind problem
  * @problem.severity error
- * @precision high
  * @tags quantum
  *       experimental
  */

java/ql/src/experimental/quantum/Examples/UnknownKDFIterationCount.ql

@@ -3,7 +3,6 @@
  * @description Detects key derivation operations with an unknown iteration count.
  * @id java/quantum/unknown-kdf-iteration-count
  * @kind problem
- * @precision medium
  * @problem.severity error
  * @tags quantum
  *       experimental

java/ql/src/experimental/quantum/Examples/WeakAsymmetricKeyGenSize.ql

@@ -4,7 +4,6 @@
  * @description An asymmetric key of known size is less than 2048 bits for any non-elliptic curve key operation.
  * @kind path-problem
  * @problem.severity error
- * @precision high
  * @tags quantum
  *       experimental
  */

java/ql/src/experimental/quantum/Examples/WeakBlockModes.ql

@@ -4,7 +4,6 @@
  * @description An AES cipher is in use with an insecure block mode
  * @kind problem
  * @problem.severity error
- * @precision high
  * @tags quantum
  *       experimental
  */

java/ql/src/experimental/quantum/Examples/WeakHash.ql

@@ -4,7 +4,6 @@
  * @id java/quantum/weak-hash
  * @kind problem
  * @problem.severity error
- * @precision high
  * @tags external/cwe/cwe-327
  *       quantum
  *       experimental