Bounds Checking for C?

Kevin Postlewaite writes "This web page describes a modified gcc that protects against stack-smashing attacks by appending a character to return addresses that it pushes to the stack. The program then checks to make sure that the character hasn't been changed, which it must be (though possibly undetectably) in order to overwrite the return address with a buffer overflow. " You can read Some discussion here or some more here. and a project with a similiar goal, to Bounds Checking to C. "