В ближайшее время мы планируем выпустить следующий релиз Svace 3.3.1.
Это баг-фикс релиз с небольшим добавлением новых возможностей.
Основные изменения:
Были улучшены многие детекторы: NO_EFFECT, NO_CATCH, NO_CATCH.STRICT, BUFFER_SIZE_MISMATCH,
ASSIGN_NO_REFERENCE_TO_THIS, TAINTED.NONTERMINATED_STRING, DYNAMIC_OVERFLOW, DEREF_OF_NULL.STRICT,
TAINTED_ARRAY_INDEX, STRING_MISMATCH_WIDE_NARROW, USE_AFTER_RELEASE.
Улучшена поддержка Go-анализа. Теперь Svace умеет анализировать замыкания с захваченными переменными. Исправлена проблема производительности повторного анализа с кэшем.
Уменьшено потребление памяти при построении графа вызовов и на предварительной фазе.
Добавлен параметр --analyze-storage-dir для установки директории для анализа с кэшем.
Осенью мы планируем выпустить релиз 3.3.2.
Если будут найдены существенные недостатки, то сделаем обновление для 3.3.1 с исправлением.