title: Syntax error detection in dynamically generated code
metadata.name: dc.contributor.advisor
metadata.value: Григорьев Семен Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Азимов Рустам Шухратуллович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Azimov Rustam
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: С.В.Григорьев
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: S.V.Grigorev
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2016-10-10T02:14:26Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2016-10-10T02:14:26Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2016
metadata.name: dc.identifier.other
metadata.value: 013567
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/4503
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Использование встроенных языков затрудняет статическую диагностику ошибок, что снижает надёжность целевых систем. В рамках проекта YaccConstructor разрабатывается платформа для статического анализа динамически формируемого кода, алгоритм синтаксического анализа которой строит лес разбора для всех корректных цепочек, но игнорирует синтаксические ошибки. По этой причине её практическая применимость ограничена. В данной работе представлен алгоритм синтаксического анализа динамически формируемого кода, расширенный механизмом обнаружения ошибок. Доказана корректность модифицированного алгоритма и выполнена его реализация в проекте YaccConstructor.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: 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.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: диагностика ошибок
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: синтаксический анализ
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: обобщенный синтаксический анализ
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: динамически формируемый код
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: встроенный язык
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: error detection
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: parsing
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: RNGLR
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: dynamically generated code
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: string-embedded language
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Syntax error detection in dynamically generated code
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Диагностика синтаксических ошибок в динамически формируемом коде
metadata.lang: ru_RU
resources.filename: AzimovRustamDiploma.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/4503/1/AzimovRustamDiploma.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 648,23 kB
resources.filename: reviewSV_Azimov_Rustam-_otzyv_na_VKR.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/4503/2/reviewSV_Azimov_Rustam-_otzyv_na_VKR.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 97,49 kB
resources.filename: reviewSV_st008961_Grigorev_Semen_Vyacheslavovich_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4503/3/reviewSV_st008961_Grigorev_Semen_Vyacheslavovich_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 6,24 kB
resources.filename: reviewSV_Azimov_Rustam_review_(1).pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/4503/8/reviewSV_Azimov_Rustam_review_%281%29.pdf
resources.format: Adobe PDF
resources.description: ReviewRev
resources.size: 94,82 kB
resources.filename: reviewSV_st008961_Grigorev_Semen_Vyacheslavovich_(reviewer)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4503/9/reviewSV_st008961_Grigorev_Semen_Vyacheslavovich_%28reviewer%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewRev
resources.size: 9,27 kB