splint - 夹板超出范围错误

Question

我正在使用 Splint 3.1.2，并且在我的代码中执行 Splint 期间出现超出范围错误。我的代码有 2000 个 .C 文件，由于超出范围错误，我的执行每次都在某些 .c 文件中停止。谁能帮我解决这个问题？？？。