Tags : Browse Projects

KEDR is a framework to facilitate dynamic analysis of kernel modules in Linux ("KEDR" is an acronym for "KErnel-mode Drivers in Runtime"). KEDR allows to intercept the calls that a kernel module makes to the functions exported by other modules and by the kernel proper. The tools provided by the ... [More] framework can record the arguments and return values of these functions to a trace, perform fault simulation according to user-defined scenarios, check the kernel modules for memory leaks and some other kinds of problems. Custom data collection and analysis tools for the Linux kernel can also be built on top of KEDR framework. [Less]

Data race detector for the Linux kernel.