Институт системного программирования Роcсийской академии наук


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

Декларативный язык, позволяющий пользователю проводить поиск поддеревьев в синтаксическом дереве, построенном по коду на языках C/C++, Java и C#. Искомое поддерево задается в виде шаблона, который легко модифицировать в соответствии с потребностями конкретного пользователя. В настоящее время KAST используется для выявления синтаксических структур, представляющих собой дефекты исходного кода. Ведутся работы по использованию KAST для автоматической трансформации кода и выявления в нём повторяющихся фрагментов. Компилятор языка реализован в рамках работ с компанией Klocwork a Rogue Wave Company и встроен в продукты компании, которые внедрены в крупнейших мировых компаниях по производству аппаратных и программных средств.

Публикации

  1. Н.Л. Луговской, С.В. Сыромятников. Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов. Труды Института системного программирования РАН Том 25. 2013 г. Стр. 51-66.
  2. С.В. Сыромятников. Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST. Труды Института системного программирования РАН Том 20. 2011 г. Стр. 51-68.

Разработчик/участник

Системное программирование

Перейти к списку всех технологий