KEDR Framework

KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more. The ... [More] most significant enhancement in version 0.4.1 is the support for kernel versions 3.7 and 3.8. Several bug fixes have also been made. Downloads, links to online documentation and other useful information can be found at the project page, http://kedr.berlios.de/ [Less]

KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more. Version ... [More] 0.4 brings several enhancements and various bug fixes. The most important changes are listed in the release notes: http://kedr.berlios.de/relnotes/ReleaseNotes.txt Downloads, links to online documentation and other useful information can be found at the project page, http://kedr.berlios.de/ [Less]

KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more. Version ... [More] 0.3 brings several enhancements and various bug fixes. The most important enhancement is probably that it is now possible to perform several kinds of analysis at the same time (e.g. do fault simulation while memory leak detection is active, etc.). This and other important changes are listed in the release notes: http://kedr.berlios.de/relnotes/ReleaseNotes.txt Downloads, links to online documentation and other useful information can be found at the project home page, http://kedr.berlios.de/ [Less]

KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more. In ... [More] version 0.2.1, the build system was enhanced. Now it allows building KEDR for a kernel different from the one running on the build machine. It is also possible to build KEDR for a different system (e.g. for Chromium OS, x86-generic). The details are in the Wiki: http://openfacts2.berlios.de/wikien/index.php/BerliosProject:KEDR Downloads, links to online documentation and other useful information can be found at the project home page, http://kedr.berlios.de/ [Less]

KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more. Version ... [More] 0.2 brings several enhancements and various bug fixes. The most important changes are listed in the release notes: http://kedr.berlios.de/relnotes/ReleaseNotes.txt Downloads, links to online documentation and other useful information can be found at the project home page, http://kedr.berlios.de/ [Less]

kedr_leak_check is a tool to reveal memory leaks in Linux kernel modules, including device drivers. The tool is based on KEDR framework, an extensible system for runtime analysis of kernel modules. In this version, the tool was revisited to ... [More] identify allocations with the same call stack and to output only the latest of them along with their count, which makes the tool's output more readable. In addition, performance was improved: processing of large number of deallocations (e.g. deallocation of inode and dentry structures) is now faster. Several minor fixes were also made. The tool can be downloaded from the home page of KEDR project, http://kedr.berlios.de/ [Less]

kedr_leak_check is a tool to reveal memory leaks in Linux kernel modules, including device drivers. The tool is based on KEDR framework, an extensible system for runtime analysis of kernel modules. kedr_leak_check is easy to build and use; it does ... [More] not incur significant overhead in memory and performance. In version 0.1.2, processing of 6 more allocation and deallocation functions is added. Several minor problems have been fixed as well. The tool can be downloaded from the home page of KEDR project, http://kedr.berlios.de/ [Less]

kedr_leak_check is a tool to reveal memory leaks in Linux kernel modules, including device drivers. The tool is based on KEDR framework, an extensible system for runtime analysis of kernel modules. kedr_leak_check is easy to build and use; it does ... [More] not incur significant overhead in memory and performance. The tool can be downloaded from the home page of KEDR project, http://kedr.berlios.de/ [Less]

KEDR is an extensible system for runtime analysis of Linux kernel modules. KEDR tools operate on the modules chosen by the user and can perform function call monitoring, fault simulation and much more. Version 0.1 is the first public release of ... [More] KEDR Framework. Downloads, links to online documentation and other useful information can be found at the project home page, http://kedr.berlios.de/ [Less]