27-Sep-2012: KEDR 0.4 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 brings several enhancements and various bug fixes.

The most significant changes (see ChangeLog for details):

  • KEDR now supports kernel versions 3.3-3.6.
  • LeakCheck has been redesigned: the analysis engine has been separated from data collection which makes the tool easier to maintain and to extend. The API it provides allows to use the memory leak detector in more cases than before.
  • Handling of the information about signatures of the processed functions has been revisited to remove duplicate code and make the components involved easier to configure and to maintain.
  • 12 more functions that allocate or deallocate memory are now processed, so are the functions kfree_rcu() expands to.
  • Many fixes have been made in LeakCheck, fault simulation and other subsystems.
  • Support for kernel version 2.6.31 has been dropped. The minimum supported kernel version is now 2.6.32.

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 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