Binary cyclic redundancy check codes, known as crc codes, are utilized as message error detection codes in applications requiring very highconfidence that a message is received error free. Often, it is assumed that the probability of undetected error for these codes is upper bounded by 2(-r), where r is the number of redundant (parity) bits. This upper bound is not correct for many codes, however, especially shortened cyclic codes. We have found a new method for determining an exact evaluation of the probability of undetected error for the most commonly utilized codes. We propose to investigate how this method can beutilized to produce the very best message error detection codes.