🥇Објавување на PHPStan 1.0, статичен анализатор за PHP код

По шест години развој, се случи првото стабилно издание на статичкиот анализатор PHPStan 1.0, што ви овозможува да пронајдете грешки во PHP-кодот без да го извршите и да користите тестови за единици. Проектниот код е напишан во PHP и дистрибуиран под лиценцата MIT.

Анализаторот обезбедува 10 нивоа на проверка, во кои секое следно ниво ги проширува можностите на претходното и обезбедува построги проверки:

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

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

Откривање на непознати методи во сите изрази, не ограничувајќи се на повици преку $this. Проверка на PHPDocs.

Проверка на типови на враќање и доделување типови на својства.

Основна идентификација на „мртов“ (никогаш повикан) код. Идентификувајте примери на повици кои секогаш враќаат лажни, блокови „други“ што никогаш не се активираат и кодирајте по враќањето.

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

Предупредување за исчезнати типови информации за прибелешки.

Предупредување за неточни типови на синџири што дефинираат збирки од два или повеќе типа.

Предупредување за методите за повикување и пристап до својства со типови „nullable“.

Проверка на употребата на типот „мешан“.

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

Постоењето на класи кои се користат во пример, фаќање, типови и други јазични конструкции.
Постоењето и достапноста на повиканите методи и функции, како и бројот на донесени аргументи.
Проверка дали методот враќа податоци со ист тип како што е дефинирано во повратниот израз.
Постоењето и видливоста на својствата до кои се пристапува и проверка на декларираните и вистинските типови на податоци што се користат во својствата.
Бројот на параметри предадени на повиците sprintf/printf во блокот за форматирање низа е точен.
Постоењето на променливи земајќи ги предвид блоковите формирани од оператори и јамки за разгранување.
Бескорисни типови фрлања (на пр. „(string) „foo“) и строги тестови („===" и „!==") на податоци со различни типови и операнди кои секогаш враќаат неточно.

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

Имплементирано е нивото на проверка „9“, кое ја проверува употребата на типот „мешан“, наменет за организирање на прием на параметри со различни типови од функцијата. Нивото XNUMX ги идентификува небезбедните употреби на „мешано“, како што се пренесување вредности од типот „мешано“ на друг тип, нарекување методи од типот „мешани“ и пристап до неговите својства бидејќи можеби не постојат.
Контролирајте дали повратните вредности се идентични за идентични повици на функции користејќи ги прибелешките @phpstan-pure и @phpstan-impure.
Тип анализа во обиди-фати-конечно конструира користејќи @throws прибелешки.
Идентификација на дефинирани, но неискористени внатрешни (приватни) својства, методи и константи.
Пренесување некомпатибилни повратни повици до функциите на низата како што се array_map и usort.
Инспекција на типови за исчезнати прибелешки за печатење.
Направени декларации за типови компатибилни со PHPDocs, овозможувајќи типови од пораки за грешки да се користат во PHPDocs.

Извор: opennet.ru

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

Додадете коментар Откажи одговор