开发者 smatch.sf.net

查找内核错误的实验。斯马奇有两个主要部分。 第一个是补丁到gcc源打印出大量的信息。 第二部分是用于分析信息的 perl 脚本和库的集合。