很好的静态检查工具，让你的代码bug在编译前消失。