Jump to content

Talk:Splint (programming tool)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Joeblack~enwiki (talk | contribs) at 12:45, 15 January 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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 "https://en.wikipedia.org/w/index.php?title=Talk:Splint_(programming_tool)&oldid=17116037"