Статический анализ PHP-кода с помощью HipHop

Нашёл на хабре статью про интересное использование HipHop, вот её текст:

Неожиданно не нашёл информации на русском языке о такой замечательной возможности HipHop, как статический анализ кода для PHP, а потому встречайте обзор, на идею которого меня натолкнула презентация Расмуса на DevConf.

А как это вообще?

Статический анализ кода — вещь весьма полезная, ведь иначе ошибку мы не увидим, пока функция, её содержащая, не будет вызвана. Как же это делает HipHop? Он транслирует PHP в C++!

Таким образом мы получаем возможность статически проанализировать C++ код, что, в общем, давно никого не удивляет, а потом применить полученную информацию к PHP (естественно автоматически).

Итак, начнём.

Окружение

Для тестов я поднял новый сервер Centos 5.8 x64

Установил на нём HipHop

Добавил переменную окружения (почему-то сам RPM этого не сделал)

И создал папку для отчётов

Теперь окружение готово и можно приступать к экспериментам.

Подготовка к анализу

Сначала нужно составить список файлов, которые мы будем анализировать.
Я анализировал один тестовый файлик, но если вы хотите проверить сразу весь свой проект, то можете сделать так:

После того, как список файлов составлен, надо скормить его HipHop’у со следующими параметрами:
—target=analyze — зачем мы вызвали HipHop?
—input-list=$OUTPUT_DIR/files.txt — список файлов для проверки
—input-dir=$SRC_DIR — где лежат файлы, которые нужно проверить?
—output-dir=$OUTPUT_DIR — куда сохранить результаты проверки?
—gen-stats=1 — создать файл со статистической информацией об ошибках
—log=3 — уровень лога, который выводится в консоль (3 — оптимально)
—force=1 — игнорировать найденные ошибки и продолжать анализ
—parse-on-demand=0 — не трогать файлы, которых нет в списке

Анализ

Поехали!

Кстати, если в процессе парсинга у вас вылетают ошибки вроде "Unable to parse file: /var/www/user.php\n (Line: 14, Char: 23):
Это значит, что в файле синтаксическая ошибка и он вообще не работает, так что обратите на него внимание!

Результат анализа

Когда hphp завершил свою работу (а это происходит удивительно быстро!), в папке /var/reports/ появляются два файла:
CodeError.js и Stats.js

Содержимое последнего расшифровывается примерно так:

На мой взгляд всё понятно и пояснять тут нечего.

А вот CodeError.js надо рассмотреть поподробнее.
Он тоже в формате JSON и содержит информацию обо всех ошибках, что нашёл HipHop.
А ищет он следующие виды неисправностей:

  • Отсутствующие файлы для require \ include
  • Вызовы неопределённых функций / методов
  • Обращение к неопределённым переменным, классам, константам
  • Переопределение констант
  • Одинаковые имена аргументов в определении функции
  • Обязательные аргументы после необязательных в определении функции
  • Недостаточность \ избыточность аргументов при вызове функции
  • Код, который не выполнится ни при каких условиях
  • Методы и функции, возвращающие void
  • Использование $this в статических методах
  • И много другое

JSON в файле представляет собой массив, в первом элементе которого указано количество найденных ошибок, а во втором собственно их список, сортированный по группам.

Для того, чтобы посмотреть все ошибки в удобочитаемом формате можно использовать скрипт от Patrick Allaert либо написать что-нибудь своё красивое и с плюшками =)

Пример

Есть вот такой ужасный файл

Запустим на него тест, а потом попробуем посмотреть ошибки

Oops, у меня PHP выдал ошибку getopt, но я просто вписал путь к файлу ручками и получил вот такой вывод:
CodeErrorFormatter 1.1.0 by Patrick Allaert.

Как видите, здесь указаны для каждой ошибки тип, адрес файла, название непонравившейся фукции \ переменной, её строка и позиция в файле. Что с ними делать дальше — уже сами думайте (либо автоматический багрепорт, либо сами исправляйте, либо ещё что).

Заключение

В общем тема статического анализа для PHP не нова, однако русскоязычных статей на эту тему немного и ни одна из них не затрагивает HipHop.

Призываю всех просто попробовать ею воспользоваться. Разумеется не стоит думать, что это «серебряная пуля», но анализ показывает те вещи, которые очень трудно выловить именно человеку.

Надеюсь этот обзор принесёт кому-то пользу, а может кто-то ещё и напишет визуалку, чтобы красиво тестировать код из браузера?

===================

Проект Facebook HipHop
CodeError.js CodeFormatter
Презентация Расмуса Лердорфа на DevConf 2012 talks.php.net/show/devconf/ — обязательно к просмотру!

LEAVE A COMMENT