Skip to content

Crypto: Fixed alphabetical ordering issue in not_included_in_qls.expe…

bdad95d
Select commit
Loading
Failed to load commit list.
Merged

Crypto: Add Java Cryptographic Analysis Queries #20605

Crypto: Fixed alphabetical ordering issue in not_included_in_qls.expe…
bdad95d
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Oct 22, 2025 in 9s

6 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 6 configurations present on refs/heads/main were not found:

Actions workflow (rust-analysis.yml)

  • ❓  .github/workflows/rust-analysis.yml:analyze/language:rust

Actions workflow (csv-coverage-metrics.yml)

  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-csharp
  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-java

Actions workflow (codeql-analysis.yml)

  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:actions
  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:csharp

Actions workflow (cpp-swift-analysis.yml)

  • ❓  .github/workflows/cpp-swift-analysis.yml:CodeQL-Build

New alerts in code changed by this pull request

  • 4 warnings

Alerts not introduced by this pull request might have been detected because the code changes were too large.

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 1615 in java/ql/lib/experimental/quantum/JCA.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant override Warning

Redundant override of
this predicate
.

Check warning on line 1621 in java/ql/lib/experimental/quantum/JCA.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant override Warning

Redundant override of
this predicate
.

Check warning on line 1627 in java/ql/lib/experimental/quantum/JCA.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant override Warning

Redundant override of
this predicate
.

Check warning on line 1 in java/ql/test/experimental/query-tests/quantum/examples/NonceReuse/NonceReuse.qlref

See this annotation in the file changed.

Code scanning / CodeQL

Query test without inline test expectations Warning test

Query test does not use inline test expectations.