KEDR

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.

In version 0.2.1, the build system was enhanced. Now it allows building KEDR for a kernel different from the one running on the build machine. It is also possible to build KEDR for a different system (e.g. for Chromium OS, x86-generic). The details are in the Wiki:
http://openfacts2.berlios.de/wikien/index.php/BerliosProject:KEDR