代码检查工具,可以用来检查你代码中的一些BUG,或者冗余的程序