Статический анализатор PVS-Studio доступен для Linux (реклама)
PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки. Продукт предоставляет широкий спектр проверок кода, но наиболее силён в поисках опечаток и последствий необдуманного копирования блоков кода (Copy-Paste). Средства диагностики позволяют выявлять ошибки общего назначения (подозрительная работа с указателями, ошибки работы с массивами, некорректная организация циклов, опечатки в именах переменных и т.п.), предлагают возможные оптимизации и определяют наличие 64-разрядных ошибок.
Версия для Linux оформлена в виде консольного приложения, работающего совместно с GCC или Clang. Поддерживается как проверка файлов с исходным кодом (*.cpp, *.c и т.д.), так и проверка файлов, обработанных препроцессором (*.i). В состав пакета входит анализатор pvs-studio, утилита для проверки проектов без интеграции (pvs-studio-analyzer), программа для преобразования отчёта анализатора в различные форматы (plog-converter) и исходный код утилиты plog-converter. Поддерживается интеграция с различными сборочными системами (GNU Make, CMake, QMake) и интегрированными средами разработки (CLion, QtCreator). Инструкцию по использованию PVS-Studio в процессе разработки на платформе Linux можно найти на сайте проекта.
Несмотря на то, что PVS-Studio является коммерческим продуктом, он широко используется для выявления ошибок в коде открытых проектов. Сотрудники СиПроВер регулярно проводят тестирование различных открытых проектов, публикуют статьи с результатами и сообщают о найденных ошибках разработчикам проанализированных проектов. В настоящее время в PVS-Studio проверен 271 открытый проект, в результате проверки выявлено 10466 ошибок.
Источник: http://www.opennet.ru/opennews/art.shtml?num=45369
|
|
0 | Tweet | Нравится |
|
