{"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\/pt\/blog\/news\/vypusk-phpstan-1-0-staticheskogo-analizatora-dlya-koda-na-yazyke-php","title":{"rendered":"Lan\u00e7amento do PHPStan 1.0, analisador est\u00e1tico para c\u00f3digo em PHP.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Ap\u00f3s seis anos de desenvolvimento, a primeira vers\u00e3o est\u00e1vel do analisador est\u00e1tico PHPStan 1.0 foi lan\u00e7ada, permitindo encontrar erros no c\u00f3digo em PHP sem execut\u00e1-lo ou usar testes unit\u00e1rios. O c\u00f3digo do projeto est\u00e1 escrito em PHP e \u00e9 distribu\u00eddo sob a licen\u00e7a MIT. <\/p>\n
O analisador fornece 10 n\u00edveis de verifica\u00e7\u00e3o, onde cada n\u00edvel subsequente amplia as capacidades do anterior e fornece verifica\u00e7\u00f5es mais rigorosas: <\/p>\n
Verifica\u00e7\u00f5es b\u00e1sicas, defini\u00e7\u00e3o de classes, fun\u00e7\u00f5es e m\u00e9todos desconhecidos ($this), vari\u00e1veis indefinidas, bem como a passagem de um n\u00famero incorreto de argumentos.\n
Detec\u00e7\u00e3o de vari\u00e1veis potencialmente indefinidas, m\u00e9todos m\u00e1gicos desconhecidos e propriedades de classes com __call e __get.\n
Detec\u00e7\u00e3o de m\u00e9todos desconhecidos em todas as express\u00f5es, sem se limitar a chamadas atrav\u00e9s de $this. Verifica\u00e7\u00e3o de PHPDocs.\n
Verifica\u00e7\u00e3o de tipos de retorno e atribui\u00e7\u00e3o de tipos a propriedades.\n
Detec\u00e7\u00e3o b\u00e1sica de c\u00f3digo 'morto' (nunca chamado). Identifica\u00e7\u00e3o de chamadas instanceof que sempre retornam o valor falso, blocos 'else' nunca acionados e c\u00f3digo que se encontra ap\u00f3s o return.\n
Verifica\u00e7\u00e3o de tipos de argumentos passados para m\u00e9todos e fun\u00e7\u00f5es.\n
Aviso sobre a aus\u00eancia de anota\u00e7\u00f5es com informa\u00e7\u00f5es de tipos.\n
Aviso sobre tipos union inv\u00e1lidos, definindo cole\u00e7\u00f5es de dois ou mais tipos.\n
Aviso sobre a chamada de m\u00e9todos e acesso a propriedades com tipos 'nullable'.\n
Verifica\u00e7\u00e3o do uso do tipo 'mixed'.\n
Exemplos de problemas b\u00e1sicos detectados: <\/p>\n
\n
Exist\u00eancia de classes usadas em instanceof, catch, typehints e outras constru\u00e7\u00f5es da linguagem.\n
Exist\u00eancia e acessibilidade de m\u00e9todos e fun\u00e7\u00f5es cham\u00e1veis, bem como o n\u00famero de argumentos passados.\n
Verifica\u00e7\u00e3o de que o m\u00e9todo retorna dados do mesmo tipo que o definido na express\u00e3o return.\n
Exist\u00eancia e visibilidade de propriedades acessadas, bem como verifica\u00e7\u00e3o de tipos de dados declarados e reais usados nas propriedades.\n
Corretude do n\u00famero de par\u00e2metros passados nas chamadas sprintf\/printf no bloco de formata\u00e7\u00e3o de strings.\n
Exist\u00eancia de vari\u00e1veis considerando blocos formados por operadores de controle e loops.\n
Convers\u00f5es de tipo in\u00fateis (por exemplo, '(string) \u2018foo\u2019') e verifica\u00e7\u00f5es rigorosas ('===' e '!==' ) de dados com tipos e operandos diferentes, sempre retornando o valor falso. <\/ul>\n
Principais novidades do PHPStan 1.0: <\/p>\n
\n
Implementado o n\u00edvel de verifica\u00e7\u00e3o '9', que realiza verifica\u00e7\u00f5es sobre o uso do tipo 'mixed', destinado a permitir que a fun\u00e7\u00e3o aceite par\u00e2metros de diferentes tipos. O nono n\u00edvel detecta pr\u00e1ticas inseguras no uso de 'mixed', como a passagem de valores do tipo 'mixed' para outro tipo, chamada de m\u00e9todos com o tipo 'mixed' e acesso a suas propriedades, pois elas podem n\u00e3o existir.\n
Gerenciamento da verifica\u00e7\u00e3o de identidade dos valores retornados para chamadas de fun\u00e7\u00f5es id\u00eanticas usando as anota\u00e7\u00f5es @phpstan-pure e @phpstan-impure.\n
An\u00e1lise de tipos em estruturas try-catch-finally usando anota\u00e7\u00f5es @throws.\n
Identifica\u00e7\u00e3o de certas propriedades, m\u00e9todos e constantes internas (private) que n\u00e3o s\u00e3o utilizados.\n
Transfer\u00eancia de chamadas de callback incompat\u00edveis em fun\u00e7\u00f5es de manipula\u00e7\u00e3o de arrays, como array_map e usort.\n
Inspe\u00e7\u00e3o de tipos para anota\u00e7\u00f5es typehint ausentes.\n
Compatibilidade das descri\u00e7\u00f5es de tipos com PHPDocs, permitindo o uso de tipos das mensagens de erro nas PHPDocs. <\/ul>\n