We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
For https://psalm.dev/r/3c0c87ee06
Observed: No warnings about tainted input Expected: Should warn, because the calls to exit() will echo the passed in string (e.g. in an html response)
The text was updated successfully, but these errors were encountered:
I found these snippets:
<?php // --taint-analysis // This should be treated as the same type of sink as echo if (rand(0, 1)) { exit($_GET['a']); } else { die($_GET['b']); }
Psalm output (using commit 9837a60): No issues!
Sorry, something went wrong.
559b3d3
No branches or pull requests
For https://psalm.dev/r/3c0c87ee06
Observed: No warnings about tainted input
Expected: Should warn, because the calls to exit() will echo the passed in string (e.g. in an html response)
The text was updated successfully, but these errors were encountered: