Talk:Splint (programming tool)

From Wikipedia, the free encyclopedia

[edit] 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.