summaryrefslogtreecommitdiffstats
path: root/coverity/README
blob: 934ca41f33026822cede160565fb236e1c1fe7fa (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#
#  $Id$
#

This directory contains scripts which assist in running Coverity
on RTEMS and submitting them to the Coverity builder.  You have
to have an account to view the results of the run.  

Coverity is a closed source static code analyser which can detect a variety
of programming errors. 

  + Instructions: http://scan.coverity.com/self-build/
  + Results:      http://scan2.coverity.com:9104/

STATUS
======
+ This script has a number of hard-coded variables that should probably
  be passed in on the command line.

+ There are likely errors it does not detect.  So far, it looks like
  a lot can go wrong. :)

+ I do not know how to grab the information on a Coverity issue and
  bring it to the community in a way that is nice yet.  I don't care
  whether this is automated or not because we don't have many issues.
  But when we file PRs on Coverity issues, people need to see the report.

--joel
13 June 2010