From mannish_2402 at yahoo.com Wed Jun 23 08:02:58 2010 From: mannish_2402 at yahoo.com (manish tiwari) Date: Wed, 23 Jun 2010 05:02:58 -0700 (PDT) Subject: [splint-discuss] How to check Misra 2004 rules with the help of splint Message-ID: <722606.49496.qm@web114110.mail.gq1.yahoo.com> Hi, I am working of Splint and trying to check all the MISRA 2004 rules with the help of different static tools such as LOGISCOPE, LDRA and Splint. Can u get me some idea to check all the rules with the help of SPLINT. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20100623/2f97e1a5/attachment.html From robert.lewis at imnmicrocontrol.com Wed Jun 23 16:02:46 2010 From: robert.lewis at imnmicrocontrol.com (Robert Lewis) Date: Wed, 23 Jun 2010 13:02:46 -0700 Subject: [splint-discuss] Splint runs but doesn't find the include "header.h" files Message-ID: <4c22686e.073f970a.3661.037b@mx.google.com> I can get splint to run but it fails on the finding of any of my included header files. This seems to be a path problem and I don't know how to tell splint to look in the correct directory. I can't move all the files into one directory. I looked through the forum but don't see this issue. Thanks in advance Robert -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20100623/baaf1d97/attachment.html From Wenzel at bbr-vt.de Thu Jun 24 02:53:02 2010 From: Wenzel at bbr-vt.de (Wenzel, Bodo) Date: Thu, 24 Jun 2010 08:53:02 +0200 Subject: [splint-discuss] How to check Misra 2004 rules with the help ofsplint In-Reply-To: <722606.49496.qm@web114110.mail.gq1.yahoo.com> References: <722606.49496.qm@web114110.mail.gq1.yahoo.com> Message-ID: <46B6459B655D7342AB97371E8B7CD8B80106984C@sv-exch.BBR.local> Some time ago I tried this with our programming rules and guides. Unfortunately most of them can't be enforced through Splint. Please let us know about your mileage. Mit freundlichen Gr??en i. A. Bodo Wenzel - Entwicklung Software - -- BBR - Baudis Bergmann R?sch Verkehrstechnik GmbH Pillaustra?e 1e D - 38126 Braunschweig T: +49.531.27300-766 F: +49.531.27300-999 @: wenzel at bbr-vt.de W: http://www.bbr-vt.de Registergericht: AG Braunschweig HRB 3037 Gesch?ftsf?hrer: Dipl.-Ing. Arne Baudis Dipl.-Ing. Thomas Bergmann Dipl.-Ing. Frank-Michael R?sch USt.-ID-Nr.: DE 114 877 881 From Wenzel at bbr-vt.de Thu Jun 24 02:53:11 2010 From: Wenzel at bbr-vt.de (Wenzel, Bodo) Date: Thu, 24 Jun 2010 08:53:11 +0200 Subject: [splint-discuss] Splint runs but doesn't find the include"header.h" files In-Reply-To: <4c22686e.073f970a.3661.037b@mx.google.com> References: <4c22686e.073f970a.3661.037b@mx.google.com> Message-ID: <46B6459B655D7342AB97371E8B7CD8B80106984D@sv-exch.BBR.local> Please see the manual, chapter 14.3 and appendix B, or ask splint by "splint -help vars". Mit freundlichen Gr??en i. A. Bodo Wenzel - Entwicklung Software - -- BBR - Baudis Bergmann R?sch Verkehrstechnik GmbH Pillaustra?e 1e D - 38126 Braunschweig T: +49.531.27300-766 F: +49.531.27300-999 @: wenzel at bbr-vt.de W: http://www.bbr-vt.de Registergericht: AG Braunschweig HRB 3037 Gesch?ftsf?hrer: Dipl.-Ing. Arne Baudis Dipl.-Ing. Thomas Bergmann Dipl.-Ing. Frank-Michael R?sch USt.-ID-Nr.: DE 114 877 881 From lholzheid at bihl-wiedemann.de Thu Jun 24 03:49:33 2010 From: lholzheid at bihl-wiedemann.de (Ludolf Holzheid) Date: Thu, 24 Jun 2010 09:49:33 +0200 Subject: [splint-discuss] How to check Misra 2004 rules with the help ofsplint In-Reply-To: <46B6459B655D7342AB97371E8B7CD8B80106984C@sv-exch.BBR.local> References: <722606.49496.qm@web114110.mail.gq1.yahoo.com> <46B6459B655D7342AB97371E8B7CD8B80106984C@sv-exch.BBR.local> Message-ID: <20100624074933.GA25525@svr8.bihl-wiedemann.de> On Thu, 2010-06-24 08:53:02 +0200, Wenzel, Bodo wrote: > Some time ago I tried this with our programming rules and > guides. Unfortunately most of them can't be enforced through Splint. In 2006, I compiled a set of splint and GCC options that (together with a sed script) covered most of the 'required' Misra2004 rules that can be checked with static analysis. However, I notice my co-workers tend to satisfy the checker instead of reading and following the rules ... Also, it is not easy to document or publish this as Misra prohibits copying the wording of the rules. Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Flo?w?rthstra?e 41 e-mail: lholzheid at bihl-wiedemann.de D-68199 Mannheim, Germany --------------------------------------------------------------- From splint at sympatico.ca Thu Jun 24 08:44:08 2010 From: splint at sympatico.ca (Bill Pringlemeir) Date: Thu, 24 Jun 2010 08:44:08 -0400 Subject: [splint-discuss] Splint runs but doesn't find the include "header.h" files References: <4c22686e.073f970a.3661.037b@mx.google.com> Message-ID: On 23 Jun 2010, robert.lewis at imnmicrocontrol.com wrote: > I can get splint to run but it fails on the finding of any of my included > header files. This seems to be a path problem and I don't know how to tell > splint to look in the correct directory. I can't move all the files into > one directory. I looked through the forum but don't see this issue. Thanks > in advance >From http://hpux.connect.org.uk/hppd/hpux/Development/Tools/splint-3.0.1.6/man.html -I directory Add directory to path searched for C include files. Note there is no space after the I, to be consistent with C preprocessor flags. This is definitely in the manual. http://www.splint.org/manual/html/contents.html The first page, http://www.google.ca/#q=splint+include+files http://www.splint.org/manual/html/sec14.html Contains the answer in section 14.3... but the man page (first link) explains it more concisely. You should take some time to read the manual (many times perhaps). -- The goal of science is to inspire the mind.