我们已经拥有了诸如静态分析之类可以告诉我们代码哪里出错…