Em 8/2/2010 07:58, Michael Rigby-Jones escreveu:
>
>   =

>> -----Original Message-----
>> From: piclist-bounces@mit.edu [mailto:piclist-bounces@mit.edu] On
>>     =

> Behalf
>   =

>> Of Jason Hsu
>> Sent: 08 February 2010 04:17
>> To: Microcontroller discussion list - Public.
>> Subject: Re: [PIC]splint
>>
>> Paul, thanks for the #pragma suggestion.  Splint no longer gives me an
>> error message for the "__CONFIG" line when I start it off with
>> "#pragma __CONFIG xxx".
>>
>> However, splint now refuses to recognize the variables that were
>> declared in the *.h files #included at the beginning of the program.
>>
>> Is using splint a lost cause for embedded engineering?  Was it meant
>> for stand-alone computer programs?  I thought it would help me write
>> better code, but it's of no value if it ends up just getting in the
>> way instead, especially if it only reports the first error it finds
>> and then ignores the rest of the program.
>>     =

> It's not a lost cause at all, but you do need to invest some time and
> effort configuring it to work with whatever development tools you happen
> to be using.  Anything specific to a particular target and/or compiler
> will cause it problems, and of course non-standard language extensions
> are common in embedded compilers.
>
> FWIW we have been using QA-C for static code analysis for a few months,
> and we are still fine tuning the configuration to prevent unnecessary
> warnings, but it has already found potential issues that were not
> spotted in a code review.
>
> Regards
>
> Mike
>   =



Some time ago I built and tried to use splint.
After some experimentation I found a switch (don't remember what) that
made splint ignore some extensions it didn't recognize. I also needed to
add the  path to the compiler include files, so it could parse them.

Not perfect but it worked, although I didn't find it worth to keep using it.

Regards,

Isaac

__________________________________________________
Fa=E7a liga=E7=F5es para outros computadores com o novo Yahoo! Messenger =

http://br.beta.messenger.yahoo.com/ =


-- =

http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist