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

После более 2-х лет активной разработки был выпущен инструментарий LDV Tools 0.4. Эта версия включает в себя множество улучшений и исправлений ошибок. В целом она состоит из около 900 изменений, которые были сделаны только в репозитории LDV Tools, не включая подмодули. Наиболее существенные изменения следующие:

Валидация LDV Tools 0.4 с разными инструментами верификации на 38 известных ошибках в ядре Linux показала, что:

  • BLAST способен выявить 11 из них.
  • CPAchecker способен выявить 10 из них.

Соответствующий исходный код можно увидеть в репозитории по тэгу v0.4. Инструкции по скачиванию и установке LDV Tools описаны здесь.