Version 1 (modified by jonas.kirilla, 9 years ago) ( diff )

Desired Coverity workflow, general info

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


Haiku is currently a Rung 1 project.


  • 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")


Date FixedVerifiedUninspectedLines of CodeDefects / KLOC
2011-02-221320 0 1320 2,665,930 0.400
Note: See TracWiki for help on using the wiki.