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