sparse linux checker
Linus同志写的工具,还是值得一看的(尽管目前已经转给他人维护了)
主要用来检查一些Kernel 代码里的bug,Linus自己写了上下文相关的C前端(代码文件到语法),
这个叫做Sparse,是一个lib,可以供各种客户端(后端)来使用,比如检查器,编译器等。
(这个前端不是用lex.yacc.flex.bison.antlr等工具实现的)
Linus也写了一个客户端也叫Sparse,来做他想要的检查,然后写了一个perl脚本cgcc用来集成Sparse
和gcc,这样就可以在编译时刻自动检查,就这些了。
主要用来检查一些Kernel 代码里的bug,Linus自己写了上下文相关的C前端(代码文件到语法),
这个叫做Sparse,是一个lib,可以供各种客户端(后端)来使用,比如检查器,编译器等。
(这个前端不是用lex.yacc.flex.bison.antlr等工具实现的)
Linus也写了一个客户端也叫Sparse,来做他想要的检查,然后写了一个perl脚本cgcc用来集成Sparse
和gcc,这样就可以在编译时刻自动检查,就这些了。

0 Comments:
发表评论
<< Home