Статический анализ PHP кода на примере Symfony2

По многим причинам Hack/HHVM мы не можем использовать.

Костыли пришлось писать для примитивных типов (статика — необходимое зло в данном случае):

class ..._SimpleTypeHint {
    public static function throwExceptionIfArgumentIsNotString($givenArgument);
    public static function throwExceptionIfArgumentIsNotInteger($givenArgument);
    public static function throwExceptionIfArgumentIsNotFloat($givenArgument);
    public static function throwExceptionIfArgumentIsNotBoolean($givenArgument);
}

class ..._SimpleTypeCasting {
    public static function toInteger($mixedValueToCast);
    public static function toFloat($mixedValueToCast);
    public static function toBoolean($mixedValueToCast);
}

А вот так выглядит худший случай использования:

class SomeClass {
	/** @var int|null $someId */
    public function doSomethingWithEntityId($someId)
    {
        if ($someId !== null) {
            ..._SimpleTypeHint::throwExceptionIfArgumentIsNotInteger($someId);
        }
		
		...
	}
}

Статический анализ PHP кода на примере Symfony2

Ну тогда вот — небольшой список. То, что выделено (кроме приведения типов) может оказаться багами:

небольшой список

Статический анализ PHP кода на примере Symfony2

Да, так ещё лучше, поправил.

Статический анализ PHP кода на примере Symfony2

Если кликнуть правой кнопкой по файлам/папке в навигаторе проекта, то в контекстном меню есть опция «Inspect Code...» — можно часть проекта проверить.

В результатах анализа будет секция PHP — это результаты проверки плагина.

Статический анализ PHP кода на примере Symfony2

Поправил, спасибо за ремарку.

Статический анализ PHP кода на примере Symfony2

Я честно пытался отшутиться, но у меня в контракте есть ограничения на участие в оперсорсе и выступлениях на конференциях.

Статический анализ PHP кода на примере Symfony2

«А вы сообщили разработчикам о найденных ошибках?»

Статический анализ PHP кода на примере Symfony2

Скажем так, не напрямую. Но и забытых вар дампов, странных логических конструкций мы исправили достаточно.

Статический анализ PHP кода на примере Symfony2

Пожалуйста

Статический анализ PHP кода на примере Symfony2

Ну оно же как-то работает) Шутка, Symfony2 хороший продукт, и там трудно найти эпичные ошибки (хотя тот же пример с ChainLoader или конструкторами).

Остальные примеры — это улучшение кода, да. Я просто ещё опустил много мелочи: производительность, возможные баги и прочее.

Статический анализ PHP кода на примере Symfony2

До ReSharper далековато (спасибо за наводку), но подход тот же.