[C-safe-secure-studygroup] 20190109 teleconference notes

Robert Seacord rcseacord at gmail.com
Tue Jan 22 19:08:48 GMT 2019


You should tell them to support C17 instead.  It's like C11 but without the
defects.

On Tue, Jan 22, 2019, 2:00 PM Roberto Bagnara <bagnara at cs.unipr.it wrote:

> On 1/22/19 7:44 PM, Wilson, Charles wrote:
> > Roberto reported on MISRA meeting:
> >
> >   * they will be upgrading from C99 to C11 in the next revision
>
> Yes.  But another important thing is that the upgrade
> will be published incrementally, in fascicles targeting
> specific subsets of C11.  So people will be able to write
> MISRA-C-compliant code using selected C11 features
> without waiting for the next full revision of MISRA C.
>
> --
>       Prof. Roberto Bagnara
>
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:bagnara at cs.unipr.it
>                                BUGSENG srl - http://bugseng.com
>                                mailto:roberto.bagnara at bugseng.com
>
> _______________________________________________
> C-safe-secure-studygroup mailing list
> C-safe-secure-studygroup at lists.trustable.io
>
> https://lists.trustable.io/cgi-bin/mailman/listinfo/c-safe-secure-studygroup
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.trustable.io/pipermail/c-safe-secure-studygroup/attachments/20190122/f13f5abe/attachment.html>


More information about the C-safe-secure-studygroup mailing list