File tree Expand file tree Collapse file tree 1 file changed +3
-4
lines changed
java/ql/src/experimental/quantum/Analysis Expand file tree Collapse file tree 1 file changed +3
-4
lines changed Original file line number Diff line number Diff line change @@ -14,7 +14,7 @@ import java
1414import experimental.quantum.Language
1515import Crypto:: KeyOpAlg as KeyOpAlg
1616
17- from Crypto:: KeyOperationAlgorithmNode alg , KeyOpAlg:: AlgorithmType algType , string msg
17+ from Crypto:: KeyOperationAlgorithmNode alg , KeyOpAlg:: AlgorithmType algType
1818where
1919 algType = alg .getAlgorithmType ( ) and
2020 (
2525 algType = KeyOpAlg:: TSymmetricCipher ( KeyOpAlg:: RC4 ( ) ) or
2626 algType = KeyOpAlg:: TSymmetricCipher ( KeyOpAlg:: IDEA ( ) ) or
2727 algType = KeyOpAlg:: TSymmetricCipher ( KeyOpAlg:: BLOWFISH ( ) )
28- ) and
29- msg = "Use of unapproved symmetric cipher algorithm or API: " + algType .toString ( ) + "."
30- select alg , msg
28+ )
29+ select alg , "Use of unapproved symmetric cipher algorithm or API: " + algType .toString ( ) + "."
You can’t perform that action at this time.
0 commit comments