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.
MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@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)