From Francois.Isabelle at ca.kontron.com Thu Feb 5 13:08:33 2004 From: Francois.Isabelle at ca.kontron.com (Isabelle, Francois) Date: Wed Mar 22 17:10:25 2006 Subject: [splint-discuss] How to add splint check in autotools enabled project [splint-disc uss] Message-ID: <5009AD9521A8D41198EE00805F85F18F039D3D31@sembo111.teknor.com> Is someone familiar with this integration of splint checks in a project using GNU autotools(autoconf/automake). Can it be done through a m4 macro or other automated ways ? Thanks Francois Isabelle Francois.Isabelle@ca.kontron.com Concepteur de logiciel Software designer Kontron Canada From alex at ripe.net Fri Feb 13 05:32:15 2004 From: alex at ripe.net (Alessandro Bassi) Date: Wed Mar 22 17:10:26 2006 Subject: [splint-discuss] problems with glib Message-ID: <402CA7AF.7090103@ripe.net> Hello there. I'm trying to run splint on the code I'm developing, but I have a problem with glib. First, it wasn't happy with gint32; when I defined them in .splintrc it wasn't happy with uint; as soon as I changed uint into int it's simply not happy ... any hints, suggestions, solutions ... thanks alex x65:alex:~/scaricati/ibp-1.3.1/splint-3.1.1 $ ./bin/splint ~/development/RIP/modules/ca/ca.c -I ~/development/RIP/include/ -I /usr/local/include/libxml2/ -I /usr/local/mysql-3.23.55/include/mysql/ -I /usr/include/isc/ -I /usr/lib/glib/include/glibconfig -skipisoheaders -I /usr/include/glib-1.2/ +posixstrictlib +gnuextensions -DG_THREADS_ENABLED Splint 3.1.1 --- 05 Feb 2004 Command Line: Setting +gnuextensions redundant with current value ../../../development/RIP/include/rp.h:35:46: Cannot find include file stddef.h on search path: /home/alex/development/RIP/include/;/usr/local/include/libxml2/;/usr/local/m ysql-3.23.55/include/mysql/;/usr/include/isc/;/usr/lib/glib/include/glibconf ig;/usr/include/glib-1.2/;/usr/include;/usr/local/include Preprocessing error. (Use -preproc to inhibit warning) In file included from ../../../development/RIP/include//rip.h:80, from ../../../development/RIP/modules/ca/ca.h:38, from ../../../development/RIP/modules/ca/ca.c:37 ../../../development/RIP/include/notification.h:38:20: Cannot find include file stdarg.h on search path: /home/alex/development/RIP/include/;/usr/local/include/libxml2/;/usr/local/m ysql-3.23.55/include/mysql/;/usr/include/isc/;/usr/lib/glib/include/glibconf ig;/usr/include/glib-1.2/;/usr/include;/usr/local/include In file included from ../../../development/RIP/include//rip.h:101, from ../../../development/RIP/modules/ca/ca.h:38, from ../../../development/RIP/modules/ca/ca.c:37 Preprocessing error for file: /home/alex/development/RIP/modules/ca/ca.c *** Cannot continue. x65:alex:~/scaricati/ibp-1.3.1/splint-3.1.1 $ ./bin/splint ~/development/RIP/modules/ca/ca.c -I ~/development/RIP/include/ -I /usr/local/include/libxml2/ -I /usr/local/mysql-3.23.55/include/mysql/ -I /usr/include/isc/ -I /usr/lib/glib/include/glibconfig -skipisoheaders -I /usr/include/glib-1.2/ -I /usr/local/lib/tcc/include/ +posixstrictlib +gnuextensions -DG_THREADS_ENABLED Splint 3.1.1 --- 05 Feb 2004 Command Line: Setting +gnuextensions redundant with current value /usr/include/glib-1.2/glib.h:2354:29: Parse Error. (For help on parse errors, see splint -help parseerrors.) *** Cannot continue. x65:alex:~/scaricati/ibp-1.3.1/splint-3.1.1 $ more .splintrc -Dgint32=int -Dguint32=int x65:alex:~/scaricati/ibp-1.3.1/splint-3.1.1 $ PS: line 2354 of /usr/include/glib-1.2/glib.h is: typedef enum { G_IO_IN GLIB_SYSDEF_POLLIN, G_IO_OUT GLIB_SYSDEF_POLLOUT, G_IO_PRI GLIB_SYSDEF_POLLPRI, G_IO_ERR GLIB_SYSDEF_POLLERR, G_IO_HUP GLIB_SYSDEF_POLLHUP, G_IO_NVAL GLIB_SYSDEF_POLLNVAL } GIOCondition; From cbfalconer at yahoo.com Tue Feb 17 07:34:41 2004 From: cbfalconer at yahoo.com (CBFalconer) Date: Wed Mar 22 17:10:26 2006 Subject: [splint-discuss] (sp)lint book chapter References: <3FFC21AE.8070904@gmx.de> Message-ID: <40320A61.23601200@yahoo.com> Jens Krinke wrote: > > the 2nd edition of the german book "open source programming tools" has a > new chapter about splint. The book is now being translated and for that > reason we are looking for a native speaker who would be interested to > read (and comment) the splint chapter before publication. Please > contact me if you are interested. I replied to this shortly after you initially published it, but heard nothing back. Are you disinterested or has something been lost in the spam floods? If you failed to use the reply-to (worldnet) address any reply was definitely lost. -- Chuck F (cbfalconer@yahoo.com) (cbfalconer@worldnet.att.net) Available for consulting/temporary embedded and systems. USE worldnet address! From kost at imn.htwk-leipzig.de Thu Feb 19 08:11:56 2004 From: kost at imn.htwk-leipzig.de (Stefan Kost) Date: Wed Mar 22 17:10:26 2006 Subject: [splint-discuss] varargs in glib header files Message-ID: <4034B61C.6030401@imn.htwk-leipzig.de> hi hi, splint fails here parsing headers from glib (see below) ... /opt/gnome2/include/glib-2.0/glib/gmessages.h:116:44: Parameter list for #define is not parseable /opt/gnome2/include/glib-2.0/glib/gmessages.h:125:44: Invalid character in macro parameter name /opt/gnome2/include/glib-2.0/glib/gmessages.h:125:44: Parameter list for #define is not parseable ... here is the part from the header file: #ifdef G_HAVE_ISO_VARARGS #define g_error(...) g_log (G_LOG_DOMAIN, \ G_LOG_LEVEL_ERROR, \ __VA_ARGS__) #define g_message(...) g_log (G_LOG_DOMAIN, \ G_LOG_LEVEL_MESSAGE, \ __VA_ARGS__) #define g_critical(...) g_log (G_LOG_DOMAIN, \ G_LOG_LEVEL_CRITICAL, \ __VA_ARGS__) #define g_warning(...) g_log (G_LOG_DOMAIN, \ G_LOG_LEVEL_WARNING, \ __VA_ARGS__) #elif defined(G_HAVE_GNUC_VARARGS) I am not sure wheter it is about the multi-line stuff or the (...) stuff. To workaround this I passes -UG_HAVE_ISO_VARARGS to splint to undef that symbol, but that did not helped. Any ideas? Ciao Stefan -- \|/ Stefan Kost <@ @> private business +-oOO-(_)-OOo------------------------------------------------------ - - - - - | __ Address Simildenstr. 5 HTWK Leipzig, Fb IMN, Postfach 301166 | /// 04277 Leipzig 04251 Leipzig | __ /// Germany Germany | \\\/// Phone +49341 2253538 +49341 30766101 | \__/ EMail st_kost_at_gmx.net kost_at_imn.htwk-leipzig.de | WWW www.sonicpulse.de www.imn.htwk-leipzig.de/~kost/about.html ===-=-=--=---=---------------------------------- - - - - - -------------- next part -------------- A non-text attachment was scrubbed... Name: kost.vcf Type: text/x-vcard Size: 345 bytes Desc: not available Url : http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20040219/5368cafe/kost.vcf From Saravana.Rathinam at delphi.com Fri Feb 27 06:26:38 2004 From: Saravana.Rathinam at delphi.com (Saravana.Rathinam) Date: Wed Mar 22 17:10:26 2006 Subject: [splint-discuss] constuse flag ? Message-ID: <05256E47.003ED9E9.00@notes.delphiauto.com> Hi all I am having a problem with splint recognising unused #define macros. The following is my test file: 1.c file -------------------------- #include "1.h" #define HELLO 1 int main(void) { return 0; } ------------------------- and the corresponding header file 1.h file ------------------------------ #define MAK(x) (x*x) ------------------------------ and the splintrc file $HOME/.splintrc file ------------------------------ -strict -D_lint=1 -nestcomment -isoreserved -preproc -booltype BOOLEAN -systemdirerrors +csvoverwrite +skip-sys-headers +allblock +allempty +ansi89limits +bounds +caseinsensitivefilenames +mustfree +stats ------------------------------ and this is what splint is reporting... ------------------------------------------------------------- [joy ~ ]$splint 1.c Splint 3.1.1 --- 02 May 2003 Finished checking --- no warnings 10 source lines in 0.05 s. -------------------------------------------------------------- why isn't splint reporting that the macro's HELLO and MAK are not being used in the code? should I set any other flag for the same? saravana **************************************************************************************** Note: The information contained in this message may be privileged and confidential and thus protected from disclosure. If the reader of this message is not the intended recipient, or an employee or agent responsible for delivering this message to the intended recipient, you are hereby notified that any dissemination, distribution or copying of this communication is strictly prohibited. If you have received this communication in error, please notify us immediately by replying to the message and deleting it from your computer. Thank you. **************************************************************************************** From Ralf.Wildenhues at gmx.de Fri Feb 27 11:39:56 2004 From: Ralf.Wildenhues at gmx.de (Ralf Wildenhues) Date: Wed Mar 22 17:10:26 2006 Subject: [splint-discuss] constuse flag ? In-Reply-To: <05256E47.003ED9E9.00@notes.delphiauto.com> References: <05256E47.003ED9E9.00@notes.delphiauto.com> Message-ID: <20040227163956.GA16621@iam.uni-bonn.de> * Saravana.Rathinam wrote on Fri, Feb 27, 2004 at 12:26:38PM CET: > > I am having a problem with splint recognising unused #define macros. Im my opinion unused macros (especially in header files) are a very common thing, and as such it would be of little value to flag them. Other than that, I don't know of a way to tell splint to warn about them specifically. > The following is my test file: *snip* > > and the corresponding header file > 1.h file > ------------------------------ > #define MAK(x) (x*x) > ------------------------------ This macro, however, is dangerous and broken. 'splint +allmacros 1.c' will tell you so, for example. With these example lines: extern int /*@alt double@*/ MAK(/*@sef@*/ int /*@alt double@*/); #define MAK(x) ((x)*(x)) you could tell splint about the macro, so that it can warn about non-side-effect free usage (e.g. MAK(f(x)) will be flagged by 'splint +allmacros +sefuncon 1.c'). Regards, Ralf