{"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\/en\/blog\/news\/vypusk-phpstan-1-0-staticheskogo-analizatora-dlya-koda-na-yazyke-php","title":{"rendered":"Release of PHPStan 1.0, a static code analyzer for PHP.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
After six years of development, the first stable release of the PHP static analyzer PHPStan 1.0 has been launched. It allows for the detection of errors in PHP code without execution and the use of unit tests. The project code is written in PHP and is distributed under the MIT license. <\/p>\n
The analyzer offers 10 levels of checks, with each subsequent level expanding the capabilities of the previous one and providing stricter validations: <\/p>\n
Basic checks for unknown classes, functions, and methods ($this), undefined variables, as well as incorrect argument counts.\n
Detection of likely undefined variables, unknown magic methods, and class properties with __call and __get.\n
Detection of unknown methods in all expressions, not limited to calls through $this. PHPDocs checks.\n
Validation of return types and type assignments to properties.\n
Basic detection of 'dead' (never called) code. Identification of instanceof calls that always return false, never-triggering else blocks, and code located after return.\n
Checks on argument types passed to methods and functions.\n
Warnings about missing annotations with type information.\n
Warnings about incorrect union types defining collections of two or more types.\n
Warning for method calls and property access with 'nullable' types.\n
Check for the use of 'mixed' type.\n
Examples of basic issues detected: <\/p>\n
\n
Existence of classes used in instanceof, catch, typehints, and other language constructs.\n
Existence and accessibility of called methods and functions, along with the number of arguments passed.\n
Verification that a method returns data of the same type as defined in the return expression.\n
Existence and visibility of properties being accessed, as well as checks on declared and actual data types used in properties.\n
Correctness of the number of parameters passed to sprintf\/printf in the string formatting block.\n
Existence of variables considering blocks created by branching operators and loops.\n
Useless type casts (e.g., '(string) 'foo'') and strict checks ('===' and '!==') of data with different types and operands, always returning false. <\/ul>\n
Key innovations in PHPStan 1.0: <\/p>\n
\n
Implemented check level '9', which verifies the use of 'mixed' type, intended for handling function parameters with different types. The ninth level identifies unsafe practices of 'mixed', such as passing 'mixed' type values to another type, calling methods with 'mixed' type, and accessing its properties, as they may not exist.\n
Management of identity checks for return values of identical function calls using the annotations @phpstan-pure and @phpstan-impure.\n
Type analysis in try-catch-finally constructs using the @throws annotations.\n
Identification of certain but unused internal (private) properties, methods, and constants.\n
Passing incompatible callback calls in array handling functions, such as array_map and usort.\n
Inspection of types for missing type hint annotations.\n
Compatibility of type descriptions with PHPDocs has been ensured, allowing types from error messages to be used in PHPDocs. <\/ul>\n