blog/Half_the_Coverity_issues_in_Gnash_fixed_in_the_next_release.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 xmlns="http://www.w3.org/1999/xhtml" dir="ltr">
   4   <head>
   5     <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
   6     <title>Petter Reinholdtsen: Half the Coverity issues in Gnash fixed in the next release</title>
   7     <link rel="stylesheet" type="text/css" media="screen" href="http://people.skolelinux.org/pere/blog/style.css" />
   8     <link rel="stylesheet" type="text/css" media="screen" href="http://people.skolelinux.org/pere/blog/vim.css" />
   9
  10
  11   </head>
  12   <body>
  13     <div class="title">
  14  <h1>
  15      <a href="http://people.skolelinux.org/pere/blog/">Petter Reinholdtsen</a>
  16
  17  </h1>
  18
  19 </div>
  20
  21
  22     <div class="entry">
  23       <div class="title">Half the Coverity issues in Gnash fixed in the next release</div>
  24       <div class="date">29th April 2014</div>
  25       <div class="body"><p>I've been following <a href="http://www.getgnash.org/">the Gnash
  26 project</a> for quite a while now.  It is a free software
  27 implementation of Adobe Flash, both a standalone player and a browser
  28 plugin.  Gnash implement support for the AVM1 format (and not the
  29 newer AVM2 format - see
  30 <a href="http://lightspark.github.io/">Lightspark</a> for that one),
  31 allowing several flash based sites to work.  Thanks to the friendly
  32 developers at Youtube, it also work with Youtube videos, because the
  33 Javascript code at Youtube detect Gnash and serve a AVM1 player to
  34 those users. :) Would be great if someone found time to implement AVM2
  35 support, but it has not happened yet.  If you install both Lightspark
  36 and Gnash, Lightspark will invoke Gnash if it find a AVM1 flash file,
  37 so you can get both handled as free software.  Unfortunately,
  38 Lightspark so far only implement a small subset of AVM2, and many
  39 sites do not work yet.</p>
  40
  41 <p>A few months ago, I started looking at
  42 <a href="http://scan.coverity.com/">Coverity</a>, the static source
  43 checker used to find heaps and heaps of bugs in free software (thanks
  44 to the donation of a scanning service to free software projects by the
  45 company developing this non-free code checker), and Gnash was one of
  46 the projects I decided to check out.  Coverity is able to find lock
  47 errors, memory errors, dead code and more.  A few days ago they even
  48 extended it to also be able to find the heartbleed bug in OpenSSL.
  49 There are heaps of checks being done on the instrumented code, and the
  50 amount of bogus warnings is quite low compared to the other static
  51 code checkers I have tested over the years.</p>
  52
  53 <p>Since a few weeks ago, I've been working with the other Gnash
  54 developers squashing bugs discovered by Coverity.  I was quite happy
  55 today when I checked the current status and saw that of the 777 issues
  56 detected so far, 374 are marked as fixed.  This make me confident that
  57 the next Gnash release will be more stable and more dependable than
  58 the previous one.  Most of the reported issues were and are in the
  59 test suite, but it also found a few in the rest of the code.</p>
  60
  61 <p>If you want to help out, you find us on
  62 <a href="https://lists.gnu.org/mailman/listinfo/gnash-dev">the
  63 gnash-dev mailing list</a> and on
  64 <a href="irc://irc.freenode.net/#gnash">the #gnash channel on
  65 irc.freenode.net IRC server</a>.</p>
  66 </div>
  67
  68       <div class="tags">Tags: <a href="http://people.skolelinux.org/pere/blog/tags/english">english</a>, <a href="http://people.skolelinux.org/pere/blog/tags/multimedia">multimedia</a>, <a href="http://people.skolelinux.org/pere/blog/tags/video">video</a>, <a href="http://people.skolelinux.org/pere/blog/tags/web">web</a>.</div>
  69
  70
  71     </div>
  72
  73
  74
  75
  76     <div id="sidebar">
  77
  78
  79
  80 <h2>Archive</h2>
  81 <ul>
  82
  83 <li>2017
  84 <ul>
  85
  86 <li><a href="http://people.skolelinux.org/pere/blog/archive/2017/01/">January (4)</a></li>
  87
  88 <li><a href="http://people.skolelinux.org/pere/blog/archive/2017/02/">February (3)</a></li>
  89
  90 <li><a href="http://people.skolelinux.org/pere/blog/archive/2017/03/">March (3)</a></li>
  91
  92 </ul></li>
  93
  94 <li>2016
  95 <ul>
  96
  97 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/01/">January (3)</a></li>
  98
  99 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/02/">February (2)</a></li>
 100
 101 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/03/">March (3)</a></li>
 102
 103 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/04/">April (8)</a></li>
 104
 105 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/05/">May (8)</a></li>
 106
 107 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/06/">June (2)</a></li>
 108
 109 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/07/">July (2)</a></li>
 110
 111 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/08/">August (5)</a></li>
 112
 113 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/09/">September (2)</a></li>
 114
 115 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/10/">October (3)</a></li>
 116
 117 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/11/">November (8)</a></li>
 118
 119 <li><a href="http://people.skolelinux.org/pere/blog/archive/2016/12/">December (5)</a></li>
 120
 121 </ul></li>
 122
 123 <li>2015
 124 <ul>
 125
 126 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/01/">January (7)</a></li>
 127
 128 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/02/">February (6)</a></li>
 129
 130 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/03/">March (1)</a></li>
 131
 132 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/04/">April (4)</a></li>
 133
 134 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/05/">May (3)</a></li>
 135
 136 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/06/">June (4)</a></li>
 137
 138 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/07/">July (6)</a></li>
 139
 140 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/08/">August (2)</a></li>
 141
 142 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/09/">September (2)</a></li>
 143
 144 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/10/">October (9)</a></li>
 145
 146 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/11/">November (6)</a></li>
 147
 148 <li><a href="http://people.skolelinux.org/pere/blog/archive/2015/12/">December (3)</a></li>
 149
 150 </ul></li>
 151
 152 <li>2014
 153 <ul>
 154
 155 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/01/">January (2)</a></li>
 156
 157 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/02/">February (3)</a></li>
 158
 159 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/03/">March (8)</a></li>
 160
 161 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/04/">April (7)</a></li>
 162
 163 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/05/">May (1)</a></li>
 164
 165 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/06/">June (2)</a></li>
 166
 167 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/07/">July (2)</a></li>
 168
 169 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/08/">August (2)</a></li>
 170
 171 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/09/">September (5)</a></li>
 172
 173 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/10/">October (6)</a></li>
 174
 175 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/11/">November (3)</a></li>
 176
 177 <li><a href="http://people.skolelinux.org/pere/blog/archive/2014/12/">December (5)</a></li>
 178
 179 </ul></li>
 180
 181 <li>2013
 182 <ul>
 183
 184 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/01/">January (11)</a></li>
 185
 186 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/02/">February (9)</a></li>
 187
 188 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/03/">March (9)</a></li>
 189
 190 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/04/">April (6)</a></li>
 191
 192 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/05/">May (9)</a></li>
 193
 194 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/06/">June (10)</a></li>
 195
 196 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/07/">July (7)</a></li>
 197
 198 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/08/">August (3)</a></li>
 199
 200 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/09/">September (5)</a></li>
 201
 202 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/10/">October (7)</a></li>
 203
 204 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/11/">November (9)</a></li>
 205
 206 <li><a href="http://people.skolelinux.org/pere/blog/archive/2013/12/">December (3)</a></li>
 207
 208 </ul></li>
 209
 210 <li>2012
 211 <ul>
 212
 213 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/01/">January (7)</a></li>
 214
 215 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/02/">February (10)</a></li>
 216
 217 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/03/">March (17)</a></li>
 218
 219 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/04/">April (12)</a></li>
 220
 221 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/05/">May (12)</a></li>
 222
 223 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/06/">June (20)</a></li>
 224
 225 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/07/">July (17)</a></li>
 226
 227 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/08/">August (6)</a></li>
 228
 229 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/09/">September (9)</a></li>
 230
 231 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/10/">October (17)</a></li>
 232
 233 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/11/">November (10)</a></li>
 234
 235 <li><a href="http://people.skolelinux.org/pere/blog/archive/2012/12/">December (7)</a></li>
 236
 237 </ul></li>
 238
 239 <li>2011
 240 <ul>
 241
 242 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/01/">January (16)</a></li>
 243
 244 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/02/">February (6)</a></li>
 245
 246 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/03/">March (6)</a></li>
 247
 248 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/04/">April (7)</a></li>
 249
 250 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/05/">May (3)</a></li>
 251
 252 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/06/">June (2)</a></li>
 253
 254 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/07/">July (7)</a></li>
 255
 256 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/08/">August (6)</a></li>
 257
 258 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/09/">September (4)</a></li>
 259
 260 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/10/">October (2)</a></li>
 261
 262 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/11/">November (3)</a></li>
 263
 264 <li><a href="http://people.skolelinux.org/pere/blog/archive/2011/12/">December (1)</a></li>
 265
 266 </ul></li>
 267
 268 <li>2010
 269 <ul>
 270
 271 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/01/">January (2)</a></li>
 272
 273 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/02/">February (1)</a></li>
 274
 275 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/03/">March (3)</a></li>
 276
 277 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/04/">April (3)</a></li>
 278
 279 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/05/">May (9)</a></li>
 280
 281 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/06/">June (14)</a></li>
 282
 283 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/07/">July (12)</a></li>
 284
 285 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/08/">August (13)</a></li>
 286
 287 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/09/">September (7)</a></li>
 288
 289 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/10/">October (9)</a></li>
 290
 291 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/11/">November (13)</a></li>
 292
 293 <li><a href="http://people.skolelinux.org/pere/blog/archive/2010/12/">December (12)</a></li>
 294
 295 </ul></li>
 296
 297 <li>2009
 298 <ul>
 299
 300 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/01/">January (8)</a></li>
 301
 302 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/02/">February (8)</a></li>
 303
 304 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/03/">March (12)</a></li>
 305
 306 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/04/">April (10)</a></li>
 307
 308 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/05/">May (9)</a></li>
 309
 310 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/06/">June (3)</a></li>
 311
 312 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/07/">July (4)</a></li>
 313
 314 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/08/">August (3)</a></li>
 315
 316 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/09/">September (1)</a></li>
 317
 318 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/10/">October (2)</a></li>
 319
 320 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/11/">November (3)</a></li>
 321
 322 <li><a href="http://people.skolelinux.org/pere/blog/archive/2009/12/">December (3)</a></li>
 323
 324 </ul></li>
 325
 326 <li>2008
 327 <ul>
 328
 329 <li><a href="http://people.skolelinux.org/pere/blog/archive/2008/11/">November (5)</a></li>
 330
 331 <li><a href="http://people.skolelinux.org/pere/blog/archive/2008/12/">December (7)</a></li>
 332
 333 </ul></li>
 334
 335 </ul>
 336
 337
 338
 339 <h2>Tags</h2>
 340 <ul>
 341
 342  <li><a href="http://people.skolelinux.org/pere/blog/tags/3d-printer">3d-printer (13)</a></li>
 343
 344  <li><a href="http://people.skolelinux.org/pere/blog/tags/amiga">amiga (1)</a></li>
 345
 346  <li><a href="http://people.skolelinux.org/pere/blog/tags/aros">aros (1)</a></li>
 347
 348  <li><a href="http://people.skolelinux.org/pere/blog/tags/bankid">bankid (4)</a></li>
 349
 350  <li><a href="http://people.skolelinux.org/pere/blog/tags/bitcoin">bitcoin (9)</a></li>
 351
 352  <li><a href="http://people.skolelinux.org/pere/blog/tags/bootsystem">bootsystem (16)</a></li>
 353
 354  <li><a href="http://people.skolelinux.org/pere/blog/tags/bsa">bsa (2)</a></li>
 355
 356  <li><a href="http://people.skolelinux.org/pere/blog/tags/chrpath">chrpath (2)</a></li>
 357
 358  <li><a href="http://people.skolelinux.org/pere/blog/tags/debian">debian (147)</a></li>
 359
 360  <li><a href="http://people.skolelinux.org/pere/blog/tags/debian edu">debian edu (158)</a></li>
 361
 362  <li><a href="http://people.skolelinux.org/pere/blog/tags/debian-handbook">debian-handbook (3)</a></li>
 363
 364  <li><a href="http://people.skolelinux.org/pere/blog/tags/digistan">digistan (10)</a></li>
 365
 366  <li><a href="http://people.skolelinux.org/pere/blog/tags/dld">dld (16)</a></li>
 367
 368  <li><a href="http://people.skolelinux.org/pere/blog/tags/docbook">docbook (23)</a></li>
 369
 370  <li><a href="http://people.skolelinux.org/pere/blog/tags/drivstoffpriser">drivstoffpriser (4)</a></li>
 371
 372  <li><a href="http://people.skolelinux.org/pere/blog/tags/english">english (344)</a></li>
 373
 374  <li><a href="http://people.skolelinux.org/pere/blog/tags/fiksgatami">fiksgatami (23)</a></li>
 375
 376  <li><a href="http://people.skolelinux.org/pere/blog/tags/fildeling">fildeling (12)</a></li>
 377
 378  <li><a href="http://people.skolelinux.org/pere/blog/tags/freeculture">freeculture (29)</a></li>
 379
 380  <li><a href="http://people.skolelinux.org/pere/blog/tags/freedombox">freedombox (9)</a></li>
 381
 382  <li><a href="http://people.skolelinux.org/pere/blog/tags/frikanalen">frikanalen (18)</a></li>
 383
 384  <li><a href="http://people.skolelinux.org/pere/blog/tags/h264">h264 (20)</a></li>
 385
 386  <li><a href="http://people.skolelinux.org/pere/blog/tags/intervju">intervju (42)</a></li>
 387
 388  <li><a href="http://people.skolelinux.org/pere/blog/tags/isenkram">isenkram (15)</a></li>
 389
 390  <li><a href="http://people.skolelinux.org/pere/blog/tags/kart">kart (20)</a></li>
 391
 392  <li><a href="http://people.skolelinux.org/pere/blog/tags/ldap">ldap (9)</a></li>
 393
 394  <li><a href="http://people.skolelinux.org/pere/blog/tags/lenker">lenker (8)</a></li>
 395
 396  <li><a href="http://people.skolelinux.org/pere/blog/tags/lsdvd">lsdvd (2)</a></li>
 397
 398  <li><a href="http://people.skolelinux.org/pere/blog/tags/ltsp">ltsp (1)</a></li>
 399
 400  <li><a href="http://people.skolelinux.org/pere/blog/tags/mesh network">mesh network (8)</a></li>
 401
 402  <li><a href="http://people.skolelinux.org/pere/blog/tags/multimedia">multimedia (39)</a></li>
 403
 404  <li><a href="http://people.skolelinux.org/pere/blog/tags/nice free software">nice free software (9)</a></li>
 405
 406  <li><a href="http://people.skolelinux.org/pere/blog/tags/norsk">norsk (287)</a></li>
 407
 408  <li><a href="http://people.skolelinux.org/pere/blog/tags/nuug">nuug (187)</a></li>
 409
 410  <li><a href="http://people.skolelinux.org/pere/blog/tags/offentlig innsyn">offentlig innsyn (28)</a></li>
 411
 412  <li><a href="http://people.skolelinux.org/pere/blog/tags/open311">open311 (2)</a></li>
 413
 414  <li><a href="http://people.skolelinux.org/pere/blog/tags/opphavsrett">opphavsrett (64)</a></li>
 415
 416  <li><a href="http://people.skolelinux.org/pere/blog/tags/personvern">personvern (99)</a></li>
 417
 418  <li><a href="http://people.skolelinux.org/pere/blog/tags/raid">raid (1)</a></li>
 419
 420  <li><a href="http://people.skolelinux.org/pere/blog/tags/reactos">reactos (1)</a></li>
 421
 422  <li><a href="http://people.skolelinux.org/pere/blog/tags/reprap">reprap (11)</a></li>
 423
 424  <li><a href="http://people.skolelinux.org/pere/blog/tags/rfid">rfid (3)</a></li>
 425
 426  <li><a href="http://people.skolelinux.org/pere/blog/tags/robot">robot (10)</a></li>
 427
 428  <li><a href="http://people.skolelinux.org/pere/blog/tags/rss">rss (1)</a></li>
 429
 430  <li><a href="http://people.skolelinux.org/pere/blog/tags/ruter">ruter (5)</a></li>
 431
 432  <li><a href="http://people.skolelinux.org/pere/blog/tags/scraperwiki">scraperwiki (2)</a></li>
 433
 434  <li><a href="http://people.skolelinux.org/pere/blog/tags/sikkerhet">sikkerhet (52)</a></li>
 435
 436  <li><a href="http://people.skolelinux.org/pere/blog/tags/sitesummary">sitesummary (4)</a></li>
 437
 438  <li><a href="http://people.skolelinux.org/pere/blog/tags/skepsis">skepsis (5)</a></li>
 439
 440  <li><a href="http://people.skolelinux.org/pere/blog/tags/standard">standard (51)</a></li>
 441
 442  <li><a href="http://people.skolelinux.org/pere/blog/tags/stavekontroll">stavekontroll (5)</a></li>
 443
 444  <li><a href="http://people.skolelinux.org/pere/blog/tags/stortinget">stortinget (11)</a></li>
 445
 446  <li><a href="http://people.skolelinux.org/pere/blog/tags/surveillance">surveillance (47)</a></li>
 447
 448  <li><a href="http://people.skolelinux.org/pere/blog/tags/sysadmin">sysadmin (2)</a></li>
 449
 450  <li><a href="http://people.skolelinux.org/pere/blog/tags/usenix">usenix (2)</a></li>
 451
 452  <li><a href="http://people.skolelinux.org/pere/blog/tags/valg">valg (8)</a></li>
 453
 454  <li><a href="http://people.skolelinux.org/pere/blog/tags/video">video (59)</a></li>
 455
 456  <li><a href="http://people.skolelinux.org/pere/blog/tags/vitenskap">vitenskap (4)</a></li>
 457
 458  <li><a href="http://people.skolelinux.org/pere/blog/tags/web">web (40)</a></li>
 459
 460 </ul>
 461
 462
 463     </div>
 464     <p style="text-align: right">
 465  Created by <a href="http://steve.org.uk/Software/chronicle">Chronicle v4.6</a>
 466 </p>
 467
 468   </body>
 469 </html>