Codesonar leert Power of 10-standaard

Grammatech zal binnenkort de volgende versie verschepen van zijn Codesonar-tool voor statische codeanalyse. Het gereedschap is gericht op missiekritische toepassingen zoals industriële besturingen, lucht- en ruimtevaart en medische systemen. Release 3.4 bevat checkers voor de nieuwe Power of 10-standaard, programmeerrichtlijnen voor missiekritische code die zijn ontwikkeld door Gerard Holzmann, directeur van Nasa JPL‘s Laboratory for Reliable Software. Deze regels zijn gekozen voor geautomatiseerde controle.

De nieuwe Codesonar-release bevat ook een Api voor integratie met defecttrackingsystemen, versiebeheersystemen en andere gereedschappen. Daardoor kunnen gebruikers hun eigen scripts schrijven. Grammatech levert als voorbeeld code mee voor integratie met het Bugzilla-bugtrackingsysteem.

Verder heeft Grammatech aan de prestaties van het pakket geschaafd, waardoor de analysetijd flink korter is. Het bedrijf heeft bijvoorbeeld incrementele analyse toegevoegd. Daarbij kijkt de tool alleen naar codeveranderingen ten opzichte van de vorige analyse.