Skip to content

Rust: Include taint steps when generating flow models#21575

Merged
hvitved merged 1 commit intogithub:mainfrom
hvitved:rust/model-generator-taint-steps
Mar 25, 2026
Merged

Rust: Include taint steps when generating flow models#21575
hvitved merged 1 commit intogithub:mainfrom
hvitved:rust/model-generator-taint-steps

Conversation

@hvitved
Copy link
Copy Markdown
Contributor

@hvitved hvitved commented Mar 25, 2026

Aligns Rust model generation with other languages.

@github-actions github-actions bot added the Rust Pull requests that update Rust code label Mar 25, 2026
@hvitved hvitved added the no-change-note-required This PR does not need a change note label Mar 25, 2026
@hvitved hvitved marked this pull request as ready for review March 25, 2026 11:57
@hvitved hvitved requested a review from a team as a code owner March 25, 2026 11:57
@hvitved hvitved requested review from Copilot and paldepind March 25, 2026 11:57
Copy link
Copy Markdown
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 updates the Rust model generator so that it includes additional taint-step edges when generating flow models, bringing Rust in line with the model generation behavior used in other languages.

Changes:

  • Implemented isAdditionalContentFlowStep to incorporate Rust’s default additional taint steps.
  • Excluded RustDataFlow::readStep edges from those additional taint steps.

@hvitved hvitved merged commit c579ec9 into github:main Mar 25, 2026
24 checks passed
@hvitved hvitved deleted the rust/model-generator-taint-steps branch March 25, 2026 13:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants