Hi, Ken Raeburn <raeb...@raeburn.org> 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