C/C++代碼檢測工具

sophistcxf

如下代碼，因為提取vector大小的時候被截斷的原因，導(dǎo)致越界。有沒有什么代碼檢測工具可以檢測出這種錯誤，我試了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.         // 此處遍歷時可能會導(dǎo)致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. }

復(fù)制代碼

VIP_fuck

既然知道是問題，為何不改了？

還是說現(xiàn)有代碼里這樣的問題很多，，一個一個檢查很費勁？

VIP_fuck

這種問題我也遇到過，不算隱藏很深，不過確實也得仔細(xì)看才行。

fender0107401

我覺得這種問題任何工具都沒戲。這個應(yīng)該算是邏輯錯誤。

windoze

errr……這種問題還要工具？！難道編譯的時候你都不看警告的？要是實在管不住自己就加一個-Werror

action08

代碼都是憑良心寫出來的


        int* pi = new int[size];這個size=o會出現(xiàn)什么問題？？呵呵