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

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

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

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

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

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

Проверка на върнати типове и присвояване на типове на свойства.

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

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

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

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

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

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

Примери за идентифицирани основни проблеми:

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

Ключови иновации в PHPStan 1.0:

Реализирано е ниво на проверка „9“, което проверява използването на „смесен“ тип, предназначен за организиране на приемането от функцията на параметри с различни типове. Ниво XNUMX идентифицира опасни употреби на „смесен“, като предаване на стойности от тип „смесен“ към друг тип, извикване на методи от тип „смесен“ и достъп до неговите свойства, защото те може да не съществуват.
Контролирайте дали върнатите стойности са идентични за идентични извиквания на функции, като използвате анотациите @phpstan-pure и @phpstan-impure.
Анализ на типа в конструкции try-catch-finally, използващи анотации @throws.
Идентифициране на дефинирани, но неизползвани вътрешни (частни) свойства, методи и константи.
Предаване на несъвместими обратни извиквания към функции за масиви като array_map и usort.
Проверка на типа за липсващи пояснения за подсказване на типа.
Направих декларации за типове съвместими с PHPDocs, позволявайки типове от съобщения за грешка да се използват в PHPDocs.

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

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

Добавяне на нов коментар

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

Добавяне на нов коментар Отказване на отговора

Добавяне на нов коментар