You might be hoping to find a table of templates somewhere. It would certainly make adapting splint to non-"en_US" locales practical.
You probably want to start looking at calls to 'message(_)' and even cstring_makeLiteral. You should be aware that the strings you will find contain templates that get filled in with unparsed types or expressions, which are not really describable by a regular expression. _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
