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


Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST.

С.В. Сыромятников.

Аннотация

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

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

синтаксическое дерево; дефект кода; чекер; программа; код; декларативный интерфейс; язык; шаблон

Издание

Труды Института системного программирования РАН, том 20, 2011, стр. 51-68.

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

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