blog/archive/2009/05/index.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: entries from May 2009</title>
   6   <link rel="stylesheet" type="text/css" media="screen" href="../../../style.css">
   7   <link rel="alternate" title="RSS Feed" href="05.rss" type="application/rss+xml">
   8  </head>
   9  <body>
  10 <!-- XML FEED -->
  11
  12  <div class="title">
  13   <h1>
  14        <a href="../../../">Petter Reinholdtsen</a>
  15
  16   </h1>
  17
  18  </div>
  19
  20  <p>Entries from May 2009.</p>
  21
  22
  23 <div class="entry">
  24  <div class="title">
  25  <a href="../../../Two_projects_that_have_improved_the_quality_of_free_software_a_lot.html">Two projects that have improved the quality of free software a lot</a>
  26  </div>
  27  <div class="date">
  28   2009-05-02 15:00
  29  </div>
  30
  31  <div class="body">
  32
  33 <p>There are two software projects that have had huge influence on the
  34 quality of free software, and I wanted to mention both in case someone
  35 do not yet know them.</p>
  36
  37 <p>The first one is <a href="http://valgrind.org/">valgrind</a>, a
  38 tool to detect and expose errors in the memory handling of programs.
  39 It is easy to use, all one need to do is to run 'valgrind program',
  40 and it will report any problems on stdout.  It is even better if the
  41 program include debug information.  With debug information, it is able
  42 to report the source file name and line number where the problem
  43 occurs.  It can report things like 'reading past memory block in file
  44 X line N, the memory block was allocated in file Y, line M', and
  45 'using uninitialised value in control logic'.  This tool has made it
  46 trivial to investigate reproducible crash bugs in programs, and have
  47 reduced the number of this kind of bugs in free software a lot.
  48
  49 <p>The second one is
  50 <a href="http://en.wikipedia.org/wiki/Coverity">Coverity</a> which is
  51 a source code checker.  It is able to process the source of a program
  52 and find problems in the logic without running the program.  It
  53 started out as the Stanford Checker and became well known when it was
  54 used to find bugs in the Linux kernel.  It is now a commercial tool
  55 and the company behind it is running
  56 <a href="http://www.scan.coverity.com/">a community service</a> for the
  57 free software community, where a lot of free software projects get
  58 their source checked for free.  Several thousand defects have been
  59 found and fixed so far.  It can find errors like 'lock L taken in file
  60 X line N is never released if exiting in line M', or 'the code in file
  61 Y lines O to P can never be executed'.  The projects included in the
  62 community service project have managed to get rid of a lot of
  63 reliability problems thanks to Coverity.</p>
  64
  65 <p>I believe tools like this, that are able to automatically find
  66 errors in the source, are vital to improve the quality of software and
  67 make sure we can get rid of the crashing and failing software we are
  68 surrounded by today.</p>
  69
  70  </div>
  71  <div class="tags">
  72
  73
  74
  75   Tags: <a href="../../../tags/debian">debian</a>, <a href="../../../tags/english">english</a>.
  76
  77  </div>
  78 </div>
  79  <div class="padding"></div>
  80
  81 <div class="entry">
  82  <div class="title">
  83  <a href="../../../Kryptert_harddisk___naturligvis.html">Kryptert harddisk - naturligvis</a>
  84  </div>
  85  <div class="date">
  86   2009-05-02 15:30
  87  </div>
  88
  89  <div class="body">
  90
  91 <p><a href="http://www.dagensit.no/trender/article1658676.ece">Dagens
  92 IT melder</a> at Intel hevder at det er dyrt å miste en datamaskin,
  93 når en tar tap av arbeidstid, fortrolige dokumenter,
  94 personopplysninger og alt annet det innebærer.  Det er ingen tvil om
  95 at det er en kostbar affære å miste sin datamaskin, og det er årsaken
  96 til at jeg har kryptert harddisken på både kontormaskinen og min
  97 bærbare.  Begge inneholder personopplysninger jeg ikke ønsker skal
  98 komme på avveie, den første informasjon relatert til jobben min ved
  99 Universitetet i Oslo, og den andre relatert til blant annet
 100 foreningsarbeide.  Kryptering av diskene gjør at det er lite
 101 sannsynlig at dophoder som kan finne på å rappe maskinene får noe ut
 102 av dem.  Maskinene låses automatisk etter noen minutter uten bruk,
 103 og en reboot vil gjøre at de ber om passord før de vil starte opp.
 104 Jeg bruker Debian på begge maskinene, og installasjonssystemet der
 105 gjør det trivielt å sette opp krypterte disker.  Jeg har LVM på toppen
 106 av krypterte partisjoner, slik at alt av datapartisjoner er kryptert.
 107 Jeg anbefaler alle å kryptere diskene på sine bærbare.  Kostnaden når
 108 det er gjort slik jeg gjør det er minimale, og gevinstene er
 109 betydelige.  En bør dog passe på passordet.  Hvis det går tapt, må
 110 maskinen reinstalleres og alt er tapt.</p>
 111
 112 <p>Krypteringen vil ikke stoppe kompetente angripere som f.eks. kjøler
 113 ned minnebrikkene før maskinen rebootes med programvare for å hente ut
 114 krypteringsnøklene.  Kostnaden med å forsvare seg mot slike angripere
 115 er for min del høyere enn gevinsten.  Jeg tror oddsene for at
 116 f.eks. etterettningsorganisasjoner har glede av å titte på mine
 117 maskiner er minimale, og ulempene jeg ville oppnå ved å forsøke å
 118 gjøre det vanskeligere for angripere med kompetanse og ressurser er
 119 betydelige.</p>
 120
 121  </div>
 122  <div class="tags">
 123
 124
 125
 126   Tags: <a href="../../../tags/debian">debian</a>, <a href="../../../tags/norsk">norsk</a>, <a href="../../../tags/nuug">nuug</a>, <a href="../../../tags/sikkerhet">sikkerhet</a>.
 127
 128  </div>
 129 </div>
 130  <div class="padding"></div>
 131
 132  <p style="text-align: right;"><a href="05.rss"><img src="../../../xml.gif" alt="RSS Feed" width="36" height="14"></a></p>
 133
 134
 135
 136 <div id="sidebar">
 137
 138 <h2>Archive</h2>
 139 <ul>
 140
 141 <li>2009
 142 <ul>
 143
 144 <li><a href="../../../archive/2009/01/">January (8)</a></li>
 145
 146 <li><a href="../../../archive/2009/02/">February (8)</a></li>
 147
 148 <li><a href="../../../archive/2009/03/">March (12)</a></li>
 149
 150 <li><a href="../../../archive/2009/04/">April (10)</a></li>
 151
 152 <li><a href="../../../archive/2009/05/">May (2)</a></li>
 153
 154 </ul></li>
 155
 156 <li>2008
 157 <ul>
 158
 159 <li><a href="../../../archive/2008/11/">November (5)</a></li>
 160
 161 <li><a href="../../../archive/2008/12/">December (7)</a></li>
 162
 163 </ul></li>
 164
 165 </ul>
 166
 167
 168
 169 <h2>Tags</h2>
 170 <ul>
 171
 172  <li><a href="../../../tags/3d-printer">3d-printer (10)</a></li>
 173
 174  <li><a href="../../../tags/amiga">amiga (1)</a></li>
 175
 176  <li><a href="../../../tags/aros">aros (1)</a></li>
 177
 178  <li><a href="../../../tags/debian">debian (9)</a></li>
 179
 180  <li><a href="../../../tags/debian edu">debian edu (6)</a></li>
 181
 182  <li><a href="../../../tags/english">english (12)</a></li>
 183
 184  <li><a href="../../../tags/fiksgatami">fiksgatami (1)</a></li>
 185
 186  <li><a href="../../../tags/fildeling">fildeling (2)</a></li>
 187
 188  <li><a href="../../../tags/ltsp">ltsp (1)</a></li>
 189
 190  <li><a href="../../../tags/multimedia">multimedia (2)</a></li>
 191
 192  <li><a href="../../../tags/norsk">norsk (40)</a></li>
 193
 194  <li><a href="../../../tags/nuug">nuug (40)</a></li>
 195
 196  <li><a href="../../../tags/opphavsrett">opphavsrett (3)</a></li>
 197
 198  <li><a href="../../../tags/personvern">personvern (5)</a></li>
 199
 200  <li><a href="../../../tags/reprap">reprap (10)</a></li>
 201
 202  <li><a href="../../../tags/rss">rss (1)</a></li>
 203
 204  <li><a href="../../../tags/sikkerhet">sikkerhet (1)</a></li>
 205
 206  <li><a href="../../../tags/standard">standard (3)</a></li>
 207
 208  <li><a href="../../../tags/stavekontroll">stavekontroll (1)</a></li>
 209
 210  <li><a href="../../../tags/video">video (6)</a></li>
 211
 212  <li><a href="../../../tags/vitenskap">vitenskap (1)</a></li>
 213
 214  <li><a href="../../../tags/web">web (4)</a></li>
 215
 216 </ul>
 217
 218 </div>
 219 </body>
 220 </html>