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

​The Coverity Scan Initiative

​Dev FAQ

Haiku is currently a ​Rung 1 project.

Prerequisites for Use

1. Commit rights to Haiku's source repository
2. Coverity account (Ask Urias McCullough (umccullough@…) - he coordinates with Coverity's admins)
3. Accepting the TOS upon first login (see: ​http://scan.coverity.com/policy.html )

Workflow

• Log on to Coverity's website. (See account info you were given.)
• Look up a Haiku defect
• Assess 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")

Query hints

Use "Edit Query" button in the top right corner:

• Query for: "Individual Defects"
• Helpful to use File name to filter query - Example: servers/app - lists all defects in the app_server
• Listboxes support mult-select by holding down Shift or Ctrl key

Source to avoid

• 3rd party code?

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

• STACK_USE - Not really a bug. It turns out that the new version of the Coverity software automatically enabled this checker with default values, when it had been disabled before. This checker is usually used to analyze for defects in kernel or embedded system code which have tight stack limits. For Haiku, "Ignore" is probably the best resolution for now.

Users with accounts already

• aldeck
• aljen
• anevilyak
• axeld
• bonefish
• czeidler
• dlmcpaul
• dr_evil
• emitrax
• jackburton
• julun
• kirilla
• korli
• laplace
• leavengood
• mauricek
• mmadia
• mmlr
• mmu_man
• modeenf
• nielx
• PulkoMandy
• scottmc
• stippi
• stpere
• tqh
• umccullough
• yourpalal
• zooey

Accountings still pending creation (waiting on Coverity):

• brechtm
• kallisti5