What is Coverity?

"Coverity Prevent is a static code analysis tool for C, C++, C# and Java source code. It is a commercial product which originated as the Stanford Checker, which used abstract interpretation to identify defects in source code." ​Wikipedia

Coverity and Open Source

​The Coverity Scan Initiative

​Dev FAQ

Haiku is currently a ​Rung 1 project.

Workflow

• Prerequisites
  1. Commit rights to Haiku's source repository
  2. You have been given a Coverity account by a Haiku admin.

• Log on to Coverity's website. (See account info you were given.)
• Look up a Haiku defect
• Asses and assign the defect. (To yourself, most likely.)
• Commit fixes to defects assigned to you. Mention the CID number in the commit message. ("Bug so and so. CID XXXX.")
• Mark the defect as resolved. Mentioning the commit revision number. ("fixed in rXXXXX")

History

Date	Fixed	Verified	Uninspected	Lines of Code	Defects / KLOC
2011-02-22	1320	0	1320	2,665,930	0.400
(later)