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

Fulvio Baccaglini fbaccaglini at perforce.com
Wed Feb 6 11:01:49 GMT 2019


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.trustable.io/pipermail/c-safe-secure-studygroup/attachments/20190206/8dd25505/attachment-0001.html>


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