Owen Mansel-Chan 7ad570b5f5 Pretty print models in test ...

Otherwise the test output changes when unrelated models are added.

2025-10-29 12:03:32 +00:00

..

BadMacUse

Crypto: Adding bad decrypt then mac order query. Fixes to BadMacOrderMacOnEncryptPlaintext as well.

2025-10-24 12:44:28 -04:00

InsecureOrUnknownNonceSource

Crypto: altering all query IDs in examples to have "examples" in the ID, to make clear the query is not intended for production.

2025-10-17 13:39:50 -04:00

NonceReuse

Pretty print models in test

2025-10-29 12:03:32 +00:00

WeakOrUnknownAsymmetricKeySize

Crypto: more ID renaming to include "examples", fix singleton issues with ql-for-ql, use formatted test for WeakAsymmetricKeyGenSize (add post processing in the qlref), misc expected files updated (test passed locally but on rerun vscode reports failures, known bug with vscode unit tests).

2025-10-17 14:13:53 -04:00

WeakOrUnknownBlockMode

Crypto: Add missing block mode JCA Models, add block mode unit tests

2025-10-17 13:13:14 -04:00

WeakOrUnknownHash

Crypto: altering all query IDs in examples to have "examples" in the ID, to make clear the query is not intended for production.

2025-10-17 13:39:50 -04:00

WeakOrUnknownKDFIterationCount

Crypto: Fix off by one column issue in unit tests.

2025-10-22 15:50:33 -04:00

WeakOrUnknownKDFKeySize

Crypto: altering all query IDs in examples to have "examples" in the ID, to make clear the query is not intended for production.

2025-10-17 13:39:50 -04:00

WeakOrUnknownSymmetricCipher

Crypto: Fixed bug in WeakSymmetricCipher.qll, forgot to not only filter if !=AES but the algorithm must still be a SymmetriCipher algorithm.

2025-10-24 08:16:22 -04:00