Повышаем качество кода встраиваемых систем, используя статический анализ С++
Программист в компании PVS-Studio. Занимается разработкой C++-анализатора. Ранее разрабатывал диагностические правила, проверяющие код на соответствие стандартам MISRA.
Окончил механико-математический факультет ТулГУ по специальности "Прикладная математика и информатика", а также Институт гуманитарных и социальных наук ТулГУ по специальности "Перевод и деловая коммуникация".
Автор статей о проверке проектов с открытым исходным кодом, а также докладов по теме статического анализа и MISRA.
Быстрый рост количества встраиваемых систем и IoT устройств актуализирует вопрос качества их программного кода. Помимо этого, процесс разработки для таких систем связан со сложностью отладки или использования динамических анализаторов кода. Всё это делает привлекательным использование инструментов статического анализа кода при разработке проектов для встраиваемых систем. Поговорим о существующих инструментах, чем они могут помочь, а также о стандартах кодирования (MISRA, AUTOSAR).