Talk:Splint (programming tool)

Splint dead?
The domain isn't served any more and the sourceforge page is gone. Is the project dead? simon (talk) 10:09, 22 April 2013 (UTC)

Using Splint with AVR
Splint can be made to run on software for embedded systems. I have partially managed to run it on code by setting it to ignore the headers, as it chokes on the register declarations. The Splint newsgroup Archives mention a custom header by using an #ifdef.