Re: Locks and threads

[Ludovic Courtès]

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