weixin_41784289的博客

软件的越来越复杂，对堆栈的要求也越来越高了。如何统计，又如何优化？

越界意味着访问的位置超过了定义好的大小。在数组的操作方面，C/C++也保持了这样的作风，也就是不对访问数组的索引值进行检查，而是把这个工作交给了程序员，这样可以大幅度提高数组的效率。首先polyspace会报告这个问题，并指出数组的大小，合法的索引范围以及当前问题发生时，索隐变量的值。正是因为索引越界的问题交给了程序员，而编译器并不做这方面的检查，所谓有得必有失，或许就是这个意思，这就导致数组越界的问题在C/C++中频繁发生。报告不仅报告了问题，还报告期望的索引值，实际给入的索引值，甚至风险和修复的建议。