Skip to content

Crypto: Update JCA model to account for Model.qll changes.

2b6a832
Select commit
Loading
Failed to load commit list.
Closed

Openssl acronym normalization #19785

Crypto: Update JCA model to account for Model.qll changes.
2b6a832
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Jun 16, 2025 in 7s

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

  • 5 warnings

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 92 in cpp/ql/lib/experimental/quantum/Language.qll

See this annotation in the file changed.

Code scanning / CodeQL

Suggest using non-extending subtype relationships. Warning

Consider defining this class as non-extending subtype of
OpenSslGenericSourceCandidateLiteral
.

Check warning on line 190 in cpp/ql/lib/experimental/quantum/OpenSSL/Operations/EVPCipherOperation.qll

See this annotation in the file changed.

Code scanning / CodeQL

Class QLDoc style. Warning

The QLDoc for a class should start with 'A', 'An', or 'The'.

Check warning on line 74 in cpp/ql/lib/experimental/quantum/OpenSSL/Operations/OpenSSLOperationBase.qll

See this annotation in the file changed.

Code scanning / CodeQL

Class QLDoc style. Warning

The QLDoc for a class should start with 'A', 'An', or 'The'.

Check warning on line 120 in cpp/ql/lib/experimental/quantum/OpenSSL/Operations/OpenSSLOperationBase.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant override Warning

Redundant override of
this predicate
.

Check warning on line 1057 in shared/quantum/codeql/quantum/experimental/Model.qll

See this annotation in the file changed.

Code scanning / CodeQL

Class QLDoc style. Warning

The QLDoc for a class should start with 'A', 'An', or 'The'.