wiki:Coverity

Version 1 (modified by jonas.kirilla, 8 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

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 FixedVerifiedUninspectedLines of CodeDefects / KLOC
2011-02-221320 0 1320 2,665,930 0.400
(later)