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

Draft Minutes Meeting #76
ISO/IEC JTC 1/SC 22/WG23

20 November 2023 1900-2200 UTC


Meeting Location : Zoom

Agenda – Document N1348

76.1 Opening activities

76.1.1 Opening Comments

76.1.2 Introduction of Participants/Roll Call

Stephen Michell – convenor

John Reid – UK

Ulrich Neumerkel – Austria

Bill Ash – SC 22 Committee Manager

David Keaton – SC 22 Chair

Douglas Teeple – US

Tullio Vardanega – Italy

Erhard Ploedereder – Liaison Ada Europe

76.1.3 Procedures for this Meeting

76.1.4 Approval of previous Minutes of meeting 75

There was a discrepancy about the final component of Meeting 75 on June 7th. The convenor will check Zoom records and correct, with approval at the next full meeting. N1350 is the updated draft minutes of Meeting 75.

76.1.6 Approval of Agenda

76.1.7 Future Meeting Schedule

The main meeting schedule is to progress documents in sub-WG meetings. On an as-needed basis a meeting of the full group is scheduled to progress work to SC 22 for ISO balloting, to propose to SC 22 add or remove documents from the WG 23 schedule and to manage general WG 23 work.

Discussion:

Tentatively agree for a meeting on the Wednesday Sep 25 and Thursday Sep 26 in London with SC 22.



76.2 Liaison Activities (for in-person meetings only)

76.2.1 PL22.3/WG5 (Fortran)

76.2.2 WG4 (COBOL)

76.2.3 WG9 (Ada) Erhard Ploedereder

76.2.4 PL22.11/WG14 C Clive Pygott

76.2.5 PL22.16/WG21 (C++) Michael Wong

76.2.6 MISRA C Clive Pygott

76.2.7 MISRA (C++) Clive Pygott

76.2.8 SPARK Erhard Ploedereder

76.2.9 Other Liaison Activities or National body reports

76.3. Report from SC 22 (Convenor)

DIS 24772-1 was submitted to ISO for DIS balloting, which happened from Jan 3 to March 25 2023. The document passed with 100% approval (16 of 16 P members voted yes. The document has many comments, which WG 23 has reviewed and made the necessary corrections. The document has been submitted and accepted for FDIS ballot.

Progress of Part 2 Ada – Ada is complete and awaiting the ballot for the Part 1, since ISO decisions will likely require significant editing. Recent changes to the form and content of documents by the ISO editor will necessitate some changes to the Ada document to eliminate any language that can be interpreted as a requirement. WG 9 has given WG 23 authority to make these changes without further WG 9 review and approval. Members of WG 9 will participate in this process.
This meeting is being asked to approve the editing of this document to meet new ISO editorial requirements.
This will require a NP ballot to change this to an IS. Canada will submit a NP ballot directly at the DIS stage. After 24772-1 has finished FDIS ballot, this document will be submitted for DIS ballot.

Progress of Part 3 C – C is complete and awaiting the ballot for the Part 1, since ISO decisions will likely require significant editing. Recent changes to the form and content of documents by the ISO editor will necessitate some changes to the C document to eliminate any language that can be interpreted as a requirement. This meeting is being asked to approve the editing of this document to meet ISO editorial requirements.
This will require a NP ballot to change this to an IS. Canada will submit a NP ballot directly at the DIS stage. After 24772-1 has finished FDIS ballot, this document will be submitted for DIS ballot.

Progress of Part 4 Python – Python is almost complete. Recent changes to the form and content of documents by the ISO editor necessitate some changes to this document to eliminate any language that can be interpreted as a requirement. These have been implemented in the most recent Python documents posted.
This will require a NP ballot to register the document in the system. Canada will submit a NP ballot directly at the DIS stage.

Progress of Part 6 SPARK – SPARK is complete and awaiting the ballot for the Part 1, since ISO decisions will likely require significant editing. Recent changes to the form and content of documents by the ISO editor will necessitate some changes to this document to eliminate any language that can be interpreted as a requirement. This meeting is being asked to approve the editing of this document to meet ISO editorial requirements. WG 23 will submit any changes to WG 9 for review and approval before submission to SC 22 for ballot if desired by WG 9.
This will require a NP ballot to change this to an IS. Canada will submit a NP ballot directly at the DIS stage.

Progress of Fortran (Part 8) – The Fortran members working on this document, along with the convenor and Mr. Ploedereder and judge this document to be complete. The full Fortran committee (WG 5) has reviewed the document and returned it to the subgroup for final polishing and progression towards DIS ballot. The document is N1351, which was edited at the meeting to make minor editorial corrections.This meeting is being asked to approve this document for submission to SC 22 for DIS ballot after approval of the NP, together with a request for free availability.
This will require a NP ballot. Canada will submit a NP ballot directly at the DIS stage. After 24772-1 has finished FDIS ballot, this document will be submitted for DIS ballot.

Progress of Part 10 C++ - work is ongoing.

This will require a NP ballot. Canada will submit a NP ballot directly when appropriate at the DIS stage.

Progress of Part 11, Java – So far, Oracle has refused to pass any document that addresses Java vulnerabilities to the Java community for comment. Recent interactions with Oracle have broken the log jam and should result in a broader review of the document.
Canada will submit a NP ballot directly when appropriate, at the DIS stage.

76.4 Document Review

N1347 WG 24772-8 Fortran language vulnerabilities

Document was reviewed and minor editorial changes made.

76.6 Review of Assignment of responsibilities

The convenor will work with the SC 22 committee manager to develop NP ballots for relevant documents, and then ask the Canadian NB to submit the NP requests.

76.7 Recommendations and Action Items

76-1 To submit document N1351 Fortran vulnerabilities to SC 22 to initiate DIS ballot after its NP form has been approved and 24772-1 completes successfully FDIS ballot.

76-2 AI - To return N1166 Ada language vulnerabilities to the editing team for language readjustment as requested by the ISO editor.

76-3 AI - To return N1156 SPARK language vulnerabilities to the editing team for language readjustment as requested by the ISO editor.

76-4 AI - To return N0920 C language vulnerabilities to the editing team for language readjustment as requested by the ISO editor.

76-5 AI - Complete 24772-4 Python document for further consideration.

76-6 AI - Complete 24772-10 C++ document for further consideration.

76-7 AI – Convenor Submit NP forms for documents as cited in 76.3.

76.8. Adjournment