Глосарій

Статичний аналіз (PHPStan, Psalm)

Статичний аналіз — автоматична перевірка коду без його виконання. Знаходить помилки типів, недосяжний код, некоректні виклики методів на етапі CI — до того як баг потрапить на продакшн.

PHPStan

Найпопулярніший PHP-аналізатор. 10 рівнів строгості (0-10). Рівень 0 — базові помилки, рівень 9 — перевірка кожного рядка коду на коректність типів.

vendor/bin/phpstan analyse src --level=6

Psalm

Альтернатива від Vimeo. Більш суворий, підтримує @template generics, taint analysis (пошук SQL-ін'єкцій і XSS через потік даних).

Що знаходить

Виклик методу на null-значенні
Передача неправильного типу в функцію
Недосяжний код після return
Невикористані змінні та імпорти
Невичерпні match-вирази