I think unfortunately that the way C handles memory is so ingrained in the language and the standard library that to have a safe version of C would be a differe

I think unfortunately that the way C handles memory is so ingrained in the language and the standard library that to have a safe version of C would be a different enough language to have to call it a different name. There is Safe-C[0], but it's not directly compilable as C and vice versa, and there are libraries like Cello[1] which provide higher level mechanisms like garbage collection to C. [0] http://www.safe-c.org/ http://www.safe-c.org/ [1] http://libcello.org/ http://libcello.org/