[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)


Ken Raeburn <address@hidden> writes:

> Quite a number of the projects at 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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]