> From: splint-discuss-boun...@cs.virginia.edu [mailto:splint-discuss- > boun...@cs.virginia.edu] On Behalf Of Mike Strosaker > Sent: Wednesday, July 01, 2015 13:25 > > Is there a comprehensive list of all the possible complaints (errors/warnings) > that splint can potentially emit?
I don't know of one, but I'll mention that the standard term (i.e., the term used by the ISO C standard, ISO 9899) is "diagnostic" or "diagnostic message". Using that terminology for such a list is probably a good idea. -- Michael Wojcik Technology Specialist, Micro Focus _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
