Coccinelle — The Linux Kernel documentation

submited by

Style Pass

2024-12-26 03:30:04

Contents Development process Submitting patches Code of conduct Maintainer handbook All development-process docs Core API Driver APIs Subsystems Locking Licensing rules Writing documentation Development tools Kernel Testing Guide Checkpatch clang-format 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 report mode Detailed description of the patch mode Detailed description of the context mode Detailed description of the org mode Sparse KCOV: code coverage for fuzzing Using gcov with the Linux kernel Kernel Address Sanitizer (KASAN) Kernel Memory Sanitizer (KMSAN) Undefined Behavior Sanitizer - UBSAN Kernel Memory Leak Detector Kernel Concurrency Sanitizer (KCSAN) Kernel Electric-Fence (KFENCE) Debugging kernel and modules via gdb Using kgdb, kdb and the kernel debugger internals Linux Kernel Selftests KUnit - Linux Kernel Unit Testing The Kernel Test Anything Protocol (KTAP), version 1 UAPI Checker Linux Kernel GPIO based sloppy logic analyzer Using AutoFDO with the Linux kernel Using Propeller with the Linux kernel Testing guide Hacking guide Tracing Fault injection Livepatching Rust Administration Build system Reporting issues Userspace tools Userspace API Firmware Firmware and Devicetree CPU architectures Unsorted documentation Translations This Page Show Source

Coccinelle is a tool for pattern matching and text transformation that has many uses in kernel development, including the application of complex, tree-wide patches and detection of problematic programming patterns.