Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 4, 2026

• Java: Update test expectations

  owen-mc

  committed
  05a77a2

  Copy full SHA for 05a77a2

• Java: Inline expectation should have space after $

  Show description for ef345a3
  owen-mc

  committed
  ef345a3

  Copy full SHA for ef345a3

Commits on Oct 29, 2025

• Pretty print models in test

  Show description for 7ad570b
  owen-mc

  committed
  7ad570b

  Copy full SHA for 7ad570b

Commits on Oct 24, 2025

• Merge pull request #20690 from bdrodes/weak_symmetric_cipher_bug

  Show description for d478752
  nicolaswill

  authored
  d478752

  Copy full SHA for d478752

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

  bdrodes

  committed
  0e624f5

  Copy full SHA for 0e624f5

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

  bdrodes

  committed
  ed492c7

  Copy full SHA for ed492c7

Commits on Oct 22, 2025

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

  bdrodes

  committed
  0837939

  Copy full SHA for 0837939

• 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

  bdrodes

  committed
  3561d01

  Copy full SHA for 3561d01

• 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 pr…

  Show description for dd60cf9
  bdrodes

  committed
  dd60cf9

  Copy full SHA for dd60cf9

Commits on Oct 21, 2025

• 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.

  bdrodes

  committed
  ddeb42c

  Copy full SHA for ddeb42c

Commits on Oct 17, 2025

• 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 …

  Show description for c01c060
  bdrodes

  committed
  c01c060

  Copy full SHA for c01c060

• Crypto: weak symmetric cipher tests.

  bdrodes

  committed
  540daa6

  Copy full SHA for 540daa6

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

  bdrodes

  committed
  b06e053

  Copy full SHA for b06e053

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

  bdrodes

  committed
  f480d90

  Copy full SHA for f480d90

• Crypto: WeakKDFKeySize tests.

  bdrodes

  committed
  e127341

  Copy full SHA for e127341

• Crypto: Modify BadMacOrderMacOnEncryptPlaintext to be a path query that traces through any intermediate encrypt or mac to the final encrypt or mac.

  bdrodes

  committed
  628bab9

  Copy full SHA for 628bab9

Commits on Oct 16, 2025

• Crypto: Bad expected files in last push.

  bdrodes

  committed
  5923e5c

  Copy full SHA for 5923e5c

• Crypto: Bad Mac use tests, and fix for BadMacOrderMacOnEncryptPlaintext (barriers were blocking flow through an encrypt to a subsequent mac on the same plaintext)

  bdrodes

  committed
  700f34e

  Copy full SHA for 700f34e

• Crypto: Comment todo for observed missing modeled case. Tests for weak and unknown KDF iteration count.

  bdrodes

  committed
  b9b0037

  Copy full SHA for b9b0037

• Crypto: Rename tests for weak asymmetric key gen size.

  bdrodes

  committed
  3f36b09

  Copy full SHA for 3f36b09

• Crypto: Updating weak hash tests

  bdrodes

  committed
  d2598d4

  Copy full SHA for d2598d4

• Crypto: Weak Hash test cases update and expected file.

  bdrodes

  committed
  4860034

  Copy full SHA for 4860034

Commits on Oct 13, 2025

• Crypto: Update WeakAsymmetricKeyGenSize to a path problem.

  bdrodes

  committed
  7e8acd7

  Copy full SHA for 7e8acd7

• Crypto: Convert ReusedNonce.ql into a path problem.

  bdrodes

  committed
  8b5a423

  Copy full SHA for 8b5a423

• Crypto: Update InsecureIVorNonce to be a path problem.

  bdrodes

  committed
  76128ed

  Copy full SHA for 76128ed

• Crypto: Updating expected file for weak asymmetric key gen size.

  bdrodes

  committed
  bd068c2

  Copy full SHA for bd068c2

• Crypto: adding initial weak hash query overhaul and tests, but no expected file yet.

  bdrodes

  committed
  4b241d7

  Copy full SHA for 4b241d7

Commits on Oct 10, 2025

• Crypto: Weak asymmetric key gen size fixes and test.

  bdrodes

  committed
  3667365

  Copy full SHA for 3667365

• Crypto: Reused nonce query updates and test updates to address false positives.

  bdrodes

  committed
  758759a

  Copy full SHA for 758759a

Commits on Oct 9, 2025

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

  bdrodes

  committed
  fba8087

  Copy full SHA for fba8087

Commits on Oct 8, 2025

• 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

  bdrodes

  committed
  f524de4

  Copy full SHA for f524de4

• Crypto: Missing test update.

  bdrodes

  committed
  7a57496

  Copy full SHA for 7a57496

• 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/N…

  Show description for 11e8139
  bdrodes

  committed
  11e8139

  Copy full SHA for 11e8139

• Crypto: Adding tests for insecure iv or nonce. Updating generic literal sources to include array literals.

  bdrodes

  committed
  83ff70b

  Copy full SHA for 83ff70b

Commits on Oct 6, 2025

• Format Test and update .expected

  nicolaswill

  committed
  15e9bb9

  Copy full SHA for 15e9bb9