Собственные публикации и доклады

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

Авторы: Варяник А.С., Грищенко В.И.

Описание: В статье проведен анализ компонентов баз данных, влияющих на качество работы и производительность.

Источник: Информатика, управляющие системы, математическое и компьютерное моделирование (ИУСМКМ-2018) / Сборник материалов IX Международной научно-технической конференции в рамках IV Международного Научного форума Донецкой Народной Республики – Донецк, ДонНТУ – 2018 г.

2. Лексический и синтаксический разбор как первый этап статического анализа SQL-кода

Авторы: Варяник А.С., Грищенко В.И.

Описание: В статье выявлена сущность и предмет статического анализа SQL-кода для оценки качества структуры базы данных. Выделены этапы подготовки исходного SQL к процессу статического анализа. Исследованы существующие средства реализации лексического и синтаксического разбора и их применения в контексте задачи.

Источник: Программная инженерия: методы и технологии разработки информационновычислительных систем (ПИИВС-2018) / Сборник материалов II Международной научно-практической конференции (студенческая секция) – Донецк, ДонНТУ – 2018 г. – 19-22 c.

Тематические статьи

3. Как правильно использовать статический анализ

Авторы: Блог компании Ростелеком-Solar

Описание: Статья посвящена рекомендациям по внедрею статического анализа в производстве и проблемах, возникающих в данном процессе.

Источник: Habrahabr

4. Abstract Syntax Tree Implementation Idioms

Авторы: Jones J.

Описание: В статье описаны проблемы и решение задачи представления конструкций исходного кода, полученные в результате анализа, на языке реализации транслятора.

Источник: The Hillside Group

5. Global Data Flow Analysis and Iterative Algorithms

Авторы: Kam, John B., Ullman J.

Описание: В статье описаны алгоритмы анализа потока данных, а также построения и обработки графа потока управления программой

Источник: Sarita Adve's Research Group

6. Использование зависимостей для повышения точности статического анализа программ

Авторы: Глухих М.И., Ицыксон В.М., Цесько В.А.

Описание: Статья посвящена разработке методов анализа зависимостей с целью повышения точности статического анализа. Рассмотрены причины, ведущие к снижению точности абстрактной интерпретации при обнаружении дефектов в программном коде.

Источник: Общероссийский математический портал

7. Технологии статического и динамического анализа уязвимостей программного обеспечения

Авторы: Аветисян А., Белеванцев А., Чукляев И.

Описание: В статье описано практическое использование статического анализа для поиска ошибок и уязвимостей в исходном коде.

Источник: Журнал «Вопросы кибербезопасности»

8. Обработка запросов в системах баз данных

Авторы: Соколинский Л.Б.

Описание: В статье описан процесс лексического и синтаксического анализа SQL-запросов, а так же обработка полученного дерева разбора.

Источник: Леонид Борисович Соколинский. Официальная страница

9. Clone Detection Using Abstract Syntax Trees

Авторы: Baxter I., Yahin A.

Описание: В статье описаны принципы поиска дубликатов в исходном коде с использованием абстрактных синтаксических деревьев.

Источник: Semantic Designs

Переводы статей

10. Анализ кода базы данных

Авторы: William B.

Автор перевода: Варяник А.С.

Описание: В статье приведены мысли автора о статическом и динамическом анализе SQL-кода базы данных и личный опыт встраивания этого процесса в разработку в корпоративной среде.

Источник(англ.): Redgate Software