Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php // --taint-analysis trait SomeTrait { private function check(): void { if ($subject instanceof \Vendor\NonExitstingInterface && $subject instanceof \Traversable) { // @todo ForeachAnalyzer:768 `$codebase->classImplements` causes exception foreach ($subject as $items) {} } } } class SomeConsumer { use SomeTrait; }
Snippet created on June 22 2021 at 20:28 UTC
Settings
Get link