RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН // Архив

Труды ИСП РАН, 2024, том 36, выпуск 3, страницы 49–62 (Mi tisp887)

Support of Visual Basic .NET in SharpChecker Static Analyzer

[Поддержка Visual Basic .NET в статическом анализаторе SharpChecker]

V. S. Karcevab, V. N. Ignatyevac

a Ivannikov Institute for System Programming of the RAS
b Moscow Institute of Physics and Technology (National Research University), Dolgoprudny, Moscow Region
c Lomonosov Moscow State University

Аннотация: В этой статье представлена реализация статического анализа для Visual Basic .NET (VB.NET) в промышленном инструменте SharpChecker. Используя фреймворк компилятора Roslyn, анализ VB.NET был интегрирован в SharpChecker, что позволило выполнять статический анализ кода для проектов VB.NET. Процесс включал в себя создание поддержки для проектов VB.NET, создание всеобъемлющего набора тестов, реализацию индексатора исходного кода и адаптацию существующих анализаторов для поддержки узлов и операций синтаксиса VB.NET. Оценка переведенных тестов и реальных проектов продемонстрировала приемлемое для производства качество анализа, проложив путь для улучшенного обслуживания проектов VB.NET. Кроме того, исследование подчеркнуло возможности SharpChecker для кросс-языкового анализа, продемонстрировав его способность эффективно обрабатывать смешанные проекты C# и VB.NET.

Ключевые слова: статический анализ кода, обнаружение уязвимостей, VB.NET

Язык публикации: английский

DOI: 10.15514/ISPRAS-2024-36(3)-4



© МИАН, 2024