|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
Д. Н. Субботин, А. Е. Бородин, В. В. Дворцова, “Статический анализ ассоциативных массивов в Go”, Труды ИСП РАН, 36:3 (2024), 21–34  |
| 2. |
В. О. Афанасьев, А. Е. Бородин, А. А. Белеванцев, “Статический анализ для языка Scala”, Труды ИСП РАН, 36:3 (2024), 9–20 |
|
2023 |
| 3. |
В. О. Афанасьев, А. Е. Бородин, К. И. Вихлянцев, А. А. Белеванцев, “Статический анализ на основе обобщённого абстрактного синтаксического дерева”, Труды ИСП РАН, 35:6 (2023), 103–120 |
|
2022 |
| 4. |
В. О. Афанасьев, В. В. Дворцова, А. Е. Бородин, “Статический анализатор для языков с обработкой исключений”, Труды ИСП РАН, 34:6 (2022), 7–28 |
1
|
|
2021 |
| 5. |
В. О. Афанасьев, С. А. Поляков, А. Е. Бородин, А. А. Белеванцев, “Kotlin с точки зрения разработчика статического анализатора”, Труды ИСП РАН, 33:6 (2021), 67–82 |
1
|
| 6. |
А. Е. Бородин, А. В. Горемыкин, С. П. Вартанов, А. А. Белеванцев, “Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace”, Труды ИСП РАН, 33:1 (2021), 7–32 |
3
|
|
2020 |
| 7. |
А. Е. Бородин, И. А. Дудина, “Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения”, Труды ИСП РАН, 32:6 (2020), 87–100 |
3
|
| 8. |
С. А. Поляков, А. Е. Бородин, “Обнаружение дефекта взаимной блокировки с помощью статического анализа”, Труды ИСП РАН, 32:5 (2020), 21–34 |
1
|
|
2016 |
| 9. |
Р. Р. Мулюков, А. Е. Бородин, “Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ”, Труды ИСП РАН, 28:5 (2016), 145–158  |
7
|
| 10. |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин, “Поиск ошибок доступа к буферу в программах на языке C/C++”, Труды ИСП РАН, 28:4 (2016), 149–168 |
5
|
|
2015 |
| 11. |
А. Е. Бородин, А. А. Белеванцев, “Статический анализатор Svace как коллекция анализаторов разных уровней сложности”, Труды ИСП РАН, 27:6 (2015), 111–134 |
17
|
|
Обратная связь: