Ahora PVS-Studio sabe aún mejor qué tipo de animal es este - strlen

De alguna manera sucedió tan injustamente que casi no prestamos atención en nuestras notas a la mejora de los mecanismos internos del analizador, en contraste con los nuevos diagnósticos. Así que, para variar, echemos un vistazo a una nueva mejora útil para el análisis del flujo de datos.

Todo comenzó con un tweet de 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.