Skip to content

Conversation

@paldepind
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the Rust Pull requests that update Rust code label Dec 9, 2025
@paldepind paldepind marked this pull request as ready for review December 9, 2025 13:21
@paldepind paldepind requested a review from a team as a code owner December 9, 2025 13:21
Copilot AI review requested due to automatic review settings December 9, 2025 13:21
@hvitved hvitved merged commit fe18e0e into github:main Dec 9, 2025
18 checks passed
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR accepts updated expected test output files for Rust CodeQL tests, reflecting changes in query behavior or test results.

  • Removes dataflow entries related to specific lifetime analysis scenarios (lines 841 and 851 in lifetime.rs)
  • Adds recognition of the multiplication operator (mul) as a viable callable and taint propagator
  • Updates model and edge references to reflect the new dataflow behavior

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
rust/ql/test/query-tests/security/CWE-825/AccessAfterLifetime.expected Removes dataflow edges and nodes for specific lifetime scenarios, indicating refined lifetime analysis
rust/ql/test/library-tests/dataflow/global/viableCallable.expected Adds the mul operator as a recognized viable callable for dataflow analysis
rust/ql/test/library-tests/dataflow/global/inline-flow.expected Updates dataflow models, edges, and nodes to include taint propagation through the multiplication operator

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@paldepind paldepind deleted the rust/fix-expected branch December 9, 2025 13:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants