>Using Splint is a lot of work for C's on small microcontrollers
>and may not be worth the effort for you. Commercial lints are a
>better choice for many people, especially if you choose one that
>already provides configuration files for the particular C
>compiler you are using.

I was thinking along these lines as well. I know PC-Lint has configuration 
files for Microchip compilers. 

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