26-Feb-2013: KEDR 0.4.1 released

KEDR is an extensible system for dynamic analysis of Linux kernel modules (device drivers, file system modules, etc.). KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.
Version 0.4.1 brings support for kernel versions 3.7 and 3.8. Several bug fixes have also been made.

Downloads as well as links to other useful information can be found at the project home page, http://code.google.com/p/kedr/

KEDR 0.4.1 can also be downloaded from http://forge.ispras.ru/projects/kedr/files.
Online documentation: http://code.google.com/p/kedr/wiki/kedr_manual
A step-by-step tutorial: http://code.google.com/p/kedr/wiki/kedr_manual_getting_started