wiki:Coverity

Version 5 (modified by jonas.kirilla, 8 years ago) (diff)

Query hints

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.

Workflow

  • Prerequisites
    1. Commit rights to Haiku's source repository
    2. You have been given a Coverity account. (Ask Urias McCullough. He coordinates with Coverity.)
  • 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")

Query hints

  • File name: servers/app - lists all defects in the app_server

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