静态分析

不运行程序就检查它。能发现未使用变量、可能的空引用、资源未关闭。