Анализаторы кода

Автор статьи концентрируется на задаче улучшения процесса разработки C++ кода. Он описывает основные моменты, которые следует учитывать при анализе, отладке и улучшении кода. Сюда относятся использование статического анализа, создание набора юнит- и регрессионных тестов и т.д. Статья содержит четыре раздела, каждый из которых посвящен конкретному методу, и примеры кода.

Внедрение статического анализа в процесс разработки программного обеспечения дает программисту много преимуществ. В статье предлагается обзор наиболее популярных инструментов статического анализа в нескольких классификациях, включая инструменты для анализа языка Java, инструменты для проверки безопасности кода и т.д. Авторы также обращают внимание на различные аспекты внедрения статического анализа, такие как создание стандарта кодирования, реализация автоматической проверки, процесс оценки кода, сохранение результатов, работа с новым и устаревшим кодом, а также вопрос обучения разработчиков.

Переполнения стэка могут быть очень опасными в системах с высоким уровнем интеграции, их сложно обнаружить и отладить, поэтому очень важно предотвратить их появление, проведя анализ стэка заранее. В этой статье рассказывается, каким образом статический анализ стэка может помочь в решении данной задачи, какие обстоятельства могут препятствовать его успешному осуществлению, а также приводится несколько советов, как можно использовать компилятор и специальный инструмент AdaCoreТs GNATstack при анализе стэка.

Автор данной заметки приводит список инструментов для анализа C++ кода, в котором он перечисляет разнообразные коммерческие и некоммерческие инструменты. Для каждого пункта имеется краткое описание и ссылка на соответствующий сайт.

Данный пост касается метода поиска дефектов в строках исходного кода самых разнообразных проектов с помощью нового инструмента поиска исходного кода Google Code Search. Автор объясняет, как можно легко находить ошибки в коде, вводя в строке поиска определенные выражения и символы. В посте дается несколько примеров, которые наглядно демонстрируют применение описанной техники.

Эта статья будет интересна любому пользователю, связанному с программированием на C++, поскольку в ней описывается попытка авторов изучить самые популярные анализаторы С++ кода на основе специальных правил и примеров ошибочного кода, которые анализировались инструментами. База тестирования и его результаты подробно описаны и приведены в таблицах и примерах кода.

В наши дни, когда медицина задействует сложные устройства для лечения и диагностирования пациентов, любые дефекты и ошибки в программном обеспечении, которое в них используется, должны быть исключены. Статья освещает вопрос статического анализа таких программных систем. В ней несколько разделов, в которых объясняется сущность статического анализа, перечисляются классы ошибок, как общих для программного обеспечения в целом, так и специфических для медицинских устройств, даются советы по выбору наилучшего инструмента статического анализа и перечисляются факторы, которые при этом нужно учитывать.

Wiki-ресурс, посвященный статическому анализу кода. В нем описывается сущность данной технологии и дается много ссылок на другие материалы по инструментам статического анализа и смежным областям.

Настоящая статья посвящена технологии анализа BugDetective от корпорации Parasoft, которая предоставляет разработчикам такие преимущества как возможность быстрой модификации кода, гибкая система тестирования, сосредоточение на реальных ошибках и дефектах и т.д. В статье очень подробно описывается принцип работы BugDetective и способы ее использования в сочетании с другими методами тестирования. В тексте содержится множество пояснительных примеров кода и скриншотов.