Adacore komt met statische-analysetool voor Ada

Adacore heeft onder de naam Codepeer een nieuwe statische-analysetool geïntroduceerd om verschillende soorten runtime en logische fouten op te sporen in Ada-code. Codepeer detecteert onder meer bufferoverflows, niet-geïnitialiseerde data, pointermisbruik, numerieke overflows, delen door nul, dead code en race conditions. Ook geeft het gereedschap een waarschuwing bij code die syntactisch en semantisch wel correct is, maar waar mogelijk logische fouten in zitten.

Ook produceert het gereedschap een gedetailleerde analyse van elk subprogramma met ook de pre- and postcondities. Dat helpt bij bugjagen, omdat de impliciete specificatie van Codepeer naast de expliciete requirements gelegd kan worden.

De tool is op zichzelf te gebruiken maar integreert ook met de Gnat Pro-ontwikkelomgeving voor Ada. De prestaties zijn af te stemmen op de beschikbare hardwarebronnen en de software kan overweg met multicore systemen.