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.