17-Jun-2011: KEDR 0.3 released

KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.
Version 0.3 brings several enhancements and various bug fixes.

Most significant changes (see ChangeLog for details):

  • Handling of intercepted function calls has been revisited to allow doing several kinds of analysis at the same time (e.g. performing fault simulation and memory leak detection simultaneously).
  • The components responsible for fault simulation are now decoupled from call monitoring (call tracing) facilities and can be used independently if necessary.
  • Several enhancements and fixes have been applied to the trace capturing utility (kedr_capture_trace).
  • Stack trace-related API has been revisited and simplified. The API works now even if save_stack_trace() is not available.
  • Handling of allocations and frees in the memory leak detector is now deferred via a work queue. This allows to significantly reduce the time spent with locks held.

Downloads as well as links to other useful information can be found at the project home page, http://kedr.berlios.de/

KEDR 0.3 can also be downloaded from http://forge.ispras.ru/projects/kedr/files.
Online documentation: http://kedr.berlios.de/kedr-doc/index.html
A step-by-step tutorial: http://kedr.berlios.de/kedr-doc/getting_started.html