blog/Two_projects_that_have_improved_the_quality_of_free_software_a_lot.html

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
   2         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
   3 <html>
   4  <head>
   5   <title>Petter Reinholdtsen: Two projects that have improved the quality of free software a lot</title>
   6   <link rel="stylesheet" type="text/css" media="screen" href="http://people.skolelinux.org/pere/blog/style.css">
   7  </head>
   8  <body>
   9
  10  <div class="title">
  11   <h1>
  12        <a href="http://people.skolelinux.org/pere/blog/">Petter Reinholdtsen</a>
  13
  14   </h1>
  15
  16  </div>
  17
  18
  19  <div class="entry">
  20   <div class="title">Two projects that have improved the quality of free software a lot</div>
  21   <div class="date">2009-05-02 15:00</div>
  22   <div class="body">
  23 <p>There are two software projects that have had huge influence on the
  24 quality of free software, and I wanted to mention both in case someone
  25 do not yet know them.</p>
  26
  27 <p>The first one is <a href="http://valgrind.org/">valgrind</a>, a
  28 tool to detect and expose errors in the memory handling of programs.
  29 It is easy to use, all one need to do is to run 'valgrind program',
  30 and it will report any problems on stdout.  It is even better if the
  31 program include debug information.  With debug information, it is able
  32 to report the source file name and line number where the problem
  33 occurs.  It can report things like 'reading past memory block in file
  34 X line N, the memory block was allocated in file Y, line M', and
  35 'using uninitialised value in control logic'.  This tool has made it
  36 trivial to investigate reproducible crash bugs in programs, and have
  37 reduced the number of this kind of bugs in free software a lot.
  38
  39 <p>The second one is
  40 <a href="http://en.wikipedia.org/wiki/Coverity">Coverity</a> which is
  41 a source code checker.  It is able to process the source of a program
  42 and find problems in the logic without running the program.  It
  43 started out as the Stanford Checker and became well known when it was
  44 used to find bugs in the Linux kernel.  It is now a commercial tool
  45 and the company behind it is running
  46 <a href="http://www.scan.coverity.com/">a community service</a> for the
  47 free software community, where a lot of free software projects get
  48 their source checked for free.  Several thousand defects have been
  49 found and fixed so far.  It can find errors like 'lock L taken in file
  50 X line N is never released if exiting in line M', or 'the code in file
  51 Y lines O to P can never be executed'.  The projects included in the
  52 community service project have managed to get rid of a lot of
  53 reliability problems thanks to Coverity.</p>
  54
  55 <p>I believe tools like this, that are able to automatically find
  56 errors in the source, are vital to improve the quality of software and
  57 make sure we can get rid of the crashing and failing software we are
  58 surrounded by today.</p>
  59 </div>
  60
  61   <div class="tags">Tags: <a href="http://people.skolelinux.org/pere/blog/tags/debian">debian</a>, <a href="http://people.skolelinux.org/pere/blog/tags/english">english</a>.</div>
  62
  63   </div>
  64
  65
  66
  67
  68
  69
  70 <div id="sidebar">
  71
  72 <h2>Archive</h2>
  73 <ul>
  74
  75 <li>2010
  76 <ul>
  77
  78 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/01/">January (2)</a></li>
  79
  80 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/02/">February (1)</a></li>
  81
  82 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/03/">March (3)</a></li>
  83
  84 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/04/">April (3)</a></li>
  85
  86 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/05/">May (9)</a></li>
  87
  88 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/06/">June (14)</a></li>
  89
  90 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/07/">July (12)</a></li>
  91
  92 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/08/">August (13)</a></li>
  93
  94 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/09/">September (7)</a></li>
  95
  96 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/10/">October (9)</a></li>
  97
  98 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/11/">November (13)</a></li>
  99
 100 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/12/">December (5)</a></li>
 101
 102 </ul></li>
 103
 104 <li>2009
 105 <ul>
 106
 107 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/01/">January (8)</a></li>
 108
 109 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/02/">February (8)</a></li>
 110
 111 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/03/">March (12)</a></li>
 112
 113 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/04/">April (10)</a></li>
 114
 115 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/05/">May (9)</a></li>
 116
 117 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/06/">June (3)</a></li>
 118
 119 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/07/">July (4)</a></li>
 120
 121 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/08/">August (3)</a></li>
 122
 123 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/09/">September (1)</a></li>
 124
 125 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/10/">October (2)</a></li>
 126
 127 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/11/">November (3)</a></li>
 128
 129 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/12/">December (3)</a></li>
 130
 131 </ul></li>
 132
 133 <li>2008
 134 <ul>
 135
 136 <li><a href="http://people.skolelinux.org/pere/blog/archive/2008/11/">November (5)</a></li>
 137
 138 <li><a href="http://people.skolelinux.org/pere/blog/archive/2008/12/">December (7)</a></li>
 139
 140 </ul></li>
 141
 142 </ul>
 143
 144
 145
 146 <h2>Tags</h2>
 147 <ul>
 148
 149  <li><a href="http://people.skolelinux.org/pere/blog/tags/3d-printer">3d-printer (13)</a></li>
 150
 151  <li><a href="http://people.skolelinux.org/pere/blog/tags/amiga">amiga (1)</a></li>
 152
 153  <li><a href="http://people.skolelinux.org/pere/blog/tags/aros">aros (1)</a></li>
 154
 155  <li><a href="http://people.skolelinux.org/pere/blog/tags/bitcoin">bitcoin (2)</a></li>
 156
 157  <li><a href="http://people.skolelinux.org/pere/blog/tags/bootsystem">bootsystem (10)</a></li>
 158
 159  <li><a href="http://people.skolelinux.org/pere/blog/tags/debian">debian (45)</a></li>
 160
 161  <li><a href="http://people.skolelinux.org/pere/blog/tags/debian edu">debian edu (52)</a></li>
 162
 163  <li><a href="http://people.skolelinux.org/pere/blog/tags/english">english (76)</a></li>
 164
 165  <li><a href="http://people.skolelinux.org/pere/blog/tags/fiksgatami">fiksgatami (1)</a></li>
 166
 167  <li><a href="http://people.skolelinux.org/pere/blog/tags/fildeling">fildeling (11)</a></li>
 168
 169  <li><a href="http://people.skolelinux.org/pere/blog/tags/kart">kart (5)</a></li>
 170
 171  <li><a href="http://people.skolelinux.org/pere/blog/tags/ldap">ldap (8)</a></li>
 172
 173  <li><a href="http://people.skolelinux.org/pere/blog/tags/lenker">lenker (4)</a></li>
 174
 175  <li><a href="http://people.skolelinux.org/pere/blog/tags/ltsp">ltsp (1)</a></li>
 176
 177  <li><a href="http://people.skolelinux.org/pere/blog/tags/multimedia">multimedia (11)</a></li>
 178
 179  <li><a href="http://people.skolelinux.org/pere/blog/tags/norsk">norsk (93)</a></li>
 180
 181  <li><a href="http://people.skolelinux.org/pere/blog/tags/nuug">nuug (114)</a></li>
 182
 183  <li><a href="http://people.skolelinux.org/pere/blog/tags/opphavsrett">opphavsrett (18)</a></li>
 184
 185  <li><a href="http://people.skolelinux.org/pere/blog/tags/personvern">personvern (30)</a></li>
 186
 187  <li><a href="http://people.skolelinux.org/pere/blog/tags/reprap">reprap (11)</a></li>
 188
 189  <li><a href="http://people.skolelinux.org/pere/blog/tags/robot">robot (4)</a></li>
 190
 191  <li><a href="http://people.skolelinux.org/pere/blog/tags/rss">rss (1)</a></li>
 192
 193  <li><a href="http://people.skolelinux.org/pere/blog/tags/sikkerhet">sikkerhet (22)</a></li>
 194
 195  <li><a href="http://people.skolelinux.org/pere/blog/tags/sitesummary">sitesummary (3)</a></li>
 196
 197  <li><a href="http://people.skolelinux.org/pere/blog/tags/standard">standard (16)</a></li>
 198
 199  <li><a href="http://people.skolelinux.org/pere/blog/tags/stavekontroll">stavekontroll (1)</a></li>
 200
 201  <li><a href="http://people.skolelinux.org/pere/blog/tags/video">video (16)</a></li>
 202
 203  <li><a href="http://people.skolelinux.org/pere/blog/tags/vitenskap">vitenskap (1)</a></li>
 204
 205  <li><a href="http://people.skolelinux.org/pere/blog/tags/web">web (14)</a></li>
 206
 207 </ul>
 208
 209 </div>
 210  </body>
 211 </html>