カーネルの開発ツール¶
This document is a collection of documents about development tools that can be used to work on the kernel. For now, the documents have been pulled together without any significant effort to integrate them into a coherent whole; patches welcome!
Table of contents
- Coccinelle
- Getting Coccinelle
- Supplemental documentation
- Using Coccinelle on the Linux kernel
- Coccinelle parallelization
- Using Coccinelle with a single semantic patch
- Controlling Which Files are Processed by Coccinelle
- Debugging Coccinelle SmPL patches
- .cocciconfig support
- Additional flags
- SmPL patch specific options
- SmPL patch Coccinelle requirements
- Proposing new semantic patches
- Detailed description of the
reportmode - Detailed description of the
patchmode - Detailed description of the
contextmode - Detailed description of the
orgmode
- Sparse
- kcov: ファジングのコードカバレッジ
- Linux カーネルで gcov を使う
- Kernel Address Sanitizer (KASAN)
- Undefined Behavior Sanitizer - UBSAN
- Kernel Memory Leak Detector
- gdb でカーネルとモジュールをデバッグする
- kgdb と kdb の使い方とカーネルデバッガーの内部
- Linux カーネルセルフテスト