Document ISO/IEC/JTC 1/SC 22/WG 23 N0718

Minutes of Meeting #49
ISO/IEC JTC 1/SC 22/WG23
19-20 June 2017

Meeting Location :

Institut fuer Computersprachen
Bibliothek EA 0420
TU Wien E 185/1

/ 4th floor
A 1040 Wien
Austria

Meeting Times:

19-20 June 2017: 0900-1700 Eastern Standard Time (1400-2200 UTC)

Attendees

Local Contacts:

Ulrich Neumerkel <ulrich@complang.tuwien.ac.at>

IMPORTANT:

Agenda

1 Opening activities

1.1 Opening Comments

1.2 Introduction of Participants/Roll Call

Stephen Michell

Tullio Vardanega

Erhard Ploedereder

Joyce Tokar

Clive Pygott

Larry Wagoner

Johan Blieberger

Ulrich Neumerkel

1.3 Procedures for this Meeting

1.4 Approval of previous Minutes (meeting 48, document N700)

1.5 Review of actions items and resolutions, Action Item and Decision Logs

1.6 Approval of Agenda [N 0711]

Approved

1.7 Future Meeting Schedule

2. Liaison Activities

Are there any liaisons that should be terminated?

2.1 PL22.3/WG5 (Fortran)

Dan Nagle

2.2 WG4 (COBOL)

2.3 WG9 (Ada)

Erhard

2.4 PL22.11/WG14 C

TBD – Michael, Hubert, Patrice, Paul (?)

2.5 PL22.16/WG21 (C++)

TBD – Michael, Hubert, Patrice, Paul (?)

2.6 Ecma International, TC49/TG2 (C#), TC39 (ECMAScript)

2.10 MISRA C

Clive

2.11 MISRA (C++)

Clive

2.12 SPARK

Joyce

2.14 SC27/WG3, WG4 Security

Stephen

2.15 Other Liaison Activities or National body reports

We have pressured AdaCore and Altran to get a Spark annex to us.

AI 49-01 – Joyce to work with AdaCore and Altran to develop a Spark Annex

3. Document Review

First we look at the draft convenor’s report to SC 22. Posted as N0722.

3.1 TR 24772-1 Vulnerabilities, language independent

Latest version of TR24772-1

For discussion:

Top 10 list for recommendations to language designers. We need to review N0724, consolidated language designer advice, and recommend if this is useful, if we could create a top-10, put in an annex, etc. We update the TR 24772-1 to place an early version in Annex B.

We examine N721, which is a writeup of the C++ const and static. We observe that some of the discussion can be included in [liskov] (and possible others) as examples of ways to strengthen postconditions. We observe that the writeup as it stands is too specific, but there is a vulnerability about data that should be constant but can be modified by extensions of methods.

AI 49-06 – Erhard, propose a writeup for a new vulnerability on abuses of data that should be constant but is modified by extensions (or other means) MISRA C++ 7-1-1 and 9-3-3, and beyond. As a new vulnerability we will either target this for edition 4, or possibly place in clause 8.

3.2 TR 24772-2 Ada language specific part

Latest version of TR 24772-2 Ada (N0725)

AI 49-03 – Joyce Tokar – In TR 24772-2 (N0725), Delete 6.37 (Failure Strategy) and renumber following sections to accommodate

AI 49-04 – Joyce and Erhard, for N0726 TR 24772-3 Ada, document precondition and postcondition need in Top-N list.

AI 49-05 Joyce Tokar – Incorporate the results documented in N0726 Guidance into TR24772-2 Ada (currently N0725)

3.3 TR 24772-3 C language specific part

Latest version of TR 24772-3 C

3.4 TR 24772-4 Python language specific part

Document N0702

Waiting for a new contribution.

3.5 TR 24772-8 Fortran

Document N0703.

3.6 TR 24772-10 C++

3.7 Bibliography for each TR24772 Part

3.8 Dirty Dozen Rules for C, generic, and other languages

4 Strategy (Face to face meetings only)

We decide to put Spark on a priority list, but to not initiate official work on it until the main suppliers agree to an approach.

We decide to put C++ on a priority list, but to not initiate official work on it until WG 21 or a suitable subset are ready to begin work.

5 Publicity (Face to face meetings only)

6 Other Business

6.1 Review of Assignment of responsibilities

We update the list of editors for the active documents.

7. Resolutions and Action Items

We thank the host, TU Wien, and Johann Blieberger, and Ulrich Neumerkel for their generous hospitality to WG 23.

8. Adjournment