Commits

Breadcrumbs

History for

ona64a24d

User selector

All users

All time

Commit History

Commits on Oct 16, 2025

• Crypto: Comment in Language.qll

  bdrodes

  committed
  a64a24d

  Copy full SHA for a64a24d

Commits on Oct 15, 2025

• crypto: Update JCA model macs to take into consideration update calls (use prior pattern for signatures). Misc. bug fixes.

  bdrodes

  committed
  25599e9

  Copy full SHA for 25599e9

• Crypto: To get unreferenced parameters as general sources for Java, I've included the caveat that if a function is called, all the calls appear to be in test files.

  bdrodes

  committed
  9a6aac1

  Copy full SHA for 9a6aac1

• Crytpo: Update JCA keyagreement to type conversion, XDH is a type of ECDH.

  bdrodes

  committed
  ee08385

  Copy full SHA for ee08385

Commits on Oct 13, 2025

• Crypto: Update InsecureIVorNonce to be a path problem.

  bdrodes

  committed
  76128ed

  Copy full SHA for 76128ed

• Crypto: Adding a "javaConstant" concept to handle config files.

  bdrodes

  committed
  08abdb8

  Copy full SHA for 08abdb8

Commits on Oct 10, 2025

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

  bdrodes

  committed
  3667365

  Copy full SHA for 3667365

Commits on Oct 9, 2025

• Crypto: Fix QL-for-QL alert and auto-format

  nicolaswill

  committed
  fdba3ac

  Copy full SHA for fdba3ac

Commits on Oct 8, 2025

• 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

• Crypto: Removing JCA model of random, need to reassess this as this impacts the insecure IV/Nonce query. Updated name of the Insecure nonce query to be InsecureIVorNonce

  bdrodes

  committed
  bd34b6c

  Copy full SHA for bd34b6c

• Crypto: Standardize naming where use of "family" and "type" have been used. Prefer 'type'.

  bdrodes

  committed
  cf88e3f

  Copy full SHA for cf88e3f

Commits on Oct 6, 2025

• Update java/ql/lib/experimental/quantum/JCA.qll

  Show description for b32a640
  

  bdrodes

  and

  nicolaswill

  authored
  b32a640

  Copy full SHA for b32a640

• Fix QL-for-QL alerts

  nicolaswill

  committed
  579da1d

  Copy full SHA for 579da1d

Commits on Oct 3, 2025

• Crypto: Updating algorithm string literals and key generation algorithm literal sources to include signatures.

  bdrodes

  committed
  9fa30a3

  Copy full SHA for 9fa30a3

• Crypto: Add missing string constants for signature algorithms.

  bdrodes

  committed
  9c5765a

  Copy full SHA for 9c5765a

• Crypto: Add modeling for JCA signatures. Make consistent use of "unknown" or "other" for unrecognized types.

  bdrodes

  committed
  f1eb651

  Copy full SHA for f1eb651

Commits on Oct 2, 2025

• Crypto: JCA random number generation model.

  bdrodes

  committed
  a46bd4c

  Copy full SHA for a46bd4c

• Crypto: Refactor and change casts to `super`

  nicolaswill

  committed
  4901cdf

  Copy full SHA for 4901cdf

• Crypto: Update JCA 'wihHmac" raw name to be the entire raw string, not just "Hmac"

  bdrodes

  committed
  9673b81

  Copy full SHA for 9673b81

• Crypto: Update JCA PBKDF2 modeling: 1) add further inheritance structures to make the inheritance decomposition and caveats clearer, and 2) use getConsumer to establish the hash and hmac consumer. …

  Show description for 704a06e
  bdrodes

  committed
  704a06e

  Copy full SHA for 704a06e

• Crypto: Fix use of a member where a singleton set literal exists

  bdrodes

  committed
  850c1ec

  Copy full SHA for 850c1ec

• Crypto: Fix missing output variable

  bdrodes

  committed
  b08533b

  Copy full SHA for b08533b

• Merge branch 'signature_model_refactor' of https://github.com/bdrodes/codeql into signature_model_refactor

  bdrodes

  committed
  c37b7c1

  Copy full SHA for c37b7c1

• Crypto: Missing casing fix for JCA classes

  bdrodes

  committed
  38421ce

  Copy full SHA for 38421ce

• Merge branch 'main' into signature_model_refactor

  bdrodes

  authored
  d251b3f

  Copy full SHA for d251b3f

• Crypto: Fixing JCA class naming casing for PBKDF2 classes.

  bdrodes

  committed
  329a7de

  Copy full SHA for 329a7de

Commits on Oct 1, 2025

• Crypto: Fix for non-monotonic recursion in JCA

  bdrodes

  committed
  d49efef

  Copy full SHA for d49efef

• Crypto: Adding necessary model interfaces for MacOperationCall in JCA.

  bdrodes

  committed
  92dac03

  Copy full SHA for 92dac03

Commits on Sep 1, 2025

• Java: Fix some Ql4Ql violations.

  michaelnebel

  committed
  77113b2

  Copy full SHA for 77113b2

Commits on Jul 1, 2025

• Crypto: remove JCA bad import.

  bdrodes

  committed
  ff93045

  Copy full SHA for ff93045

• Crypto: Intermediate JCA updates to support new MAC model. Work in progress.

  bdrodes

  committed
  88d36aa

  Copy full SHA for 88d36aa

Commits on Jun 27, 2025

• Merge branch 'main' into operation_step_refactor

  nicolaswill

  authored
  976364f

  Copy full SHA for 976364f

• Merge pull request #19779 from github/kaspersv/overlay-java-annotations

  Show description for da1b99b
  kaspersv

  authored
  da1b99b

  Copy full SHA for da1b99b

Commits on Jun 26, 2025

• Crypto: Minor change to force CI/CD checks to restart, prior ql check failures do not make sense.

  bdrodes

  committed
  0aee4f7

  Copy full SHA for 0aee4f7