Вопросы эффективности использования статических анализаторов на проектах с большим количеством строк кода (Александр Казанский, SECR-2014)

Короткая ссылка: 20141024DK

Содержание

1 Аннотация
2 Видео
3 Слайды
4 Примечания и отзывы

Аннотация

Докладчик: Александр Казанский

В докладе будут дан обзор и анализ эффективности статических анализаторов(cppcheck, clang-analyzer, Klocwork Insight, Parasoft® C/C++test®) в крупных проектах (порядка 400000 строк кода).
Для получения более точных результатов было взято две ревизии, одна из которых писалась менее опытной командой разработчиков, а вторая переписывалась и дополнялась более опытной, а также была проведена сборка проекта с включенным выводом всех предупреждений при компиляции.
Полученные результаты были сравнены между собой внутри одной ревизии по количеству, структуре и пересечениям сообщений и проведен анализ дублирования сообщений анализатора с выданными компилятором предупреждениями, а также сравнено изменение структуры и количества сообщений между различными ревизиями.