JavaScript is currently disabled.Please enable it for a better experience of Jumi. Populär felfinnare nu i Eclipse

ImageAmerikanska Code Coverity släpper en version av sin automatiska buggfinnare Coverity för den öppna utvecklingsmiljön Eclipse.
Coverity hittar fel som kan detekteras utan att källkoden exekveras. Mycket har med minnesanvändning att göra – exempelvis kan Coverity se att programmet refererar till en minnescell, en variabel, som aldrig har tilldelats ett värde, vilket implicerar att programmeraren måste ha tänkt fel.

Andra fel som Coverity hittar är att minne inte avbokas när det använts färdigt, och tvärtom – att det används fast det redan avbokats.

Coverty noterar också hela tiden i det program som analyseras vilka kodrader som alltid tycks förekomma tillsammans – och slår larm när det mönstret bryts.

Lika viktigt som att hitta buggar, är det att inte peka ut korrekt kod som felaktig. Coverity benar ut vilka olika kombinationer programrader som faktiskt kommer att kunna exekveras efter varandra, och kan därmed undvika att slå många falska alarm.

Redan sedan tidigare kan öppenkodare använda sig av Coverity i sina projekt gratis. USA:s terroristdepartment Homeland Security betalar – det vill inte se säkerhetshål i öppen källkod.

Coverity härstammar från ett forskningsprojekt kallat MC Checker på Stanforduniversitetet. Företaget har idag 250 kunder. Ungefär en halv miljard kodrader har hittills passerat under Coveritys kritiska blick.

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Rainer Raitasuo

Rainer
Raitasuo

+46(0)734-171099 rainer@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)