From: Petter Reinholdtsen Date: Sat, 2 May 2009 12:55:35 +0000 (+0000) Subject: Bedre tekst. X-Git-Url: http://pere.pagekite.me/gitweb/homepage.git/commitdiff_plain/478c6906273acb0b5b751165d2a2b70b2997fd88?ds=inline;hp=65d1d96bfa5244e8c335320961d933f48d495049 Bedre tekst. --- diff --git a/blog/data/2009-05-02-coverity.txt b/blog/data/2009-05-02-coverity.txt index 54072d69c7..d6497786ae 100644 --- a/blog/data/2009-05-02-coverity.txt +++ b/blog/data/2009-05-02-coverity.txt @@ -21,17 +21,18 @@ reduced the number of this kind of bugs in free software a lot.

The second one is Coverity which is a source code checker. It is able to process the source of a program -and find problems in the logic. It started out as the Stanford -Checker and became well known when it was used to find bugs in the -Linux kernel. It is now a commercial tool and the company behind it -is running a community -service for the free software community, where a lot of free -software projects get their source checked for free. Several thousand -defects have been found and fixed so far. It can find errors like -'lock L taken in file X line N is never released if exiting in line -M', or 'the code in file Y lines O-P can never be executed'. The -projects included in the community service project have managed to get -rid of a lot of reliability problems thanks to Coverity.

+and find problems in the logic without running the program. It +started out as the Stanford Checker and became well known when it was +used to find bugs in the Linux kernel. It is now a commercial tool +and the company behind it is running +a community service for the +free software community, where a lot of free software projects get +their source checked for free. Several thousand defects have been +found and fixed so far. It can find errors like 'lock L taken in file +X line N is never released if exiting in line M', or 'the code in file +Y lines O to P can never be executed'. The projects included in the +community service project have managed to get rid of a lot of +reliability problems thanks to Coverity.

I believe tools like this, that are able to automatically find errors in the source, are vital to improve the quality of software and