Note: the development of KEDR framework stopped years ago.
To track ever changing in-kernel APIs and adapting KEDR to that turned out to be a bad idea, it made the system very hard to maintain.

The code repository remains here just for reference.

The original description of this project follows.
-----------------------

KEDR is a framework for dynamic (runtime and post factum) analysis of Linux kernel modules, including device drivers, file system modules, etc. The components of KEDR operate on the kernel modules chosen by the user. They can intercept the function calls made by the modules and, based on that, detect memory leaks, simulate resource shortage in the system as well as other uncommon situations, etc.

For the present, KEDR is provided for 32- and 64-bit x86 systems.

KEDR can be used in the development of kernel modules, for example, as a component of QA system, as well as when analyzing the kernel failures on a user's system (technical support). Certification systems and other automated verification systems for kernel-mode software can also benefit from it.

More information about KEDR is available in the Wiki: https://github.com/euspectre/kedr/wiki.