Sekarang PVS-Studio tahu lebih baik tentang jenis hewan ini - strlen

Entah bagaimana hal itu terjadi begitu tidak adil sehingga kami hampir tidak memperhatikan dalam catatan kami untuk peningkatan mekanisme internal penganalisis, berbeda dengan diagnostik baru. Jadi mari kita lihat peningkatan baru yang berguna untuk analisis aliran data untuk perubahan.

Semuanya dimulai dengan tweet dari JetBrains CLion IDE

Twitter JetBrains , CLion.

PVS-Studio CLion, , . PVS-Studio CLion, .

:

• clang-analyzer;
• :)

. ! . ? - , . .

Data Flow

, , , , PVS-Studio . , . :

bool foo()
{
  unsigned N = 2;
  for (unsigned i = 0; i < N; ++i)
  {
    bool stop = (i - 1 == N);
    if (stop)
      return true;
  }
  return false;
}
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

, stop false.

false? :

• i = [0; 1];
• i-1 = [0; 0] U [UINT_MAX; UINT_MAX];
• N, , { 0, UINT_MAX };
• .

. , (wrap) .

PVS-Studio . , .

, , . , , strlen. , .

, , FCEUX. Assemble.

int Assemble(unsigned char *output, int addr, char *str) {
  output[0] = output[1] = output[2] = 0;
  char astr[128],ins[4];
  if ((!strlen(str)) || (strlen(str) > 0x127)) return 1;
  strcpy(astr,str);
  ....
}
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

? , , - . , , , .

PVS-Studio: V512 A call of the 'strcpy' function will lead to overflow of the buffer 'astr'. asm.cpp 21

? . :

int Assemble(char *str) {
  char astr[128];
  if ((!strlen(str)) || (strlen(str) > 0x127)) return 1;
  strcpy(astr,str);
  ....
}
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

128 , , . , 127 ( ).

? , . ?! 0x127?!

127. 127 :)

. , 295.

, :

int Assemble(char *str) {
  char astr[128];
  if ((!strlen(str)) || (strlen(str) > 295)) return 1;
  strcpy(astr,str);
  ....
}
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

, , .

, , strlen . strlen. , , :).

PVS-Studio , str [1..295], , , astr.

FCEUX. , . . , , :

int Assemble(unsigned char *output, int addr, char *str) {
  output[0] = output[1] = output[2] = 0;
  char astr[128],ins[4];
  int len = strlen(str);
  if ((!len) || (len > 0x127)) return 1;
  strcpy(astr,str);
  ....
}
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

, , , . , len str. , len.

PVS-Studio . , ! .

, , ? . , . , - - . , .

, C++14, C++17 .., . , header-only C++ (awesome-hpp).

. , :

1. ,
2. PVS-Studio:
3. , PVS-Studio

PVS-Studio .

, : Andrey Karpov. PVS-Studio Learns What strlen is All About.