Представлен новый релиз статического анализатора для PHP NoVerify, разрабатываемого компанией «В Контакте».
Изначально NoVerify разрабатывался для анализа исходного кода социальной сети ВКонтакте, размер которого превышает 5 миллионов строк кода. Поэтому преимущества данного статического анализатора можно заметить при большой кодовой базе (если размер проекта меньше 100 тысяч строк кода, рекомендуется использовать другие статические анализаторы).
NoVerify способен обрабатывать примерно 200 тысяч строк кода в секунду на современном компьютере (Intel Core i5 + SSD).
Изменения проверок:
- Проверка наличия блока комментариев
phpdocпереименована вmissingPhpdoc. - Чекер
undefinedразбит на следующие проверки:maybeUndefined;undefinedConstant;undefinedFunction;undefinedMethod;undefinedProperty;undefinedType;undefinedVariable.
- Проверка неочевидности порядка аргументов тернарного оператора
nestedTernaryвключена по умолчанию. - Чекеры
switchDefault(наличиеdefaultв конструкцииswitch),arrayAccess(доступ к немассивам через синтаксис массивов),complexity(сообщает об излишне сложных функциях). - Проверка
undefinedTypeразбита на два чекера:undefinedClass;undefinedTrait.
- Проверки
undefinedVariableиmaybeUndefinedтеперь не выводят предупреждение, если переменные являются левым операндом оператора объединения сnull; phpdocLintпереименован вinvalidDocblock.phpdocTypeпереименован вinvalidDocblockType.phpdocRefпереименован вinvalidDocblockRef.- Добавлена новая проверка
parentNotFound, обнаруживающая несуществующий родительский класс:
class Foo {
public function f() {
parent::b(); // Class Foo has no parent.
}
}
Исправлено:
- Если в группе модификаторов регулярных выражений верхнего уровня присутствует неверный символ, то она не будет анализирована.
- Вывод теперь показывает только время (без даты и миллисекунд).
- Исправлены быстрые исправления, которые работали некорректно.
- Если файл из директории vendor не может быть анализирован, ошибка не будет отображена.
- В нестрогом режиме теперь не будут отображены ошибки неизвестного метода и свойства для
nullиstdClass. - Добавлен атрибут
@disabledкоторый отключает проверку для динамических правил. - Все варианты проверки
unusedтеперь выбрасывают предупреждение. - Исправлен баг с невозможностью использовать
selfвнутри трейта. - Исправлена паника при
enum;
Добавлено:
- Добавлена возможность установки через менеджер зависимостей Composer.
- Добавлена поддержка анонимных классов.
- Добавлена песочница, где можно попробовать использовать NoVerify без установки.
- Улучшен вывод типов для сложных выражений с
instanceofвif-else:
/**
* @param mixed $a
*/
function f1($a) {
if ($a instanceof Foo || $a instanceof Boo) {
exprtype($a, "\Boo|\Foo");
}
}
/**
* @param Boo|Foo|Zoo $a
*/
function f1($a) {
if ($a instanceof Foo && $a instanceof Boo) {
exprtype($a, "\Boo|\Foo");
} else {
exprtype($a, "\Zoo");
}
}
- Добавлено сужение типа:
/**
* @param mixed $a
*/
function f($a) {
if (!$a instanceof Foo) {
return;
}
exprtype($a, "\Foo");
}
- Добавлена поддержка союзных типов и тайпхинтов.
- Добавлена документация для режима diff.
- Добавлено быстрое исправление для старого синтаксиса массивов в параметрах функции.
- специальные скалярные типы psalm теперь обрабатываются и превращаются в ближайшие обычные типы.
- Добавлен тип
never.
KPHP:
- Типы
kmixedиfutureтеперь нормализованы кmixed.
>>> Подробности
