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

[Clive Pygott]

Sorry - I seem to have missed the call tonight.

I didn't have it in my diary, and when I remembered and found the access
code, I think you'd given up

I'll try and do better in two weeks

     Clive


On Wed, Feb 6, 2019 at 12:37 PM Wilson, Charles <Charles.Wilson at draeger.com>
wrote:

> Thanks for the clarification.
>
>
>
> *From:* C-safe-secure-studygroup [mailto:
> c-safe-secure-studygroup-bounces at lists.trustable.io] *On Behalf Of *Fulvio
> Baccaglini
> *Sent:* Wednesday, February 06, 2019 6:02 AM
> *To:* C Safety and Security Study Group Discussion <
> c-safe-secure-studygroup at lists.trustable.io>
> *Subject:* Re: [C-safe-secure-studygroup] 20190123 teleconference notes
>
>
>
>
>
> Hi,
>
>
>
> Just a note on the essential types: the definition is in MISRA C:2012
> Appendix D, but this definition is MISRA specific and not inherited from
> ISO C, so if an approach is taken to formulate rules on the basis of a
> system derived from the essential type system, then that type system would
> also need to be defined.
>
>
>
> Fulvio
>
>
> ------------------------------
>
> *From:* C-safe-secure-studygroup <
> c-safe-secure-studygroup-bounces at lists.trustable.io> on behalf of Wilson,
> Charles <Charles.Wilson at draeger.com>
> *Sent:* 05 February 2019 18:25
> *To:* C Safety and Security Study Group Discussion
> *Subject:* [C-safe-secure-studygroup] 20190123 teleconference notes
>
>
>
> Attending:
>
>    - Charles (chair)
>    - Aaron
>    - Fulvio
>    - Roberto
>    - Clive
>
>
>
> Charles reported contacting the ISO admin (Zoom account request) and
> following the news that the TS belongs to SC22 directly and not WG14,
> reached out to Chris Tandy (WG14 chair) for assistance
>
>
>
> Roberto followed up on previous MISRA report:
>
>    - MISRA C11 updates fill be free
>    - updates will be in pieces, later rolled up (no target date)
>    - next full version will be C 2012 + TC
>    - major static analysis vendors are participating in the group
>    - Coverity hasn’t been heard from since they’re acquisition by Synopsis
>
>
>
> Aaron (MISRA 11.7 / 12.4 follow up)
>
>    - int wraparound (WG14 is of the general view that there needs to be
>    clarification)
>    - will check the pulse at Kona (18-23 Feb)
>
>
>
> Clive
>
>    - we need a definition of “essential type”
>
>
>
> Fulvio
>
>    - “essential type” is a term of art used by MISRA without definition
>
>
>
> Clive (MISRA 13.1)
>
>    - side effect order is unspecified to be permissive or not
>    - ref MISRA 13.2
>    - need to harmonize the two
>
>
>
>
>
> Charles Wilson
>
> Senior Architect
>
> Dräger Medical Systems
>
>
>
> ---
> This communication contains confidential information. If you are not the
> intended recipient please return this email to the sender and delete it
> from your records.
>
> Diese Nachricht enthaelt vertrauliche Informationen. Sollten Sie nicht der
> beabsichtigte Empfaenger dieser E-mail sein, senden Sie bitte diese an den
> Absender zurueck und loeschen Sie die E-mail aus Ihrem System.
> _______________________________________________
> 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/20190206/748f93b6/attachment-0001.html>