The current (#5) issue of "UNIX Review" has an interesting article
on "Safe C", a C compiler which purportedly protects against such
errors as exceeding array bounds (at run-time).
Dave Sherman
Toronto
-- 
 {allegra,cornell,decvax,ihnp4,linus,utzoo}!utcsrgv!dave