for testing and deploying your application
for finding and fixing issues
for empowering human code reviews
php_analyzer.type_inference.infeasible_condition.generic