Скачать: https://nextcloud.ispras.ru/index.php/s/fpgfHgDY8ApaeY6
или установить пакет svace из deb-репозитория.
Основные нововведения:
- поддержка Java 25;
- улучшение поддержки новых стандартов языков C и C++;
- множество оптимизаций анализа по уменьшению потребления оперативной памяти;
- улучшены очень многие детекторы и сам процесс анализа.
Перехват сборки
- Названия переменных окружения больше не переводятся в верхний регистр при запуске команды svace build на Windows.
- Опции --javascript, --lua, --enterprise1c теперь могут быть указаны во множественном количестве. В таком случае сканируются все указанные файлы...
Анализ
- Сделано множество оптимизаций анализа по уменьшению потребления оперативной памяти.
- Улучшен анализ глобальных констант - выросло качество детекторов учитывающих этот анализ. Больше всего изменения коснулись групп детекторов REDUNDANT_COMPARISON* и UNREACHABLE_CODE*...
Детекторы
- Тип предупреждения INT_OVERFLOW.TRUNC.UNDER_BITMASK.LONG скрыт из-за низкого качества.
- Улучшено сообщение трассы для предупреждения OVERFLOW_AFTER_CHECK.EX....
C/C++
- Тип предупреждений VARIABLE_IS_NOT_ARRAY.UNION удалён из-за низкого качества.
- Инструкция asm("hlt") теперь считается терминирующей. Как следствие, улучшена точность определения недостижимых инструкций...
...
Подробнее можно прочитать на странице списка изменений.
