6.2.1 代码规范检查 (Coccinelle)

文档摘要

6.2.1 代码规范检查 (Coccinelle) 在 Linux 内核开发的漫长征途中，有一类错误从不喧哗，却足以让系统在凌晨三点崩溃——它们藏匿于指针解引用前未判空、资源释放后未置 NULL、锁获取与释放不配对、内存分配失败后未检查返回值……这些不是语法错误，编译器不会报错；也不是运行时异常，gdb 往往只给你一个模糊的。它们是语义层面的规范性缺陷，是代码逻辑骨架中细微却致命的裂痕。而 Coccinelle，这个诞生于 2005 年、由 Julia Lawall 团队在 INRIA 构建的静态分析引擎，正是为缝合这类裂痕而生的“语义缝合针”。