Un exemple de la façon dont les nouveaux diagnostics apparaissent dans PVS-Studio

Les utilisateurs demandent parfois comment les nouveaux diagnostics apparaissent dans l'analyseur statique PVS-Studio. Nous répondons que nous nous inspirons d'une grande variété de sources: livres, normes de codage, nos propres erreurs, lettres de nos utilisateurs, etc. Aujourd'hui, nous avons posé un nouveau diagnostic intéressant et avons décidé de raconter comment cela s'est passé.

Tout a commencé par la vérification du projet COVID-19 CovidSim Model et un article sur une variable non initialisée. Le projet s'est avéré être petit et écrit en utilisant le standard du langage C ++ moderne. Cela signifie qu'il peut parfaitement compléter la base de projets de test pour les tests de régression du cœur de l'analyseur PVS-Studio.

, , , () . , - . , .

, , MISRA-. , , , , CovidSim.

MISRA MISRA C++ , . , goto (V2502), , . MISRA " MISRA ".

, CovidSim, MISRA . . , , . , MISRA, - :). , . MISRA , .

. , MISRA , V2507, .

if (radiusSquared > StateT[tn].maxRad2) StateT[tn].maxRad2 = radiusSquared;
{
  SusceptibleToLatent(a->pcell);
  if (a->listpos < Cells[a->pcell].S)
  {
    UpdateCell(Cells[a->pcell].susceptible, a->listpos, Cells[a->pcell].S);
    a->listpos = Cells[a->pcell].S;
    Cells[a->pcell].latent[0] = ai;
  }
}
StateT[tn].cumI_keyworker[a->keyworker]++;
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

V2507 .

, . ! ?

. , ! if.

:

if (radiusSquared > StateT[tn].maxRad2)
  StateT[tn].maxRad2 = radiusSquared;

{
  SusceptibleToLatent(a->pcell);
  ....
}
      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

, . Top10 C++ , 2021 .

? , MISRA, ! , . , . , , .

, , MISRA, . – . , , . , .

. .

, if :

• if then-;
• statement if – compound statement, , if.

, .

. , - -, . , , . C# Java PVS-Studio.

, , PVS-Studio. CovidSim, MISRA .

++ :). Twitter. Facebook.

:

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

, : Andrey Karpov. Example of How New Diagnostics Appear in PVS-Studio.