C/C++代码检测工具

sophistcxf

如下代码，因为提取vector大小的时候被截断的原因，导致越界。有没有什么代码检测工具可以检测出这种错误，我试了cppcheck检测不出。

1. int main(int argc, char* argv[])
   
2. {
   
3.         if (argc < 2) {
   
4.                 return -1;
   
5.         }
   
6.         vector<int> v;
   
7.         for (int i = 0; i < atoi(argv[1]); i++) {
   
8.                 v.push_back(i);
   
9.         }
   
10.         // 此处size被截断，可能会小于v.size()
    
11.         unsigned char size = v.size();
    
12.         int* pi = new int[size];
    
13.         // 此处遍历时可能会导致pi越界
    
14.         for (int i = 0; i < v.size(); ++i) {
    
15.                 pi[i] = v[i];
    
16.                 cout << pi[i] << endl;
    
17.         }
    
18.         delete[] pi;
    
19.         system("pause");
    
20.         return 0;
    
21. }

复制代码

VIP_fuck

既然知道是问题，为何不改了？

还是说现有代码里这样的问题很多，，一个一个检查很费劲？

VIP_fuck

这种问题我也遇到过，不算隐藏很深，不过确实也得仔细看才行。

fender0107401

我觉得这种问题任何工具都没戏。这个应该算是逻辑错误。

windoze

errr……这种问题还要工具？！难道编译的时候你都不看警告的？要是实在管不住自己就加一个-Werror

action08

代码都是凭良心写出来的


        int* pi = new int[size];这个size=o会出现什么问题？？呵呵