Conversation
Collaborator
Author
|
bugbot review |
There was a problem hiding this comment.
✅ Bugbot reviewed your changes and found no new issues!
Comment @cursor review or bugbot run to trigger another review on this PR
Reviewed by Cursor Bugbot for commit 312f31d. Configure here.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Found while connecting Twig templates to the taint analysis from a plugin (see psalm/psalm-plugin-symfony#390).
A taint flow was only reported if the node it reaches a sink from has a location:
getChildNodes()skipped the sink, andreportTaintedFlowOnce()returned early, when that node had none. Yet the issue is reported at the sink's location whenever the sink is in a file whose issues are reported, so the predecessor's location is only needed as a fallback.Psalm's own nodes never reach a sink from a node without location, but a plugin can. A template engine plugin joins the PHP code and a template through location-less nodes (a template's variables, its output), and sends the output into a sink: every such flow was silently dropped, with no issue and no error.
A flow is now reported when either the sink or the node it reaches the sink from has a location: at the sink if its issues are reported, else at that node.
Test:
LocationlessNodeTest, with a plugin passing what is given torelay()to a sink atdeliver()through a location-less node. It fails without this change.TaintTestpasses, apart fromtaintedExecuteQueryMethod, which fails on master too (fixed in #12081), and the plugin event handler tests pass.