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


«Ленивый» анализ исходного кода на языках С и С++.

В.О. Савицкий, Д.В. Сидоров.

Аннотация

В статье описывается метод построения синтаксического анализатора, позволяющий существенно сократить требуемые для анализа ресурсы. Метод основан на том факте, что каждый исходный файл подключает множество заголовков, из которых используется лишь небольшое количество определений. Разбор определений из заголовков можно пропускать до момента непосредственного обращения к ним, таким образом, неиспользуемые определения анализироваться не будут. Отличительной особенностью метода является необходимость внесения лишь небольшого количества изменений в существующий парсер. Метод реализован в статическом анализаторе Klocwork Insight.

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

ленивый анализ, синтаксический анализ, C/C++

Издание

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

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

DOI: 10.15514/ISPRAS-2012-23-8

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