Jump to content

Talk:Splint (programming tool)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Splint dead?

[edit]

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)[reply]

Using Splint with AVR

[edit]

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.