{"id":102198,"date":"2021-11-03T03:37:20","date_gmt":"2021-11-03T01:37:20","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-phpstan-1-0-staticheskogo-analizatora-dlya-koda-na-yazyke-php"},"modified":"2021-11-03T03:37:20","modified_gmt":"2021-11-03T01:37:20","slug":"vypusk-phpstan-1-0-staticheskogo-analizatora-dlya-koda-na-yazyke-php","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pl\/blog\/news\/vypusk-phpstan-1-0-staticheskogo-analizatora-dlya-koda-na-yazyke-php","title":{"rendered":"Wydanie PHPStan 1.0, statycznego narz\u0119dzia analizy kodu dla j\u0119zyka PHP.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Po sze\u015bciu latach prac odby\u0142a si\u0119 pierwsza stabilna wersja statycznego analizatora PHPStan 1.0, kt\u00f3ry umo\u017cliwia wykrywanie b\u0142\u0119d\u00f3w w kodzie PHP bez wykonywania go i u\u017cywania test\u00f3w jednostkowych. Kod projektu napisany jest w j\u0119zyku PHP i jest dost\u0119pny na licencji MIT. <\/p>\n
Analizator oferuje 10 poziom\u00f3w sprawdzania, przy czym ka\u017cdy kolejny poziom rozszerza mo\u017cliwo\u015bci poprzedniego i wprowadza surowsze kontrole: <\/p>\n
Podstawowe kontrole, wykrywanie nieznanych klas, funkcji i metod ($this), niezdefiniowanych zmiennych oraz przekazywania b\u0142\u0119dnej liczby argument\u00f3w.\n
Wykrywanie prawdopodobnie niezdefiniowanych zmiennych, nieznanych magicznych metod oraz w\u0142a\u015bciwo\u015bci klas z __call i __get.\n
Wykrywanie nieznanych metod we wszystkich wyra\u017ceniach, nie ograniczaj\u0105c si\u0119 do wywo\u0142a\u0144 przez $this. Sprawdzanie PHPDocs.\n
Sprawdzanie typ\u00f3w zwracanych oraz przypisywania typ\u00f3w w\u0142a\u015bciwo\u015bciom.\n
Podstawowe wykrywanie «martwego» (nigdy niewywo\u0142ywanego) kodu. Wykrywanie wywo\u0142a\u0144 instanceof, kt\u00f3re zawsze zwracaj\u0105 warto\u015b\u0107 false, nigdy nieuruchamianych blok\u00f3w «else» oraz kodu znajduj\u0105cego si\u0119 po return.\n
Sprawdzanie typ\u00f3w argument\u00f3w przekazywanych do metod i funkcji.\n
Ostrze\u017cenie o braku adnotacji z informacjami o typach.\n
Ostrze\u017cenie o niepoprawnych typach union, definiuj\u0105cych kolekcje z dw\u00f3ch i wi\u0119cej typ\u00f3w.\n
Ostrze\u017cenie o wywo\u0142aniu metod i dost\u0119pie do w\u0142a\u015bciwo\u015bci z typami «nullable».\n
Sprawdzanie u\u017cycia typu «mixed».\n
Przyk\u0142ady wykrywanych podstawowych problem\u00f3w: <\/p>\n
\n
Istnienie klas u\u017cywanych w instanceof, catch, typehints i innych konstrukcjach j\u0119zykowych.\n
Istnienie i dost\u0119pno\u015b\u0107 wywo\u0142ywanych metod i funkcji oraz liczba przekazywanych argument\u00f3w.\n
Sprawdzanie, czy metoda zwraca dane tego samego typu, co okre\u015blono w wyra\u017ceniu return.\n
Istnienie i widoczno\u015b\u0107 w\u0142a\u015bciwo\u015bci, do kt\u00f3rych nast\u0119puje odwo\u0142anie, a tak\u017ce sprawdzanie zadeklarowanych i rzeczywistych typ\u00f3w danych u\u017cywanych w w\u0142a\u015bciwo\u015bciach.\n
Poprawno\u015b\u0107 liczby parametr\u00f3w przekazanych w wywo\u0142aniach sprintf\/printf w bloku formatowania ci\u0105g\u00f3w.\n
Istnienie zmiennych z uwzgl\u0119dnieniem blok\u00f3w tworzonych przez operatory rozga\u0142\u0119zienia i p\u0119tle.\n
Bezu\u017cyteczne rzutowania typ\u00f3w (np. «(string) ‘foo’») oraz \u015bcis\u0142e kontrole («===» i «!==») danych o r\u00f3\u017cnych typach i operandach, kt\u00f3re zawsze zwracaj\u0105 warto\u015b\u0107 false. <\/ul>\n
Kluczowe nowo\u015bci PHPStan 1.0: <\/p>\n
\n
Zrealizowano poziom kontroli «9», przeprowadzaj\u0105cy kontrole u\u017cycia typu «mixed», przeznaczony do organizowania przyjmowania przez funkcj\u0119 parametr\u00f3w o r\u00f3\u017cnych typach. Dziewi\u0105ty poziom wykrywa niebezpieczne metody u\u017cycia «mixed», takie jak przekazywanie warto\u015bci z typem «mixed» do innego typu, wywo\u0142ywanie metod o typie «mixed» oraz dost\u0119p do jego w\u0142a\u015bciwo\u015bci, kt\u00f3re mog\u0105 nie istnie\u0107.\n
Zarz\u0105dzanie weryfikacj\u0105 to\u017csamo\u015bci zwracanych warto\u015bci dla tych samych wywo\u0142a\u0144 funkcji z wykorzystaniem adnotacji @phpstan-pure i @phpstan-impure.\n
Analiza typ\u00f3w w konstrukcjach try-catch-finally z wykorzystaniem adnotacji @throws.\n
Wykrywanie okre\u015blonych, ale nieu\u017cywanych wewn\u0119trznych (private) w\u0142a\u015bciwo\u015bci, metod i sta\u0142ych.\n
Przekazywanie niekompatybilnych wywo\u0142a\u0144 callback w funkcjach operuj\u0105cych na tablicach, takich jak array_map i usort.\n
Inspekcja typ\u00f3w dla brakuj\u0105cych adnotacji typehint.\n
Zapewniono zgodno\u015b\u0107 opis\u00f3w typ\u00f3w z PHPDocs, co pozwala na u\u017cywanie w PHPDocs typ\u00f3w z komunikat\u00f3w o b\u0142\u0119dach. <\/ul>\n