🥇Издаване на PHPStan 1.0, статичен анализатор за код на PHP

След шест години разработка, PHPStan 1.0, статичен анализатор, който позволява откриването на грешки в кода на PHP без изпълнение и използване на unit тестове, най-накрая достигна до първото си стабилно издание. Проектът е написан на PHP и е лицензиран под MIT.

Анализаторът предлага 10 нива на проверка, където всяко следващо ниво разширява възможностите на предишното и предоставя по-строги проверки:

Основни проверки, определяне на неизвестни класове, функции и методи ($this), неопределени променливи, както и предаване на неправилно количество аргументи.

Идентификация на вероятно неопределени променливи, неизвестни магически методи и свойства на класове с __call и __get.

Идентификация на неизвестни методи в всички изрази, без ограничение до извикването чрез $this. Проверка на PHPDocs.

Проверка на възвращаемите типове и задаване на типове за свойства.

Основно откриване на "мъртъв" (никога не извикван) код. Откриване на извиквания на instanceof, които винаги връщат стойност false, никога не сработващи блокове "else" и код след return.

Проверка на типовете аргументи, предавани в методи и функции.

Предупреждение за отсъствие на анотации с информация за типове.

Предупреждение за неправилни union типове, определящи колекции от два или повече типа.

Предупреждение за извикване на методи и достъп до свойства с типове "nullable".

Проверка на използването на тип "mixed".

Примери на основни проблеми, които могат да бъдат открити:

Съществуването на класове, използвани в instanceof, catch, typehints и други езикови конструкции.
Съществуването и достъпността на извиквани методи и функции, както и на броя на предаваните аргументи.
Проверка за връщане от метод данни със същия тип, който е определен в израза return.
Съществуването и видимостта на свойствата, към които се извършва достъп, както и проверка на декларираните и реалните типове данни, използвани в свойствата.
Коректност на броя на параметрите, предавани в извиквания sprintf/printf в блока на форматиране на низове.
Съществуването на променливи, с оглед на блоковете, формирани от оператори на разклонение и цикли.
Безполезни преобразувания на типове (например, "(string) 'foo'") и строгите проверки ("===" и "!==") на данни с различни типове и операнди, които винаги връщат стойност false.

Ключови нововъведения в PHPStan 1.0:

Реализиран е ниво на проверка "9", извършващо проверки на използването на тип "mixed", предназначено да организира приемането на параметри с различни типове от функциите. Деветото ниво открива небезопасни практики на използване на "mixed", като предаване на стойности от тип "mixed" на друг тип, извикване на методи с тип "mixed" и достъп до неговите свойства, тъй като те могат да не съществуват.
Управление на проверката за идентичност на връщаните стойности за идентични извиквания на функции с използване на анотации @phpstan-pure и @phpstan-impure.
Анализ на типовете в конструкции try-catch-finally с използване на анотации @throws.
Идентификация на определени, но неизползвани вътрешни (private) свойства, методи и константи.
Преминаване на несъвместими callback извиквания в функции за работа с масиви, като array_map и usort.
Инспектиране на типовете за липсващи typehint анотации.
Осигурена е съвместимост на описанията на типовете с PHPDocs, което позволява използването на типове от съобщенията за грешки в PHPDocs.

Източник: opennet.ru

Издание на PHPStan 1.0, статичен анализатор за PHP код