Declarative Interface of Detecting Defects on Syntax Trees: KAST Language

In many cases source code defects can be detected by analyzing the corresponding syntax trees. In this article we investigate advantages and drawbacks of this approach in comparison with more complex types of static code analysis and prove that a user needs an interface for writing his own defect de...

Full description

Saved in:
Bibliographic Details
Published inTrudy Instituta sistemnogo programmirovaniâ Vol. 20
Main Author S. V. Syromyatnikov
Format Journal Article
LanguageEnglish
Published Ivannikov Institute for System Programming of the Russian Academy of Sciences 01.10.2018
Subjects
декларативный интерфейс
дефект кода
код
программа
синтаксическое дерево
чекер
шаблон
язык
Online AccessGet full text

Cover

More Information
Summary:In many cases source code defects can be detected by analyzing the corresponding syntax trees. In this article we investigate advantages and drawbacks of this approach in comparison with more complex types of static code analysis and prove that a user needs an interface for writing his own defect detectors. Different ways of implementing such an interface are considered. We also introduce a new declarative language for describing code defects that a user wants to detect, in the form of syntax tree patterns. Some aspects of the language analyzer implementation are also discussed.
ISSN:2079-8156
2220-6426