Syntax error detection in dynamically generated code

Abstract

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

String-embedded languages complicate static error detection which reduces reliability of the target systems. The framework for static analysis of string-embedded languages is being developed in the research project YaccConstructor. The algorithm for parsing of dynamically generated code is implemented as a part of the framework. It constructs the parsing forest for all correct strings, but ignores syntactical errors which restricts the framework applicability. In this work, we present an algorithm for parsing of dynamically generated code, extended with error detection. Modified algorithm correctness is proved and it is implemented in the YaccConstructor project.