KEDR is an extensible system for dynamic (runtime and post factum) analysis and verification of Linux kernel modules. KEDR tools operate on the modules chosen by the user and can perform function call monitoring, fault simulation, memory leak detection and more.
KEDR framework has been developed at ISPRAS since April 2010.
Authors and main developers:
- Eugene A. Shatokhin
- Andrey V. Tsyvarev
KEDR 0.4 released
KEDR 0.4 supports kernel versions since 2.6.32 and up to the most recent at the moment 3.6.