04.07.2018: Выпущен Klever 1.0

После нескольких лет работы над принципиально новой версией инструментария для верификации драйверов LDV Tools, мы рады сообщить о выпуске Klever 1.0.

Помимо переработки внутренней архитектуры в Klever реализовано множество новых возможностей:

• Возможность настройки и запуска процесса верификации через веб-интерфейс.
• Поддержка сбора и визуализации покрытия исходного кода достигнутого в ходе статического анализа.
• Современный и удобный веб-интерфейс для анализа и разметки обнаруженных ошибок.
• Интерфейс сравнения результатов верификации.
• Возможность распараллеливания процессов генерации задач верификации и обработки их результатов.
• Возможность переиспользования промежуточных результатов, полученных в ходе генерации задач верификации.
• Использование Linux control group для измерения потребления и управления ресурсами.
• Поддержка возможности конфигурирования инструментов верификации.
• Поддержка совместной верификации кода нескольких загружаемых модулей ядра.
• Поддержка автоматической установки и обновления в облаке OpenStack.

Данная версия Klever предназначена для верификации загружаемых модулей ядра Linux, но в дальнейшем планируется реализация поддержки верификации и другого программного обеспечения, разработанного на языке Си.