{"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\/it\/blog\/news\/vypusk-phpstan-1-0-staticheskogo-analizatora-dlya-koda-na-yazyke-php","title":{"rendered":"Uscita di PHPStan 1.0, analizzatore statico per codice PHP","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Dopo sei anni di sviluppo \u00e8 stata rilasciata la prima versione stabile dell'analizzatore statico PHPStan 1.0, che consente di trovare errori nel codice PHP senza eseguirlo e senza utilizzare unit test. Il codice del progetto \u00e8 scritto in PHP e viene distribuito con licenza MIT. <\/p>\n
L'analizzatore offre 10 livelli di verifica, in cui ogni livello successivo amplia le possibilit\u00e0 del precedente e fornisce controlli pi\u00f9 rigorosi: <\/p>\n
Controlli di base, identificazione di classi, funzioni e metodi sconosciuti ($this), variabili non definite e passaggio di un numero errato di argomenti.\n
Identificazione di variabili potenzialmente non definite, metodi magic sconosciuti e propriet\u00e0 delle classi con __call e __get.\n
Identificazione di metodi sconosciuti in tutte le espressioni, non limitandosi alla chiamata tramite $this. Verifica dei PHPDocs.\n
Verifica dei tipi di ritorno e assegnazione dei tipi alle propriet\u00e0.\n
Rilevamento di codice 'morto' (mai chiamato) di base. Individuazione di chiamate instanceof che restituiscono sempre false, blocchi 'else' mai attivati e codice che si trova dopo un return.\n
Verifica dei tipi degli argomenti passati a metodi e funzioni.\n
Avviso in caso di assenza di annotazioni con informazioni sui tipi.\n
Avviso riguardo ai tipi union non corretti, che definiscono collezioni di due o pi\u00f9 tipi.\n
Avviso su chiamate di metodi e accesso a propriet\u00e0 con tipi 'nullable'.\n
Verifica dell'uso del tipo 'mixed'.\n
Esempi di problemi di base identificabili: <\/p>\n
\n
Esistenza di classi utilizzate in instanceof, catch, typehints e altre strutture linguistiche.\n
Esistenza e accessibilit\u00e0 di metodi e funzioni richiamabili, nonch\u00e9 numero di argomenti passati.\n
Verifica che i dati restituiti da un metodo abbiano lo stesso tipo definito nell'espressione return.\n
Esistenza e visibilit\u00e0 delle propriet\u00e0 a cui si accede, oltre alla verifica dei tipi dichiarati e reali dei dati utilizzati nelle propriet\u00e0.\n
Correttezza del numero di parametri passati alle chiamate sprintf\/printf nel blocco di formattazione delle stringhe.\n
Esistenza di variabili tenendo conto dei blocchi formati da operatori di branching e cicli.\n
Conversioni di tipo inutili (ad esempio, '(string) 'foo'') e verifiche rigorose ('===' e '!==') di dati con tipi e operandi diversi che restituiscono sempre false. <\/ul>\n
Innovazioni chiave di PHPStan 1.0: <\/p>\n
\n
\u00c8 stato implementato il livello di controllo '9', che esegue verifiche sull'uso del tipo 'mixed', progettato per organizzare l'accettazione dei parametri da parte delle funzioni con tipi diversi. Il nono livello rileva pratiche insicure di utilizzo del 'mixed', come la trasmissione di valori di tipo 'mixed' a un altro tipo, la chiamata di metodi con tipo 'mixed' e l'accesso alle sue propriet\u00e0, poich\u00e9 potrebbero non esistere.\n
Gestione della verifica dell'identit\u00e0 dei valori restituiti per chiamate di funzioni identiche usando le annotazioni @phpstan-pure e @phpstan-impure.\n
Analisi dei tipi nelle strutture try-catch-finally utilizzando le annotazioni @throws.\n
Identificazione di propriet\u00e0, metodi e costanti interni (private) specifici ma non utilizzati.\n
Trasmissione di chiamate di callback incompatibili in funzioni di lavoro con array, come array_map e usort.\n
Ispezione dei tipi per annotazioni typehint mancanti.\n
\u00c8 garantita la compatibilit\u00e0 delle descrizioni dei tipi con PHPDocs, consentendo di utilizzare in PHPDocs tipi dai messaggi di errore. <\/ul>\n