11-Oct-2013: Version 0.4 of LDV Tools released

After more then 2 years of active development we are happy to announce that we released LDV Tools 0.4. This version includes a lot of improvements and many bug fixes. In total it consists of about 900 commits that were made just in the LDV Tools repository not including submodules. The most significant changes are:

Validation of LDV Tools 0.4 with different verifiers on 38 known bugs in the Linux kernel showed that:

  • BLAST is able to detect 11 of them.
  • CPAchecker is able to detect 10 of them.

The source code repository can be browsed by v0.4 tag. To get and to install LDV Tools see instructions.