Nicolas Will
|
d4787520fd
|
Merge pull request #20690 from bdrodes/weak_symmetric_cipher_bug
Crypto: Fix bug in weak symmetric cipher query
|
2025-10-24 22:38:07 +02:00 |
|
REDMOND\brodes
|
0e624f51d5
|
Crypto: Adding bad decrypt then mac order query. Fixes to BadMacOrderMacOnEncryptPlaintext as well.
|
2025-10-24 12:44:28 -04:00 |
|
REDMOND\brodes
|
ed492c7d5a
|
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 |
|
REDMOND\brodes
|
08379393b3
|
Crypto: Fix off by one column issue in unit tests.
|
2025-10-22 15:50:33 -04:00 |
|
REDMOND\brodes
|
3561d01144
|
Crytpo: Trying to fix in pipeline test failure, experimentally altering a line to see if this forces the test to pass. The test is off by one column in the piepline
|
2025-10-22 14:16:12 -04:00 |
|
REDMOND\brodes
|
dd60cf9395
|
Crypto: Adjust output of bad mac order queries, update associated bad mac order expected results, fix erroneous change to ID for a slicing query, update model to specify elliptic curve type as a property, update associated graph test expected files, update the not_included_in_qls.expected to reflect all queries now under quantum.
|
2025-10-22 10:29:31 -04:00 |
|
REDMOND\brodes
|
ddeb42cddb
|
Crypto: Adding false positive to BadMacUse.java, we have no way to avoid this FP currently but should note it exists in the test case.
|
2025-10-21 11:04:57 -04:00 |
|
Ben Rodes
|
2b683c210f
|
Merge branch 'main' into santander-java-crypto-check
|
2025-10-18 17:56:43 -04:00 |
|
REDMOND\brodes
|
c01c060476
|
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 |
|
REDMOND\brodes
|
540daa6df2
|
Crypto: weak symmetric cipher tests.
|
2025-10-17 13:40:15 -04:00 |
|
REDMOND\brodes
|
b06e05362b
|
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 |
|
REDMOND\brodes
|
f480d90a68
|
Crypto: Add missing block mode JCA Models, add block mode unit tests
|
2025-10-17 13:13:14 -04:00 |
|
REDMOND\brodes
|
e12734162f
|
Crypto: WeakKDFKeySize tests.
|
2025-10-17 12:32:24 -04:00 |
|
REDMOND\brodes
|
628bab92fc
|
Crypto: Modify BadMacOrderMacOnEncryptPlaintext to be a path query that traces through any intermediate encrypt or mac to the final encrypt or mac.
|
2025-10-17 12:06:34 -04:00 |
|
REDMOND\brodes
|
5923e5cbb0
|
Crypto: Bad expected files in last push.
|
2025-10-16 15:45:27 -04:00 |
|
REDMOND\brodes
|
700f34e53a
|
Crypto: Bad Mac use tests, and fix for BadMacOrderMacOnEncryptPlaintext (barriers were blocking flow through an encrypt to a subsequent mac on the same plaintext)
|
2025-10-16 15:44:57 -04:00 |
|
REDMOND\brodes
|
b9b0037e07
|
Crypto: Comment todo for observed missing modeled case. Tests for weak and unknown KDF iteration count.
|
2025-10-16 14:07:45 -04:00 |
|
REDMOND\brodes
|
3f36b09b3c
|
Crypto: Rename tests for weak asymmetric key gen size.
|
2025-10-16 11:18:36 -04:00 |
|
REDMOND\brodes
|
d2598d4f5d
|
Crypto: Updating weak hash tests
|
2025-10-16 10:56:08 -04:00 |
|
REDMOND\brodes
|
4860034d41
|
Crypto: Weak Hash test cases update and expected file.
|
2025-10-16 10:40:53 -04:00 |
|
REDMOND\brodes
|
7e8acd76c3
|
Crypto: Update WeakAsymmetricKeyGenSize to a path problem.
|
2025-10-13 15:48:32 -04:00 |
|
REDMOND\brodes
|
8b5a42328e
|
Crypto: Convert ReusedNonce.ql into a path problem.
|
2025-10-13 15:34:41 -04:00 |
|
REDMOND\brodes
|
76128ed8dc
|
Crypto: Update InsecureIVorNonce to be a path problem.
|
2025-10-13 15:29:57 -04:00 |
|
REDMOND\brodes
|
bd068c2a69
|
Crypto: Updating expected file for weak asymmetric key gen size.
|
2025-10-13 12:08:07 -04:00 |
|
REDMOND\brodes
|
4b241d7065
|
Crypto: adding initial weak hash query overhaul and tests, but no expected file yet.
|
2025-10-13 12:04:51 -04:00 |
|
Joe Farebrother
|
c4781146c0
|
Remove experimental query and tests
|
2025-10-13 14:51:10 +01:00 |
|
REDMOND\brodes
|
36673659ad
|
Crypto: Weak asymmetric key gen size fixes and test.
|
2025-10-10 14:49:35 -04:00 |
|
REDMOND\brodes
|
758759a304
|
Crypto: Reused nonce query updates and test updates to address false positives.
|
2025-10-10 12:25:31 -04:00 |
|
REDMOND\brodes
|
fba80870a6
|
Crypto: Example query reorg - moving queries of this PR into 'examples' subdirectories.
|
2025-10-09 09:03:00 -04:00 |
|
REDMOND\brodes
|
f524de4afc
|
Crypto: Updating insecure iv/nonce to consider if an operation is known for it, and if so do not alert on non-secure random if it is tied to decryption
|
2025-10-08 16:27:18 -04:00 |
|
REDMOND\brodes
|
7a57496c54
|
Crypto: Missing test update.
|
2025-10-08 14:16:47 -04:00 |
|
REDMOND\brodes
|
11e81395b5
|
Crypto: Updated default flows to use taint tracking (this is needed to fix false positives in the unknown IV/Nonce query). Add the unknown IV/Nonce query and associated test cases. Fix unknown IV/Nonce query to focus on cases where the oepration isn't known or the operation subtype is not encrypt or wrap.
|
2025-10-08 14:14:17 -04:00 |
|
REDMOND\brodes
|
83ff70bcd8
|
Crypto: Adding tests for insecure iv or nonce. Updating generic literal sources to include array literals.
|
2025-10-08 12:47:58 -04:00 |
|
Nicolas Will
|
15e9bb9cc1
|
Format Test and update .expected
|
2025-10-06 16:29:25 +02:00 |
|
Ben Rodes
|
e823d80f0c
|
Merge branch 'main' into java_nonce_reuse_tests
|
2025-10-02 13:31:40 -04:00 |
|
REDMOND\brodes
|
30a07763e8
|
Crypto: Copilot suggested code changes.
|
2025-08-20 13:28:28 -04:00 |
|
REDMOND\brodes
|
33aa6c94df
|
Crypto: Adding tests for reuse nonce query for JAVA/JCA.
|
2025-08-20 13:21:18 -04:00 |
|
Jami Cogswell
|
0dbddbdf0f
|
Java: remove experimental files
|
2025-07-17 19:22:03 -04:00 |
|
Jami Cogswell
|
e17486a9d8
|
Java: rename springframework stubs directory from 5.3.8 to 5.8.x
|
2025-03-11 15:20:58 -04:00 |
|
Jami Cogswell
|
5e5bc2afe9
|
Java: remove experimental files
|
2025-02-24 18:24:19 -05:00 |
|
Jami Cogswell
|
61a184c1d7
|
Java: update more tests
|
2025-02-14 16:08:06 -05:00 |
|
Michael Nebel
|
999f1f21e2
|
Java: Accept expected test output.
|
2025-01-27 10:22:20 +01:00 |
|
Michael Nebel
|
e3997f65ed
|
Java: Deprecate experimental queries.
|
2025-01-27 10:22:16 +01:00 |
|
Michael Nebel
|
0a1d2d0bbb
|
Java: Update all test util paths to point to the new location.
|
2024-12-12 13:21:25 +01:00 |
|
Tom Hvitved
|
95e9d013cc
|
Update expected test output
|
2024-11-04 12:07:06 +01:00 |
|
Tom Hvitved
|
6a11120e50
|
Address review comments
|
2024-09-24 14:21:40 +02:00 |
|
Tom Hvitved
|
f287216060
|
Update expected test output
|
2024-09-24 14:21:38 +02:00 |
|
Tom Hvitved
|
ed9008a064
|
Update expected test output
|
2024-09-18 13:51:02 +02:00 |
|
Asger F
|
9703f67794
|
Test output updates that only affect nodes/edges
|
2024-08-23 11:03:26 +02:00 |
|
Anders Schack-Mulligen
|
d97a301fef
|
Merge pull request #17105 from aschackmull/dataflow/stage6
Dataflow: Refactor stage 6 to use shared stage code.
|
2024-08-22 09:46:49 +02:00 |
|