标签: splint
我正在使用Splint 3.1.2,并且在我的代码中执行Splint期间出现超出范围错误。我的代码有2000个.C文件,我的执行是每次在某些.c文件中停止,因为超出范围错误。任何人都可以帮我解决这个问题???。