关于静态检查的感悟

      看到第三个pdf的一道例题时，我发现我好像把静态检查与静态错误的概念弄混淆了，

如上题，静态检查确实有助于发现这个bug，因为这个bug属于动态错误，动态错误在静态检查的范围之内。本以为第三个选项是错误的，因为这个bug起因是数据存储空间不足，不在静态错误的范围之内。