看到第三个pdf的一道例题时，我发现我好像把静态检查与静态错误的概念弄混淆了，
如上题，静态检查确实有助于发现这个bug，因为这个bug属于动态错误，动态错误在静态检查的范围之内。本以为第三个选项是错误的，因为这个bug起因是数据存储空间不足，不在静态错误的范围之内。
关于静态检查的感悟
原文：https://www.cnblogs.com/1160300126qyx/p/9191487.html
