13.05.2015: Выпущен инструментарий LDV Tools 0.8

Наиболее важные изменения, которые вошли в LDV Tools 0.8:

Результаты валидации инструментария LDV Tools версий 0.8 и 0.7 с различными инструментами верификации на наборе, состоящем из 41 известной ошибки в ядре Linux, представлены ниже в таблице.

LDV Tools 0.8 LDV Tools 0.7
BLAST CPAchecker BLAST CPAchecker
Найденные ошибки 19 18 19 15
Пропущенные ошибки По причине проблем в инструментах верификации 3 2 3 2
Нехватка памяти (63 гигабайта) 2 0 1 2
Нехватка времени (50 минут) 0 5 0 6
По другим причинам 17 16 18 16

Благодаря изменениям, описанным здесь, в инструмент CPAchecker новой версии смог найти на три ошибки больше.

Исходный код LDV Tools 0.8 доступен в репозитории по тегу v0.8. Инструкции по сборке представлены здесь. Если вы хотите использовать собранную версию инструментария LDV Tools, пожалуйста, используйте инструкцию Использование LDV Tools в Docker.