Subject: Re: Prague Feedback on P2026 A Constituent Study Group for Safety-Critical Applications
From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2020-02-20 09:49:15
Peter - quick ack.
SG12's mailing list has moved to isocpp.org and is sg12_at_lists.isocpp.org. The old mailing list is no longer active. Please use only the new lists if you want to reach SG12, otherwise you will people in the dark.
Also, register your new email if it wasn't previously registered to the old list - or update the email address.
From: SG12 <sg12-bounces_at_[hidden]> on behalf of Peter C++ via SG12 <sg12_at_[hidden]>
Sent: Thursday, February 20, 2020, 4:43 PM
To: Ryan McDougall
Cc: Peter C++; ub_at_[hidden]; Chris Tapp; safety-critical-cpp
Subject: Re: [SG12] Prague Feedback on P2026 A Constituent Study Group for Safety-Critical Applications
Bcc misra closed mailing list.
Sent from Peter Sommerlad's iPad
+41 79 432 23 32
> On 19 Feb 2020, at 20:33, Ryan McDougall <mcdougall.ryan_at_[hidden]> wrote:
> - Knowing about vulnerabilities and having MISRA is helpful, but ultimately we want to have facilities (ie. via type safety) such that we *avoid* vulnerabilities entirely.
I think that is well aligned what MISRA C++ is aiming at. At least several members of misra c++ are targeting that. See for example my p2070.
There is one inherent vulnerability that can not be solved by the C++ type system: dangling.
And there are several vulnerabilities, where the standard library lacks support and where misra suffers, because we can not provide libraries to use due to liability reasons and other reasons. For example, like the core guidelines support library providing span<T> before it made into the standard.
SG12 mailing list
Link to this post: https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.isocpp.org%2Fsg12%2F2020%2F02%2F0846.php&data=02%7C01%7Cgdr%40microsoft.com%7Cc8138095e5c94928130608d7b61b9d9c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637178102041073018&sdata=Jh2iQ6vTipfQB9wzkFza2rfN0WMf%2Bg3EIRTpkkCls0Y%3D&reserved=0
SG12 list run by herb.sutter at gmail.com