[[PageOutline]]

== 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." [http://en.wikipedia.org/wiki/Coverity Wikipedia]

== Coverity and Open Source ==
[http://scan.coverity.com/ The Coverity Scan Initiative]

[http://scan.coverity.com/developers-faq.html Dev FAQ]

Haiku is currently a [http://scan.coverity.com/rung1.html 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")

== Source to avoid ==
* Vendor branches?

== Source that needs special treatment ==
* Kernel/app_server/input_server/registrar?

== Please do ==
* some text here

== Please don't ==
* some text here

== Common defects and their resolutions ==
* some text here