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>2011
  76 <ul>
  77
  78 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/01/">January (16)</a></li>
  79
  80 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/02/">February (6)</a></li>
  81
  82 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/03/">March (6)</a></li>
  83
  84 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/04/">April (7)</a></li>
  85
  86 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/05/">May (3)</a></li>
  87
  88 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/06/">June (2)</a></li>
  89
  90 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/07/">July (7)</a></li>
  91
  92 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/08/">August (5)</a></li>
  93
  94 </ul></li>
  95
  96 <li>2010
  97 <ul>
  98
  99 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/01/">January (2)</a></li>
 100
 101 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/02/">February (1)</a></li>
 102
 103 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/03/">March (3)</a></li>
 104
 105 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/04/">April (3)</a></li>
 106
 107 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/05/">May (9)</a></li>
 108
 109 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/06/">June (14)</a></li>
 110
 111 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/07/">July (12)</a></li>
 112
 113 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/08/">August (13)</a></li>
 114
 115 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/09/">September (7)</a></li>
 116
 117 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/10/">October (9)</a></li>
 118
 119 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/11/">November (13)</a></li>
 120
 121 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/12/">December (12)</a></li>
 122
 123 </ul></li>
 124
 125 <li>2009
 126 <ul>
 127
 128 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/01/">January (8)</a></li>
 129
 130 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/02/">February (8)</a></li>
 131
 132 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/03/">March (12)</a></li>
 133
 134 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/04/">April (10)</a></li>
 135
 136 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/05/">May (9)</a></li>
 137
 138 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/06/">June (3)</a></li>
 139
 140 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/07/">July (4)</a></li>
 141
 142 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/08/">August (3)</a></li>
 143
 144 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/09/">September (1)</a></li>
 145
 146 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/10/">October (2)</a></li>
 147
 148 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/11/">November (3)</a></li>
 149
 150 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/12/">December (3)</a></li>
 151
 152 </ul></li>
 153
 154 <li>2008
 155 <ul>
 156
 157 <li><a href="http://people.skolelinux.org/pere/blog/archive/2008/11/">November (5)</a></li>
 158
 159 <li><a href="http://people.skolelinux.org/pere/blog/archive/2008/12/">December (7)</a></li>
 160
 161 </ul></li>
 162
 163 </ul>
 164
 165
 166
 167 <h2>Tags</h2>
 168 <ul>
 169
 170  <li><a href="http://people.skolelinux.org/pere/blog/tags/3d-printer">3d-printer (13)</a></li>
 171
 172  <li><a href="http://people.skolelinux.org/pere/blog/tags/amiga">amiga (1)</a></li>
 173
 174  <li><a href="http://people.skolelinux.org/pere/blog/tags/aros">aros (1)</a></li>
 175
 176  <li><a href="http://people.skolelinux.org/pere/blog/tags/bitcoin">bitcoin (2)</a></li>
 177
 178  <li><a href="http://people.skolelinux.org/pere/blog/tags/bootsystem">bootsystem (12)</a></li>
 179
 180  <li><a href="http://people.skolelinux.org/pere/blog/tags/debian">debian (53)</a></li>
 181
 182  <li><a href="http://people.skolelinux.org/pere/blog/tags/debian edu">debian edu (64)</a></li>
 183
 184  <li><a href="http://people.skolelinux.org/pere/blog/tags/digistan">digistan (7)</a></li>
 185
 186  <li><a href="http://people.skolelinux.org/pere/blog/tags/english">english (95)</a></li>
 187
 188  <li><a href="http://people.skolelinux.org/pere/blog/tags/fiksgatami">fiksgatami (12)</a></li>
 189
 190  <li><a href="http://people.skolelinux.org/pere/blog/tags/fildeling">fildeling (11)</a></li>
 191
 192  <li><a href="http://people.skolelinux.org/pere/blog/tags/intervju">intervju (10)</a></li>
 193
 194  <li><a href="http://people.skolelinux.org/pere/blog/tags/kart">kart (15)</a></li>
 195
 196  <li><a href="http://people.skolelinux.org/pere/blog/tags/ldap">ldap (8)</a></li>
 197
 198  <li><a href="http://people.skolelinux.org/pere/blog/tags/lenker">lenker (4)</a></li>
 199
 200  <li><a href="http://people.skolelinux.org/pere/blog/tags/ltsp">ltsp (1)</a></li>
 201
 202  <li><a href="http://people.skolelinux.org/pere/blog/tags/multimedia">multimedia (13)</a></li>
 203
 204  <li><a href="http://people.skolelinux.org/pere/blog/tags/norsk">norsk (133)</a></li>
 205
 206  <li><a href="http://people.skolelinux.org/pere/blog/tags/nuug">nuug (119)</a></li>
 207
 208  <li><a href="http://people.skolelinux.org/pere/blog/tags/open311">open311 (2)</a></li>
 209
 210  <li><a href="http://people.skolelinux.org/pere/blog/tags/opphavsrett">opphavsrett (21)</a></li>
 211
 212  <li><a href="http://people.skolelinux.org/pere/blog/tags/personvern">personvern (43)</a></li>
 213
 214  <li><a href="http://people.skolelinux.org/pere/blog/tags/reprap">reprap (11)</a></li>
 215
 216  <li><a href="http://people.skolelinux.org/pere/blog/tags/rfid">rfid (2)</a></li>
 217
 218  <li><a href="http://people.skolelinux.org/pere/blog/tags/robot">robot (4)</a></li>
 219
 220  <li><a href="http://people.skolelinux.org/pere/blog/tags/rss">rss (1)</a></li>
 221
 222  <li><a href="http://people.skolelinux.org/pere/blog/tags/sikkerhet">sikkerhet (23)</a></li>
 223
 224  <li><a href="http://people.skolelinux.org/pere/blog/tags/sitesummary">sitesummary (3)</a></li>
 225
 226  <li><a href="http://people.skolelinux.org/pere/blog/tags/standard">standard (24)</a></li>
 227
 228  <li><a href="http://people.skolelinux.org/pere/blog/tags/stavekontroll">stavekontroll (1)</a></li>
 229
 230  <li><a href="http://people.skolelinux.org/pere/blog/tags/stortinget">stortinget (2)</a></li>
 231
 232  <li><a href="http://people.skolelinux.org/pere/blog/tags/surveillance">surveillance (9)</a></li>
 233
 234  <li><a href="http://people.skolelinux.org/pere/blog/tags/video">video (20)</a></li>
 235
 236  <li><a href="http://people.skolelinux.org/pere/blog/tags/vitenskap">vitenskap (1)</a></li>
 237
 238  <li><a href="http://people.skolelinux.org/pere/blog/tags/web">web (16)</a></li>
 239
 240 </ul>
 241
 242 </div>
 243  </body>
 244 </html>