Компания Axiom JDK внедрила статический анализатор Svace и платформу Svacer, разработанные ИСП РАН. Инструменты были интегрированы для приведения кодовой базы JDK в соответствие с новыми требованиями сертификации, в частности с ГОСТ Р 71207—2024. В ходе проверки 7 млн строк кода специалисты обнаружили и устранили около 1,2 тыс. дефектов.
Для обеспечения безопасности компания перешла на многоуровневый подход, сочетающий Svace для глубокого межпроцедурного анализа с другими SAST-решениями и open-source-линтерами. Разные движки анализа используются для расширения зоны поиска уязвимостей, так как результаты работы различных инструментов пересекаются лишь частично.
Для обработки результатов анализа Axiom JDK внедрила платформу Svacer в связке с инструментами машинного обучения. Это позволило автоматизировать классификацию предупреждений и отделять критические уязвимости от второстепенных замечаний. В рамках отлаженного процесса один разработчик обрабатывает в среднем 50 срабатываний системы в день.
