Например, Бобцов

Анализатор Си-кода для GitHub-проектов

Сборник тезисов
Конференция:VI Всероссийский конгресс молодых ученых
Раздел:Информационные и интеллектуальные системы и технологии
Рубрика:Вычислительные системы
Год:2016

Анализатор Си-кода для GitHub-проектов

УДК:004.054

Аннотация

При написании кода люди часто допускают ошибки. Многие из этих ошибок можно отловить при помощи различных инструментов: -Wall, ассертами, тестами, code review, предупреждениям со стороны IDE, сборкой проекта разными компиляторами под разные ОС, работающие на разном железе, и так далее. Но даже при использовании всех этих мер ошибки часто остаются незамеченными. Немного улучшить положение дел позволяет статический анализ кода. В данной работе разработан программный продукт, который позволяет проводить статический анализ Си-кода. Данный проект заключается в том, чтобы искать плохие места в коде: передача в функции структур по значению, а не по ссылке; нахождение таких функций и файлов в GitHub-проектах и запись пометок в Issue.

Материалы конференций