Подходы к синтаксическому и частичному семантическому анализу языков программирования с динамической типизацией

Саитов Р.И.

Омский государственный технический университет, Омск

Ключевые слова: динамическая типизация, статический анализ, синтаксический анализ, семантический анализ, абстрактное синтаксическое дерево, частичный семантический анализ, контекстно-зависимые методы, эвристический анализ.

Аннотация. Актуальность работы обусловлена сложностью статического анализа программ на языках с динамической типизацией, где значительная часть семантической информации раскрывается только на этапе выполнения. Традиционные методы, ориентированные на строгую типизацию, недостаточно эффективны из-за отсутствия явных типов и динамического связывания. Цель исследования – анализ подходов к синтаксическому и частичному семантическому анализу динамически типизированных языков, а также обоснование роли абстрактного синтаксического дерева как основы для последующего анализа. Рассмотрены этапы лексического и синтаксического разбора, построение абстрактного синтаксического дерева и методы извлечения семантической информации в условиях неполной типовой определённости. Показано, что применение эвристических и контекстно-зависимых методов (анализ областей видимости и потоков данных) повышает точность выявления ошибок (необъявленные идентификаторы, нарушения областей видимости). Полученные результаты систематизируют подходы к статическому анализу и могут быть использованы при разработке средств поддержки программирования и автоматической обработки кода.