Skip to content

Data flow: Add aliases for removing `DataFlow` prefixes

0f52fe9
Select commit
Loading
Failed to load commit list.
Merged

Data flow: Add aliases for removing DataFlow prefixes #18682

Data flow: Add aliases for removing `DataFlow` prefixes
0f52fe9
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Feb 5, 2025 in 5s

4 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 4 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 (cpp-swift-analysis.yml)

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

New alerts in code changed by this pull request

  • 8 warnings

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 2655 in shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

See this annotation in the file changed.

Code scanning / CodeQL

Candidate predicate not marked as `nomagic` Warning

Candidate predicate to
reducedViableImplInCallContext
is not marked as nomagic.
Candidate predicate to
reducedViableImplInCallContext
is not marked as nomagic.

Check warning on line 2658 in shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

See this annotation in the file changed.

Code scanning / CodeQL

Candidate predicate not marked as `nomagic` Warning

Candidate predicate to
reducedViableImplInReturn
is not marked as nomagic.
Candidate predicate to
reducedViableImplInReturn
is not marked as nomagic.

Check warning on line 3029 in shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

See this annotation in the file changed.

Code scanning / CodeQL

Candidate predicate not marked as `nomagic` Warning

Candidate predicate to
reducedViableImplInCallContext
is not marked as nomagic.
Candidate predicate to
reducedViableImplInCallContext
is not marked as nomagic.

Check warning on line 3032 in shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

See this annotation in the file changed.

Code scanning / CodeQL

Candidate predicate not marked as `nomagic` Warning

Candidate predicate to
reducedViableImplInReturn
is not marked as nomagic.
Candidate predicate to
reducedViableImplInReturn
is not marked as nomagic.

Check warning on line 3222 in shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

See this annotation in the file changed.

Code scanning / CodeQL

Candidate predicate not marked as `nomagic` Warning

Candidate predicate to
reducedViableImplInCallContext
is not marked as nomagic.
Candidate predicate to
reducedViableImplInCallContext
is not marked as nomagic.

Check warning on line 3225 in shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

See this annotation in the file changed.

Code scanning / CodeQL

Candidate predicate not marked as `nomagic` Warning

Candidate predicate to
reducedViableImplInReturn
is not marked as nomagic.
Candidate predicate to
reducedViableImplInReturn
is not marked as nomagic.

Check warning on line 424 in shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll

See this annotation in the file changed.

Code scanning / CodeQL

Candidate predicate not marked as `nomagic` Warning

Candidate predicate to
reducedViableImplInCallContext
is not marked as nomagic.
Candidate predicate to
reducedViableImplInCallContext
is not marked as nomagic.

Check warning on line 434 in shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll

See this annotation in the file changed.

Code scanning / CodeQL

Candidate predicate not marked as `nomagic` Warning

Candidate predicate to
reducedViableImplInReturn
is not marked as nomagic.
Candidate predicate to
reducedViableImplInReturn
is not marked as nomagic.