This makes me think...

Posted Jun 3, 2004 15:12 UTC (Thu) by mmarsh (subscriber, #17029)
In reply to: This makes me think... by etrusco
Parent article: Finding kernel problems automatically

You might want to check out http://www.cs.cornell.edu/projects/cyclone/ ,
as well. It's certainly not a standard, but it's a safe C dialect.