Hat \u00e9v fejleszt\u00e9s ut\u00e1n megjelent a PHPStan 1.0 els\u0151 stabil verzi\u00f3ja, amely lehet\u0151v\u00e9 teszi a PHP nyelv\u0171 k\u00f3d hib\u00e1inak megtal\u00e1l\u00e1s\u00e1t an\u00e9lk\u00fcl, hogy v\u00e9grehajtan\u00e1nk azt vagy unit teszteket haszn\u00e1ln\u00e1nk. A projekt k\u00f3dja PHP nyelven \u00edr\u00f3dott, \u00e9s MIT licenc alatt terjesztik. <\/p>\n
Az elemz\u0151 10 ellen\u0151rz\u00e9si szintet k\u00edn\u00e1l, ahol minden egyes k\u00f6vetkez\u0151 szint kib\u0151v\u00edti az el\u0151z\u0151 lehet\u0151s\u00e9geit \u00e9s szigor\u00fabb ellen\u0151rz\u00e9seket biztos\u00edt: <\/p>\n
Alapellen\u0151rz\u00e9sek, ismeretlen oszt\u00e1lyok, funkci\u00f3k \u00e9s met\u00f3dusok ($this), nem defini\u00e1lt v\u00e1ltoz\u00f3k, valamint a hib\u00e1s sz\u00e1m\u00fa argumentum \u00e1tad\u00e1sa.\n
Val\u00f3sz\u00edn\u0171leg nem defini\u00e1lt v\u00e1ltoz\u00f3k, ismeretlen m\u00e1gikus met\u00f3dusok \u00e9s oszt\u00e1lyv\u00e1ltoz\u00f3k (__call \u00e9s __get) \u00e9szlel\u00e9se.\n
Ismeretlen met\u00f3dusok \u00e9szlel\u00e9se minden kifejez\u00e9sben, nem korl\u00e1tozva a $this haszn\u00e1lat\u00e1ra. PHPDocs ellen\u0151rz\u00e9si lehet\u0151s\u00e9gek.\n
Visszat\u00e9r\u00e9si t\u00edpusok \u00e9s a tulajdons\u00e1gok t\u00edpusainak ellen\u0151rz\u00e9se.\n
Alapvet\u0151 \u00e9szlel\u00e9s a 'halott' (soha meg nem h\u00edvott) k\u00f3dokr\u00f3l. Az instanceof h\u00edv\u00e1sok \u00e9szlel\u00e9se, amelyek mindig hamis \u00e9rt\u00e9ket adnak vissza, soha nem aktiv\u00e1l\u00f3d\u00f3 'else' blokkok, \u00e9s a return ut\u00e1n l\u00e9v\u0151 k\u00f3dok.\n
Argumentumok t\u00edpusainak ellen\u0151rz\u00e9se, amelyeket met\u00f3dusokba \u00e9s funkci\u00f3kba adunk \u00e1t.\n
Figyelmeztet\u00e9s a t\u00edpinform\u00e1ci\u00f3k n\u00e9lk\u00fcli annot\u00e1ci\u00f3k hi\u00e1ny\u00e1r\u00f3l.\n
Figyelmeztet\u00e9s hib\u00e1s union-t\u00edpusokr\u00f3l, amelyek k\u00e9t vagy t\u00f6bb t\u00edpust defini\u00e1lnak.\n
Figyelmeztet\u00e9s a met\u00f3dush\u00edv\u00e1sokra \u00e9s a 'nullable' t\u00edpus\u00fa tulajdons\u00e1gokhoz val\u00f3 hozz\u00e1f\u00e9r\u00e9sre.\n
A 'mixed' t\u00edpus haszn\u00e1lat\u00e1nak ellen\u0151rz\u00e9se.\n
P\u00e9ld\u00e1k a felt\u00e1rt alapvet\u0151 probl\u00e9m\u00e1kra: <\/p>\n
\n
Olyan oszt\u00e1lyok l\u00e9tez\u00e9se, amelyek a instanceof, catch, typehint \u00e9s m\u00e1s nyelvi konstrukci\u00f3kban haszn\u00e1latosak.\n
A h\u00edvhat\u00f3 met\u00f3dusok \u00e9s funkci\u00f3k l\u00e9tez\u00e9se \u00e9s el\u00e9rhet\u0151s\u00e9ge, valamint az \u00e1tadott argumentumok sz\u00e1m\u00e1nak ellen\u0151rz\u00e9se.\n
Ellen\u0151rz\u00e9s, hogy a met\u00f3dus \u00e1ltal visszaadott adatok ugyanazzal a t\u00edpussal rendelkeznek, mint ami a return kifejez\u00e9sben meg van hat\u00e1rozva.\n
A tulajdons\u00e1gok l\u00e9tez\u00e9s\u00e9nek \u00e9s l\u00e1that\u00f3s\u00e1g\u00e1nak ellen\u0151rz\u00e9se, amelyeket hivatkoz\u00e1sk\u00e9nt haszn\u00e1lnak, valamint a deklar\u00e1lt \u00e9s t\u00e9nyleges t\u00edpusok ellen\u0151rz\u00e9se, amelyeket a tulajdons\u00e1gokban haszn\u00e1lnak.\n
A sprintf\/printf h\u00edv\u00e1sokban \u00e1tadott param\u00e9terek sz\u00e1m\u00e1nak helyess\u00e9ge a sz\u00f6veges form\u00e1tumok blokkj\u00e1ban.\n
Haszontalan t\u00edpuskonverzi\u00f3k (p\u00e9ld\u00e1ul '(string) 'foo'') \u00e9s szigor\u00fa ellen\u0151rz\u00e9sek ('===' \u00e9s '!==') adatokr\u00f3l k\u00fcl\u00f6nb\u00f6z\u0151 t\u00edpusokkal \u00e9s oper\u00e1torokkal, amelyek mindig hamis \u00e9rt\u00e9ket adnak vissza. <\/ul>\n
A PHPStan 1.0 kulcsfontoss\u00e1g\u00fa \u00faj\u00edt\u00e1sai: <\/p>\n
\n
A '9' ellen\u0151rz\u00e9si szint, amely a 'mixed' t\u00edpus haszn\u00e1lat\u00e1nak ellen\u0151rz\u00e9s\u00e9t val\u00f3s\u00edtja meg, lehet\u0151v\u00e9 t\u00e9ve, hogy a funkci\u00f3 k\u00fcl\u00f6nb\u00f6z\u0151 t\u00edpus\u00fa param\u00e9tereket fogadjon. A kilencedik szint az 'mixed' haszn\u00e1lat\u00e1nak vesz\u00e9lyes m\u00f3djait \u00e9szleli, p\u00e9ld\u00e1ul amikor egy 'mixed' t\u00edpus\u00fa \u00e9rt\u00e9ket m\u00e1s t\u00edpusra adnak \u00e1t, met\u00f3dusokat h\u00edvnak 'mixed' t\u00edpussal, \u00e9s hozz\u00e1f\u00e9rnek a tulajdons\u00e1gaikhoz, mivel azok esetleg nem l\u00e9teznek.\n
Az azonos f\u00fcggv\u00e9nyh\u00edv\u00e1sok visszat\u00e9r\u00e9si \u00e9rt\u00e9keinek azonos\u00edt\u00f3k ellen\u0151rz\u00e9s\u00e9nek kezel\u00e9se az @phpstan-pure \u00e9s @phpstan-impure annot\u00e1ci\u00f3k haszn\u00e1lat\u00e1val.\n
Bizonyos, de nem haszn\u00e1lt bels\u0151 (private) tulajdons\u00e1gok, met\u00f3dusok \u00e9s konstansok azonos\u00edt\u00e1sa.\n
Inkompatibilis callback h\u00edv\u00e1sok \u00e1tad\u00e1sa az array_map \u00e9s usort t\u00edpus\u00fa t\u00f6mbm\u0171veletekben.\n
T\u00edpusok ellen\u0151rz\u00e9se a hi\u00e1nyz\u00f3 typehint annot\u00e1ci\u00f3k eset\u00e9n.\n
Biztos\u00edtva van a t\u00edpusle\u00edr\u00e1sok kompatibilit\u00e1sa a PHPDocs-szal, lehet\u0151v\u00e9 t\u00e9ve a hiba\u00fczenetekben szerepl\u0151 t\u00edpusok haszn\u00e1lat\u00e1t PHPDocs-ban. <\/ul>\n