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
Main development area for KEDR is at Google Code (http://code.google.com/p/kedr/).
For convenience, news and downloads for this project are available here as well as at BerliOS Developer (http://developer.berlios.de/projects/kedr/).