Talk:Splint (programming tool)

From Wikipedia, the free encyclopedia
Revision as of 11:12, 18 June 2024 by imported>Explicit (Old AFD: Wikipedia:Articles for deletion/Splint (programming tool) closed as no consensus (XFDcloser))
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Latest comment: 22 April 2013 by Simon Krahnke in topic Splint dead?
Jump to navigation Jump to search

Template:Old AfD multi Template:Old prod full Template:WikiProject banner shell

Splint dead?

Latest comment: 22 April 20131 comment1 person in discussion

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

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.

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Talk:Splint_(programming_tool)&oldid=1083614"