Re: Lint for microcontrollers

Rich Webb wrote:
> 
> There's a step-by-step guide for getting splint integrated into the
> Imagecraft AVR compiler at
> http://www.dragonsgate.net/pipermail/icc-avr/2003-March/001298.html

And a guide for the CCS C compiler (for Microchip PICs):
http://groups.google.com/groups?&threadm=38712E6C.4DE6%40none.com
Requires vs. 2.4b of the Win32 binary:
ftp://ftp.sds.lcs.mit.edu/pub/lclint/