[PRL] safe c project for beginners?

[John Clements]

I'm teaching first-quarter students in Racket, and they're about to plunge off a cliff and start writing code in C (with a variety of different instructors) in their second quarter.  Can anyone recommend either a static checker or an honest-to-goodness language subset (with compiler) that I could use to make their lives simpler? 

Sorry for the semi-OT post; thanks in advance for any suggestions.

John Clements

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4669 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/prl/attachments/20101119/fe0c3848/attachment.bin