From AnSchwarte at dspace.de Tue Mar 2 07:21:56 2004 From: AnSchwarte at dspace.de (Andreas Schwarte) Date: Wed Mar 22 17:10:26 2006 Subject: [splint-discuss] a question about the splint development Message-ID: <84257D042AA7D411B3F700D0B7DB9B7C0696F650@PDC-DSPACE> I've downloaded the Splint 3.1.1 current development code. I want to get deeper into the design and the implementation of this software. For this it would be great to have one or more documentation about the specification, the analysis, the design, a functionality-list and a feature-list for the future of Splint. If you did have or know a place with information according to my question in the internet please send me a link on it. If it is stored on an for me unreachable device please send it as an attachment to me. Best regards Andreas Schwarte From Sylvain.MARNIER at esterel-technologies.com Mon Mar 8 12:42:04 2004 From: Sylvain.MARNIER at esterel-technologies.com (Sylvain MARNIER) Date: Wed Mar 22 17:10:27 2006 Subject: [splint-discuss] undefined field inside an in parameter Message-ID: Hi everybody, I do not understand how splint find that a field of a *this parameter is undefined in a GetFunction as: int Getfoo(type *this) { return this->foo1; } It seems to mix in and out parameter?! Thank's. Sylvain. ****************************************************************************** This E-mail is from ESTEREL TECHNOLOGIES. The E-mail and any files transmitted with it are confidential and intended solely for the use of the individual or entity to whom they are addressed. Any unauthorised dissemination, copy, use or disclosure of this E-mail or of any of its attachments is strictly prohibited and may be illegal. If you have received the E-mail in error please notify disclaimer@esterel-technologies.com and delete it from your system. From cbfalconer at yahoo.com Tue Mar 9 05:45:25 2004 From: cbfalconer at yahoo.com (CBFalconer) Date: Wed Mar 22 17:10:27 2006 Subject: [splint-discuss] undefined field inside an in parameter References: Message-ID: <404DA045.74F8D13@yahoo.com> Sylvain MARNIER wrote: > > I do not understand how splint find that a field of a *this > parameter is undefined in a GetFunction as: > > int Getfoo(type *this) > { > return this->foo1; > } I would expect that the definition of type does not include a field foo1, which should in turn be defined to be an int. -- Chuck F (cbfalconer@yahoo.com) (cbfalconer@worldnet.att.net) Available for consulting/temporary embedded and systems. USE worldnet address! From bruno.cochofel at zmail.pt Tue Mar 9 09:58:44 2004 From: bruno.cochofel at zmail.pt (Bruno Cochofel) Date: Wed Mar 22 17:10:27 2006 Subject: [splint-discuss] splint and embedded systems Message-ID: <404DDBA4.2030402@zmail.pt> First let me tell you all that I'm new on this forum, and I have very little experience with splint, so forgive for the seally questions (and also for my english...) I want to know if there's some kind of way to make splint work with sdcc and avr-gcc since I'm a programmer in the embedded enviromment... -- Bruno Cochofel, Tlm: +351 916346628 ICQ#: 314484707 bruno.cochofel@zmail.pt From paul.vandermerwe at fp.co.nz Sun Mar 21 21:54:32 2004 From: paul.vandermerwe at fp.co.nz (Paul van der Merwe) Date: Wed Mar 22 17:10:27 2006 Subject: [splint-discuss] Newbie question, non-ANSI data types Message-ID: <20DF81CB71F3D511B72700D0B73EBCD32A8DE3@picasso.fp.co.nz> Hi, how do one get around parse errors caused by non-ANSI data types. Data types like tiny, near, far, etc. ??? e.g. unsigned char read_e_port(unsigned char near*); a pointer to near memory, this is on an Hitachi H8 embedded controller. These are internal to the compiler. How get around non-ANSI function declerations? e.g. void near_func InitSPI(unsigned char baud); Others using embedded controller compilers must have stumbled over these issues. any help will be appreciated. thanx®ards Paul From Viktor.Barinberg at cp-automotive.de Mon Mar 22 04:48:43 2004 From: Viktor.Barinberg at cp-automotive.de (Viktor Barinberg) Date: Wed Mar 22 17:10:27 2006 Subject: [splint-discuss] Using Splint for MISRA-Check Message-ID: <001601c40ff2$de041bd0$08c0a8c0@cpws08> Hi together, I wonder if somebody can give me a couple of hints on how Splint can be used to check the code for MISRA. How many rules of the total number of 126 MISRA rules can be checked ? Which Splint settings are to be used? Thank you in advance. Viktor Barinberg. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20040322/39b9d454/attachment.htm From bertrand.anseaume at thales-e-transactions.com Mon Mar 29 04:24:48 2004 From: bertrand.anseaume at thales-e-transactions.com (Bertrand ANSEAUME) Date: Wed Mar 22 17:10:27 2006 Subject: [splint-discuss] Undetected incomplete deallocation Message-ID: <4067EB60.5010401@thales-e-transactions.com> Hi, I have a problem to detect incomplete deallocation of a structure that includes two buffers buf1 and buf2 (see code sample below). If I don't release buf1 and buf2, Splint correctly detects the two memory leaks. But if I release buf1 only, Splint does not detect buf2 memory leak. Any idea? Thanks, Bertrand. ----------------------------- typedef struct _Mystruct { /*@only@*/ char* buf1; /*@only@*/ char* buf2; } Mystruct; /*@only@*/ Mystruct* Mystruct_new(void) { Mystruct* mystruct; mystruct = (Mystruct*)malloc(sizeof *mystruct); assert(mystruct != NULL); mystruct->buf1 = (char*)malloc(256); assert(mystruct->buf1 != NULL); memset(mystruct->buf1, 0, 256); mystruct->buf2 = (char*)malloc(256); assert(mystruct->buf2 != NULL); memset(mystruct->buf2, 0, 256); return mystruct; } void Mystruct_free(/*@only@*/ Mystruct* mystruct) { free(mystruct->buf1); free(mystruct); /* Undetected memory leak : buf2 is not released!!!!*/ } ---------------------------------- From ethros at earthlink.net Mon Mar 29 18:00:37 2004 From: ethros at earthlink.net (Ethan Rosenberg) Date: Wed Mar 22 17:10:27 2006 Subject: [splint-discuss] Installation on a DOS system Message-ID: <3.0.1.16.20040329180037.385f6a08@earthlink.net> Dear List - I am running DOS 6.21 and have a DOS port of gcc called DJGPP, which contains a DOS port of tar. I can extract the files, but I can not get any further. Can anyone please help and walk me through the installation?? Much Thanks in Advance. Ethan Rosenberg