Crypto: Example query reorg - moving queries of this PR into 'examples' subdirectories.

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

@@ -4,6 +4,7 @@
  * @id java/quantum/unknown-kdf-iteration-count
  * @kind problem
  * @precision medium
+ * @problem.severity error
  * @tags quantum
  *       experimental
  */

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

@@ -12,13 +12,11 @@
 import java
 import experimental.quantum.Language
 
-from Crypto::KeyOperationAlgorithmNode op, DataFlow::Node configSrc, int keySize, string algName
+from Crypto::KeyOperationAlgorithmNode op, int keySize, string algName
 where
   keySize = op.getKeySizeFixed() and
   keySize < 2048 and
   algName = op.getAlgorithmName() and
   // Can't be an elliptic curve
-  not Crypto::isEllipticCurveAlgorithmName(algName)
+  op.getAlgorithmType() != Crypto::KeyOpAlg::AlgorithmType::EllipticCurveType()
-select op,
+select "Use of weak asymmetric key size (" + keySize.toString() + " bits) for algorithm " + algName
-  "Use of weak asymmetric key size (" + keySize.toString() + " bits) for algorithm " +
-    algName.toString() + " at config source $@", configSrc, configSrc.toString()

java/ql/test/experimental/query-tests/quantum/InsecureOrUnknownNonceSource/InsecureIVorNonceSource.qlref

@@ -1,4 +0,0 @@
-query: experimental/quantum/Analysis/InsecureIVorNonceSource.ql
-postprocess:
-  - utils/test/PrettyPrintModels.ql
-  - utils/test/InlineExpectationsTestQuery.ql

java/ql/test/experimental/query-tests/quantum/InsecureOrUnknownNonceSource/UnknownIVorNonceSource.qlref

@@ -1,4 +0,0 @@
-query: experimental/quantum/Analysis/UnknownIVorNonceSource.ql
-postprocess:
-  - utils/test/PrettyPrintModels.ql
-  - utils/test/InlineExpectationsTestQuery.ql

java/ql/test/experimental/query-tests/quantum/NonceReuse/NonceReuse.qlref

@@ -1 +0,0 @@
-experimental/quantum/Analysis/ReusedNonce.ql

java/ql/test/experimental/query-tests/quantum/examples/InsecureOrUnknownNonceSource/InsecureIVorNonceSource.qlref

@@ -0,0 +1,4 @@
+query: experimental/quantum/Examples/InsecureIVorNonceSource.ql
+postprocess:
+  - utils/test/PrettyPrintModels.ql
+  - utils/test/InlineExpectationsTestQuery.ql

java/ql/test/experimental/query-tests/quantum/examples/InsecureOrUnknownNonceSource/UnknownIVorNonceSource.qlref

@@ -0,0 +1,4 @@
+query: experimental/quantum/Examples/UnknownIVorNonceSource.ql
+postprocess:
+  - utils/test/PrettyPrintModels.ql
+  - utils/test/InlineExpectationsTestQuery.ql

java/ql/test/experimental/query-tests/quantum/examples/NonceReuse/NonceReuse.qlref

@@ -0,0 +1 @@
+experimental/quantum/Examples/ReusedNonce.ql