|
Системы и средства информатики, 2016, том 26, выпуск 2, страницы 43–62
(Mi ssi461)
|
|
|
|
Лексический анализ динамически формируемых строковых выражений
М. И. Полубелова, С. В. Григорьев Санкт-Петербургский государственный университет
Аннотация:
Строковые выражения могут использоваться для формирования и последующего исполнения кода во время выполнения основной программы. Такой подход обладает высокой выразительностью, однако затрудняет разработку, отладку и сопровождение, а также является источником таких уязвимостей, как внедрение SQL (Structural Query Language) и межсайтовый скриптинг. Статический анализ строковых выражений предназначен для борьбы с недостатками подхода посредством проверки того, что все формируемые выражения удовлетворяют некоторым свойствам, без запуска программы. Лексический анализ, или токенизация формируемого кода, является важным шагом такого статического анализа. В статье описан автоматизированный подход к созданию лексических анализаторов динамически формируемого кода, который позволит упростить создание инструментов, предназначенных для статического анализа такого кода.
Ключевые слова:
анализ строковых выражений; генератор лексических анализаторов; лексический анализ; встроенные языки.
Поступила в редакцию: 26.02.2016
Образец цитирования:
М. И. Полубелова, С. В. Григорьев, “Лексический анализ динамически формируемых строковых выражений”, Системы и средства информ., 26:2 (2016), 43–62
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ssi461 https://www.mathnet.ru/rus/ssi/v26/i2/p43
|
Статистика просмотров: |
Страница аннотации: | 251 | PDF полного текста: | 540 | Список литературы: | 37 |
|