开发者 smatch.sf.net

smatch source matcher 免费

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