[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Locks and threads
From: |
Ludovic Courtès |
Subject: |
Re: Locks and threads |
Date: |
Sat, 14 Feb 2009 17:09:09 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
Hi,
Ken Raeburn <address@hidden> writes:
> Quite a number of the projects at scan.coverity.com are GNU projects,
> including emacs and gcc; any idea if anyone from the GNU Project has
> talked to Coverity in an official capacity about getting the terms
> changed?
No idea.
> I used to use Splint, and it did find a few problems for me; between
> the intrusiveness and the relative lack of work on it these days, and
> the difficulty in expressing some constructs to it, I don't bother any
> more. I'm not convinced it was worth the time and annoyance to
> annotate the code.
Yes, that's exactly what I feared. Then there's "cilly" [0], part of
the CIL framework, but I've never used it and it's unclear to me what
it's good at.
We could also use more GCC warnings.
Thanks,
Ludo'.
[0] http://manju.cs.berkeley.edu/cil/cil007.html#sec-driver
- Re: Locks and threads, (continued)