Сборники трудов ИСП РАН


Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования.

В.Н. Игнатьев.

Аннотация

Для достижения переносимости, надёжности и безопасности программ на С и С++ может применяться введение дополнительных ограничений на язык и стиль программирования. В работе предложен новый метод формализации и классификация таких ограничений, описана система их автоматической проверки, основанная на применении быстрого и нетребовательного к ресурсам статического анализа, использующего средства компилятора, а также способ её интеграции с распространёнными системами сборки проектов.

Ключевые слова

стандарты написания исходного текста программ; статический анализ; LLVM; CLANG

Издание

Труды Института системного программирования РАН, том 22, 2012, стр. 169-188.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2012-22-11

Полный текст статьи в формате pdf Вернуться к содержанию тома