[SystemSafety] A small taste of what we're up against

[Derek M Jones]

All,

> The issue is not tools, it is getting developers to use them.

The other issue is the performance cost of the runtime checks.
Something that promoters of languages which have runtime checks
switched on by default, don't like to talk about

Some recent C/C++ numbers, based on hardware support:
https://ai.google/research/pubs/pub46800


-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com