splint-discuss@mail.cs.virginia.edu http://www.opensubscriber.com/messages/splint-discuss@mail.cs.virginia.edu opensubscriber subscription : eMail archives updated every hour of every day en-au Copyright: (C) opensubscriber, http://www.opensubscriber.com [splint-discuss] splint usage (several questtions) http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16739261.html [splint-discuss] Enhancement: splint recursively over .c files in a directory http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16718698.html [splint-discuss] Many questions from an eager newcomer. http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16717030.html Re: [splint-discuss] posix library support http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16678230.html Re: [splint-discuss] What would it take to add C99 support to splint? http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16678225.html [splint-discuss] posix library support http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16676979.html [splint-discuss] What would it take to add C99 support to splint? http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16665930.html [splint-discuss] Invitation to connect on LinkedIn http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16469042.html Re: [splint-discuss] info on comment handling in preprocessor. http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16396633.html Re: [splint-discuss] predefined preprocessor macros http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16396629.html [splint-discuss] info on comment handling in preprocessor. http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16396192.html [splint-discuss] predefined preprocessor macros http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16396187.html Re: [splint-discuss] Difficulty with annotations for default structs http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16268350.html [splint-discuss] Difficulty with annotations for default structs http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16267764.html Re: [splint-discuss] Implicitly only storage not released http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16263143.html [splint-discuss] Implicitly only storage not released http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16261032.html Re: [splint-discuss] Splint requires buffer size annotation where notnull should be sufficient http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16257821.html Re: [splint-discuss] Splint requires buffer size annotation where notnull should be sufficient http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16256190.html Re: [splint-discuss] Splint requires buffer size annotation where notnull should be sufficient http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16252310.html [splint-discuss] Splint requires buffer size annotation where notnull should be sufficient http://www.opensubscriber.com/message/splint-discuss@mail.cs.virginia.edu/16252198.html