Automatic generation of error control codes for computer applications