Cppcheck - Cppcheck
Оригинальный автор (ы) | Даниэль Марьямяки |
---|---|
изначальный выпуск | 8 мая 2007 г. |
Стабильный выпуск | 2.2 / 3 октября 2020[1] |
Репозиторий | |
Написано в | C ++ |
Операционная система | Кроссплатформенность |
Доступно в | английский, нидерландский язык, Финский, Шведский, Немецкий, русский, Японский, сербский, испанский, Французский, Итальянский, Корейский, Китайский |
Тип | Статический анализ кода |
Лицензия | Стандартная общественная лицензия GNU |
Интернет сайт | cppcheck |
Cppcheck это статический анализ кода инструмент для C и C ++ языки программирования. Это универсальный инструмент, который может проверять нестандартный код.[2] Создатель и ведущий разработчик - Даниэль Марьямяки.
Cppcheck - это бесплатно программное обеспечение под Стандартная общественная лицензия GNU.
Функции
Cppcheck поддерживает широкий спектр статических проверок, которые могут не выполняться самим компилятором. Эти проверки представляют собой проверки статического анализа, которые могут выполняться на уровне исходного кода. Программа ориентирована на строгие проверки статического анализа, а не на эвристический в природе.
Некоторые из поддерживаемых проверок включают:
- Автоматическая переменная проверка
- Проверка границ для выхода за пределы массива
- Классы проверка (например, неиспользуемые функции, инициализация переменных и дублирование памяти)
- Использование устарел или замененные функции в соответствии с Открытая группа[3]
- Проверка безопасности исключений, например использование выделения памяти и проверки деструктора
- Утечки памяти, например из-за потери объема без освобождения
- Утечки ресурсов, например из-за того, что забыл закрыть дескриптор файла
- Недействительное использование Стандартная библиотека шаблонов функции и идиомы
- Устранение мертвого кода с использованием опции unusedFunction
- Разные стилистические ошибки и ошибки исполнения
Как и во многих программах анализа, существует множество необычных случаев идиом программирования, которые могут быть приемлемы в определенных целевых случаях или за пределами возможностей программиста для исправления исходного кода. Исследование, проведенное в марте 2009 года, выявило несколько областей, в которых Cppcheck обнаружило ложные срабатывания, но не указало проверяемую версию программы.[4] Cppcheck был определен для использования в таких системах, как ЦЕРН Пакет метаанализа 4DSOFT,[5] для проверки кода в устройствах считывания детекторов частиц высоких энергий,[6] ПО для системного мониторинга радиотелескопов[7] а также при анализе ошибок крупных проектов, таких как OpenOffice.org[8] и Debian архив.[9]
Разработка
Проект активно развивается[10] и активно поддерживается в разных дистрибутивах.[11][12] Он обнаружил действительные ошибки в ряде популярных проектов.[13] такой как Ядро Linux и MPlayer.[14]
Плагины
Плагины для следующих Иды или же текстовые редакторы существовать[15]
- CLion[16]
- Код :: Блоки - интегрированный.
- CodeLite - интегрированный.
- Затмение[17]
- Emacs[18]
- gedit[19]
- Hudson[20]
- Дженкинс[21]
- Катя[22]
- KDevelop[23]
- Qt Creator[24]
- Возвышенный текст[25]
- Visual Studio[26][27][28]
- Яска[29]
Смотрите также
Рекомендации
- ^ «Релизы - danmar / cppcheck». Получено 10 июн 2020 - через GitHub.
- ^ "Обзор программных средств C и C ++ для вычислительной науки" (PDF). Совет научно-технического фонда. Лаборатории Чилболтона, Дарсбери и Резерфорда Эпплтона. Декабрь 2009 г. с. 14. Архивировано из оригинал (PDF) 12 марта 2012 г.. Получено 14 сентября 2010.
- ^ «Системные интерфейсы». pubs.opengroup.org. Получено 2020-09-24.
- ^ «Статический анализ кода для встроенных систем» (PDF).
- ^ «План распространения и использования знаний (Результат ДНК2.11 ЕС») (PDF). 2010.
- ^ «Entwurf und Implementierung eines adaptiven, strahlentoleranten eingebetteten Systems am Beispiel eines Read-Out-Controllers (En: Разработка и внедрение адаптивной, устойчивой к радиации встроенной системы для работы с контроллером считывания)» (PDF). 2010. Архивировано с оригинал (PDF) 11 марта 2012 г.
- ^ «Концепция мониторинга системы Wettzell и первые реализации» (PDF). Международная служба РСДБ по геодезии и астрометрии. 2010. с. 447.
- ^ «Поиск уязвимостей в большом программном обеспечении: пакет OpenOffice» (PDF).
- ^ «Представляем проект« Автоматический анализ кода Debian »(DACA)». LWN.net.
- ^ Cppcheck на Github
- ^ Cppcheck в системе отслеживания пакетов Debian
- ^ Порт FreeBSD
- ^ «Список ошибок, обнаруженных cppcheck, по сообщениям пользователей».
- ^ «Список найденных ошибок». SourceForge. Архивировано из оригинал на 2013-10-14.
- ^ "SourceForge.net: cppcheck". sourceforge.net. Архивировано из оригинал на 2012-07-18.
- ^ "плагин cppcheck для CLion". plugins.jetbrains.com.
- ^ "Cppcheclipse". github.com.
- ^ "Flycheck". github.com.
- ^ "плагин gedit Cppcheck". github.com. Архивировано из оригинал на 2012-12-17.
- ^ "Плагин Cppcheck". hudson-ci.org. Архивировано из оригинал на 2017-10-26. Получено 2010-09-15.
- ^ "Плагин Cppcheck". jenkins-ci.org.
- ^ Куллманн, Кристоф (2 февраля 2013 г.). "Новости плагина Kate Project - Анализ кода". Кейт | Получите преимущество в редактировании. Получено 2016-12-14.
- ^ Функ, Кевин (2016-12-06). "Плагин Cppcheck KDevelop, объединенный с kdevelop.git, будет выпущен в версии 5.1". Получено 2016-12-14.
- ^ "Галерея плагинов Qt Creator". Qt Wiki.
- ^ "Плагин Sublimelinter". github.com.
- ^ «Надстройка Cppcheck». Visual Studio Marketplace.
- ^ VioletGiraffe. "Домашняя страница cppcheck-vs-addin". Получено 3 марта 2014.
- ^ Srix. «Простой инструмент статического анализа с открытым исходным кодом для Visual Studio». Архивировано из оригинал на 2015-02-10. Получено 27 августа 2012.
- ^ Сковетта, Майкл. "Яска".