Jetzt weiß PVS-Studio noch besser, was für ein Tier das ist - strlen

Irgendwie ist es so unfair passiert, dass wir in unseren Notizen im Gegensatz zur neuen Diagnostik fast nicht auf die Verbesserung der internen Mechanismen des Analysators achten. Schauen wir uns zur Abwechslung eine nützliche neue Erweiterung für die Datenflussanalyse an.

Alles begann mit einem Tweet von 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.