On 11/02/2013 10:55 AM, bearophile wrote:
I think you're missing the point. Improving the quality of the
software is not the answer to making fail safe systems.
To make high integrity software you have to start with reliable tools,
and then use the right testing methodologies, sometimes you have to
write down proofs,
Well, if there is a formal proof of correctness, checking for overflow
at runtime is as pointless as limiting oneself to a language without
undefined behaviour in its basic semantics.
