{"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\/fr\/blog\/news\/vypusk-phpstan-1-0-staticheskogo-analizatora-dlya-koda-na-yazyke-php","title":{"rendered":"Sortie de PHPStan 1.0, un analyseur statique pour le code PHP.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Apr\u00e8s six ans de d\u00e9veloppement, la premi\u00e8re version stable de l'analyseur statique PHPStan 1.0 a \u00e9t\u00e9 publi\u00e9e, permettant de d\u00e9tecter des erreurs dans le code PHP sans ex\u00e9cution ni utilisation de tests unitaires. Le code du projet est \u00e9crit en PHP et est distribu\u00e9 sous licence MIT. <\/p>\n
L'analyseur propose 10 niveaux de v\u00e9rification, chaque niveau suivant \u00e9largissant les capacit\u00e9s du pr\u00e9c\u00e9dent et offrant des contr\u00f4les plus stricts : <\/p>\n
V\u00e9rifications de base, identification des classes, fonctions et m\u00e9thodes inconnues ($this), des variables ind\u00e9finies, ainsi que des erreurs dans le nombre d'arguments transmis.\n
Identification des variables probablement ind\u00e9finies, des magic methods inconnus et des propri\u00e9t\u00e9s de classes avec __call et __get.\n
Identification des m\u00e9thodes inconnues dans toutes les expressions, sans se limiter \u00e0 l'appel via $this. V\u00e9rification des PHPDocs.\n
V\u00e9rification des types de retour et de l'assignation des types aux propri\u00e9t\u00e9s.\n
D\u00e9tection de base du code \u00ab mort \u00bb (jamais appel\u00e9). D\u00e9tection des appels instanceof qui retournent toujours false, des blocs \u00ab else \u00bb jamais d\u00e9clench\u00e9s et du code situ\u00e9 apr\u00e8s un return.\n
V\u00e9rification des types des arguments pass\u00e9s aux m\u00e9thodes et fonctions.\n
Avertissement sur l'absence d'annotations contenant des informations sur les types.\n
Avertissement concernant les types d'union incorrects, d\u00e9finissant des collections de deux types ou plus.\n
Avertissement sur l'appel de m\u00e9thodes et l'acc\u00e8s aux propri\u00e9t\u00e9s avec des types \u00ab nullable \u00bb.\n
V\u00e9rification de l'utilisation du type \u00ab mixed \u00bb.\n
Exemples de probl\u00e8mes de base d\u00e9tect\u00e9s : <\/p>\n
\n
Existence de classes utilis\u00e9es dans instanceof, catch, typehints et autres constructions du langage.\n
Existence et accessibilit\u00e9 des m\u00e9thodes et fonctions appel\u00e9es, ainsi que du nombre d'arguments transmis.\n
V\u00e9rification du retour de donn\u00e9es par la m\u00e9thode du m\u00eame type que celui sp\u00e9cifi\u00e9 dans l'expression return.\n
Existence et visibilit\u00e9 des propri\u00e9t\u00e9s appel\u00e9es, ainsi que v\u00e9rification des types d\u00e9clar\u00e9s et r\u00e9els des donn\u00e9es utilis\u00e9es dans les propri\u00e9t\u00e9s.\n
Validit\u00e9 du nombre de param\u00e8tres pass\u00e9s aux appels sprintf\/printf dans le bloc de formatage des cha\u00eenes.\n
Existence de variables en tenant compte des blocs form\u00e9s par des op\u00e9rateurs de branchement et des boucles.\n
Conversions de types inutiles (par exemple, \u00ab (string) 'foo' \u00bb) et v\u00e9rifications strictes (\u00ab === \u00bb et \u00ab !== \u00bb) de donn\u00e9es avec des types et des op\u00e9randes diff\u00e9rents, qui retournent toujours false. <\/ul>\n
Les principales nouveaut\u00e9s de PHPStan 1.0 : <\/p>\n
\n
Niveau de v\u00e9rification \u00ab 9 \u00bb mis en \u0153uvre, r\u00e9alisant des v\u00e9rifications de l'utilisation du type \u00ab mixed \u00bb, destin\u00e9 \u00e0 permettre \u00e0 une fonction d'accepter des param\u00e8tres de diff\u00e9rents types. Le neuvi\u00e8me niveau d\u00e9tecte des pratiques dangereuses de l'utilisation de \u00ab mixed \u00bb, comme le passage de valeurs de type \u00ab mixed \u00bb \u00e0 un autre type, l'appel de m\u00e9thodes avec le type \u00ab mixed \u00bb et l'acc\u00e8s \u00e0 ses propri\u00e9t\u00e9s, car elles peuvent ne pas exister.\n
Gestion de la v\u00e9rification de l'identit\u00e9 des valeurs de retour pour des appels de fonctions identiques en utilisant les annotations @phpstan-pure et @phpstan-impure.\n
Analyse des types dans les constructions try-catch-finally utilisant les annotations @throws.\n
Identification de certaines propri\u00e9t\u00e9s, m\u00e9thodes et constantes internes (priv\u00e9es) d\u00e9finies mais non utilis\u00e9es.\n
Transmission d'appels de rappels incompatibles dans les fonctions de traitement des tableaux, telles que array_map et usort.\n
Inspection des types pour les annotations typehint manquantes.\n
La compatibilit\u00e9 des descriptions de types avec PHPDocs est assur\u00e9e, permettant d'utiliser dans PHPDocs les types des messages d'erreur. <\/ul>\n