{"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\/novosti-interneta\/vypusk-phpstan-1-0-staticheskogo-analizatora-dlya-koda-na-yazyke-php","title":{"rendered":"Uscita di PHPStan 1.0, un 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 ed \u00e8 distribuito sotto licenza MIT. <\/p>\n
L'analizzatore offre 10 livelli di verifica, ognuno dei quali espande le capacit\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, oltre al passaggio di un numero errato di argomenti.\n
Identificazione di variabili probabilmente non definite, metodi magici sconosciuti e propriet\u00e0 di 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 invocato). Identificazione di chiamate instanceof che restituiscono sempre false, blocchi 'else' che non si attivano mai e codice che si trova dopo un return.\n
Verifica dei tipi di argomenti passati a metodi e funzioni.\n
Avviso per la mancanza di annotazioni informative sui tipi.\n
Avviso sui union-type non validi che definiscono collezioni di due o pi\u00f9 tipi.\n
Avviso per chiamate a metodi e accesso a propriet\u00e0 di tipi 'nullable'.\n
Verifica dell'uso del tipo 'mixed'.\n
Esempi di problemi di base identificati: <\/p>\n
\n
Esistenza di classi utilizzate in instanceof, catch, typehints e altre costrutti linguistici.\n
Esistenza e accessibilit\u00e0 dei metodi e delle funzioni chiamabili, oltre al numero di argomenti passati.\n
Verifica del ritorno di dati da un metodo con 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 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 generati dai comandi di branching e dai cicli.\n
Conversioni di tipo inutili (ad esempio, '(string) \u2018foo\u2019') e verifiche rigorose ('===' e '!==') di dati con tipi e operandi diversi, che restituiscono sempre false. <\/ul>\n
Novit\u00e0 chiave di PHPStan 1.0: <\/p>\n
\n
Implementato il livello di verifica '9', che esegue controlli sull'uso del tipo 'mixed', destinato a consentire alla funzione di accettare parametri di diversi tipi. Il nono livello identifica pratiche sicure nell'uso di 'mixed', come il passaggio di valori di tipo 'mixed' a un altro tipo, chiamate a metodi con tipo 'mixed' e accesso alle sue propriet\u00e0, che potrebbero non esistere.\n
Gestione della verifica di identit\u00e0 dei valori restituiti per chiamate a funzioni identiche utilizzando 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) definite ma non utilizzate.\n
Passaggio di callback incompatibili a funzioni di manipolazione degli array, come array_map e usort.\n
Ispezione dei tipi per annotazioni typehint mancanti.\n
Garantita la compatibilit\u00e0 delle descrizioni dei tipi con i PHPDocs, consentendo l'uso in PHPDocs di tipi provenienti dai messaggi di errore. <\/ul>\n