Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2023, том 35, выпуск 5, страницы 169–192
DOI: https://doi.org/10.15514/ISPRAS-2023-35(5)-12 (Mi tisp822) 		 
Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang

Р. А. Бучацкийa, Я. А. Чуркинba, К. А. Чибисовa, М. В. Пантилимоновa, Е. В. Долгодворовac, А. В. Вязовцевac, А. Г. Волоховa, В. В. Труновac, Г. О. Миракянd, К. Н. Китаевac, А. А. Белеванцевba

a Институт системного программирования им. В.П. Иванникова РАН
b Московский государственный университет имени М. В. Ломоносова
c Московский физико-технический институт
d Российско-Армянский университет
PDF полного текста (1369 kB)
DOI: https://doi.org/10.15514/ISPRAS-2023-35(5)-12
Аннотация: MISRA C – это сборник правил и рекомендаций по программированию на языке C, который является фактическим стандартом в отраслях, где безопасность играет ключевую роль. Стандарт разработан консорциумом MISRA (Motor Industry Software Reliability Association) и включает в себя набор рекомендаций, которые позволяют использовать язык C для разработки безопасного, надежного и переносимого программного обеспечения. MISRA широко применяется во многих отраслях с высокими требованиями к надежности, включая аэрокосмическую, оборонную, автомобильную и медицинскую.
Мы разработали статические детекторы для проверки кода на соответствие рекомендациям стандарта безопасного кодирования MISRA C 2012. Средство проверки кода основано на компиляторной инфраструктуре LLVM/clang. В данной статье описываются стратегии, лежащие в основе проектирования и реализации детекторов. На тестовых примерах MISRA С предложенные детекторы с высокой точностью определяют соответствие или нарушение рекомендациям. Также детекторы показывают большее покрытие и лучшую скорость работы, чем Cppcheck, популярный статический анализатор с открытым исходным кодом.
Ключевые слова: MISRA, статический анализ, символьное выполнение, LLVM, Clang, Clang-Tidy, статический анализатор Clang
Тип публикации: Статья
Образец цитирования: Р. А. Бучацкий, Я. А. Чуркин, К. А. Чибисов, М. В. Пантилимонов, Е. В. Долгодворов, А. В. Вязовцев, А. Г. Волохов, В. В. Трунов, Г. О. Миракян, К. Н. Китаев, А. А. Белеванцев, “Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang”, Труды ИСП РАН, 35:5 (2023), 169–192
Цитирование в формате AMSBIB
\RBibitem{BucChuChi23}
\by Р.~А.~Бучацкий, Я.~А.~Чуркин, К.~А.~Чибисов, М.~В.~Пантилимонов, Е.~В.~Долгодворов, А.~В.~Вязовцев, А.~Г.~Волохов, В.~В.~Трунов, Г.~О.~Миракян, К.~Н.~Китаев, А.~А.~Белеванцев
\paper Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang
\jour Труды ИСП РАН
\yr 2023
\vol 35
\issue 5
\pages 169--192
\mathnet{http://mi.mathnet.ru/tisp822}
\crossref{https://doi.org/10.15514/ISPRAS-2023-35(5)-12}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp822
  • https://www.mathnet.ru/rus/tisp/v35/i5/p169
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:17
    PDF полного текста:31
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024