Version 0.3 of LDV Tools Released

Version 0.3 of LDV Tools has been released, with 3 new rules and the new GCC-based Aspectator support!
Added by Pavel Shved over 13 years ago

The most significant changes include:

Three kernel rules were brought to a good quality level, and they now find more bugs: spin lock/unlock, memory allocation inside spin locks, and alloc/free urb — in addition to the good old mutex lock/unlock
New Aspectator (aspect-oriented programming tool for C) was integrated into the projects, and the structure and the variable names of a program processed now looks nearly as well as the original one
Concurrent and distributed execution of driver verification
Support of CPAchecker static analysis tool, as well as of BLAST

See the downloading instructions to get these tools.

The source code repository may be browsed by v0.3 tag.

Linux Driver Verification