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

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 253 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.

Наиболее важные изменения, которые вошли в 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.