В докладе будут дан обзор и анализ эффективности статических анализаторов(cppcheck, clang-analyzer, Klocwork Insight, Parasoft® C/C++test®) в крупных проектах (порядка 400000 строк кода). Для получения более точных результатов было взято две ревизии, одна из которых писалась менее опытной командой разработчиков, а вторая переписывалась и дополнялась более опытной, а также была проведена сборка проекта с включенным выводом всех предупреждений при компиляции. Полученные результаты были сравнены между собой внутри одной ревизии по количеству, структуре и пересечениям сообщений и проведен анализ дублирования сообщений анализатора с выданными компилятором предупреждениями, а также сравнено изменение структуры и количества сообщений между различными ревизиями.
Александр Казанский
инженер-программист, ООО АУРИГА
Закончил МИРЭА (ТУ), специальность 200401 Биотехнические и медицинские аппараты и системы. Работаю программистом около 5 лет, до этого ( и частично совмещал) работал в ИРЭ им. В.А. Котельникова РАН инженером по близкой к специальности тематике, где в общем-то тоже занимался программированием, но поскольку там много чего писалось на уровне прототипов засчитать это в опыт работы именно программистом не могу. Основная область — разработка под iOs, основной язык Objective-C, но также время от времени привлекаюсь к проектам на C++ и к имеющем медицинскую тематику.