Re: [SystemSafety] OpenSSL Bug

From: Derek M Jones < >
Date: Wed, 16 Apr 2014 11:24:15 +0100


David,

> Le 14/04/2014 23:59, Derek M Jones a écrit :
>>> Suppose technical methods T are known to avoid, definitively, mistakes
>>> of type X,
>>
>> more empirical evidence,
>
> No. As Peter said, the method T *definitely* avoids the mistake, by
> construction.

Both you and Peter and concentrating on the faults strong typing prevents happening and skipping over the fact that it sometimes causes faults to be created (e.g., through the contortions that sometimes have to be gone through to interface two libraries making use of very strong typing in very different, and structurally incompatible, ways).

-- 
Derek M. Jones                  tel: +44 (0) 1252 520 667
Knowledge Software Ltd          blog:shape-of-code.coding-guidelines.com
Software analysis               http://www.knosof.co.uk
_______________________________________________
The System Safety Mailing List
systemsafety_at_xxxxxx
Received on Wed Apr 16 2014 - 12:24:48 CEST

This archive was generated by hypermail 2.3.0 : Wed Feb 20 2019 - 20:17:06 CET