On Jan 25, 2008 8:28 PM, Gerhard Fiedler <lists@connectionbrazil.com> wrote:
> > What are people using with C30 for doing static code analysis?
> >
> > Is there something open-source that doesn't require a lot of work to
> > configure, or something commercial that's not too expensive?
>
> Not sure about C30 specifically, but there's Gimpel's PC-lint (commercial)
> and there's Splint <http://www.splint.org/> (free). I don't own PC-lint,
> but I've heard people say that they use it with good success on HiTech PICC
> variants. I tried Splint for the same, but it seemed too much work to adapt
> the sources so that the results are helpful.
>

I've never used this but you can try this. It is meant for PC-lint but maybe
it can be used with Splint.
http://www.gimpel.com/html/pub80/co-pic30.lnt
http://forum.microchip.com/tm.aspx?m=309228

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