Skip to content

Conversation

@michaelnebel
Copy link
Contributor

This is a follow up of #10444
There is flow from "taint" to the field field on post-update node for x in the call to taint_field.

def taint_field x
  x.field = "taint"
end

taint_field(y = x)
sink(x.field)

@michaelnebel michaelnebel force-pushed the ruby/postupdateassignexpr branch from cd5ca66 to dd0f19d Compare September 29, 2022 12:12
@michaelnebel michaelnebel marked this pull request as ready for review September 29, 2022 12:33
@michaelnebel michaelnebel requested a review from a team as a code owner September 29, 2022 12:33
@michaelnebel michaelnebel added the no-change-note-required This PR does not need a change note label Sep 29, 2022
Copy link
Contributor

@hvitved hvitved left a comment

Choose a reason for hiding this comment

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

Thanks, LGTM. Let's see what DCA says.

@michaelnebel
Copy link
Contributor Author

DCA doesn't show any change in alerts or any signs of performance regressions.

@michaelnebel michaelnebel merged commit 82294c1 into github:main Sep 30, 2022
@michaelnebel michaelnebel deleted the ruby/postupdateassignexpr branch September 30, 2022 08:00
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 Ruby

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants