[SystemSafety] OpenSSL Bug

[Derek M Jones]

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