[SystemSafety] C++ and Pointers

[Peter Bernard Ladkin]

On 2019-06-05 21:42 , David Crocker wrote:
> .. I think we can all agree that C and C++
> should never be used to write high integrity software without the use of such a subset and
> associated enforcement tool.

We can all agree to be white as snow. How does such an agreement affect the landscape of
critical-system development in which well over 90% of the discovered vulnerabilities can be put down
to lack of enhanced strong data typing?

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20190605/c4602d6c/attachment.sig>