On 14 Apr 2008, girid...@appaji.net wrote: > Does someone monitor the bugs reported on splint at the sourceforge.net > bugs / patches trackers?
> I filed a few bugs and atleast one patch there that Debain splint users > have reported. Maybe some of them should make their way into the bugs > page at http://www.splint.org/bugs.html I am looking at them. I think that most of them have been fixed in CVS with the exception of the C99 ones. I would prefer to include a completely different grammar for processing C99 source to patching the existing file. For example, http://www.lysator.liu.se/c/ANSI-C-grammar-y.html etc. I am not really sure that the current grammar is the best to proceed with? Keeping the existing one for a C89 processing will maintain backwards compatibility. I would also like to update the gcc parsing abilities. Unfortunately, there are many data structure for maintaining symbols; ctype, ctbase, usymtab, uentry, ekind, usymId, etc. I am currently trying to ascertain what each of them do. I think that there is also some opportunity to refactor them to fewer types. Thanks, Bill Pringlemeir. -- The weakest among us, often show the most strength. _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
