Skip to content

Shared: Sprinkle some predicate defaults and clean up.

c9d01bc
Select commit
Loading
Failed to load commit list.
Merged

Shared: Re-factor summary, source and sink model generators into separate modules. #19382

Shared: Sprinkle some predicate defaults and clean up.
c9d01bc
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Apr 29, 2025 in 2s

5 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 5 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

Actions workflow (cpp-swift-analysis.yml)

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

New alerts in code changed by this pull request

  • 2 warnings

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 13 in cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll

See this annotation in the file changed.

Code scanning / CodeQL

Names only differing by case Warning

Tt is only different by casing from TT that is used elsewhere for modules.

Check warning on line 14 in cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll

See this annotation in the file changed.

Code scanning / CodeQL

Names only differing by case Warning

Df is only different by casing from DF that is used elsewhere for modules.