Реализуется система навигации по коду для инструмента управления результатами статического анализа. Основной задачей эксперта при работе с инструментом статического анализа является разметка результатов. Разметка заключается в оценке валидности выданных предупреждений. Для проведения разметки часто требуется навигация по различным участкам кодовой базы. Предоставление удобных инструментов навигации, которые могут так же учитывать дополнительные данные, собранные статическим анализатором, существенно облегчает работу эксперта.

Кожанов М.С. (науч. рук. Королькова Т.В.) Разработка системы навигации по коду для инструмента управления результатами статического анализа Svacer // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2024]. URL: https://kmu.itmo.ru/digests/article/11989