Skip to content

Commit 00844f7

Browse files
authored
coding guidelines agenda 2026-06-10 (#680)
* coding guidelines agenda 2026-06-10 * add notes
1 parent b694c7c commit 00844f7

1 file changed

Lines changed: 107 additions & 0 deletions

File tree

  • subcommittee/coding-guidelines/meetings/2026-06-10
Lines changed: 107 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,107 @@
1+
# **Coding Guidelines Subcommittee Meeting on 2026-06-10 @ 1600 CEST / 1100 EDT**
2+
3+
[Link](https://www.worldtimebuddy.com/?qm=1&lid=5,12,2643743,8,1850147,100,14,14,1835848&h=5&date=2026-6-3&sln=11-12&hf=1) to meeting time in common time zones.
4+
5+
| Search Key | Description |
6+
| :---- | :---- |
7+
| todo | Action Item |
8+
| decision | Something decided on |
9+
| important | Key information |
10+
11+
## **Agenda**
12+
13+
1. Solicitation of notetaker
14+
2. Acceptance of [Previous Meeting Minutes](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-06-03/minutes.md)
15+
3. Introduction of new members
16+
4. The SEI CERT Coding Standard for Fortran (David)
17+
- Read more here: [https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/](https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/)
18+
5. Coverage of MISRA C and CERT C in 2026 (Félix / Markus updates)
19+
- MISRA C one from Markus has [merged](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/pull/432)
20+
- CERT C one from Oreste has [also merged](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/pull/582)
21+
- Live now at: [https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html](https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html)
22+
- Félix opened an [issue](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/issues/585) to track usability improvements in the appendices that's up for grabs
23+
- Pete will now mine these appendices for creating issues for contributors
24+
6. Interest in the MISRA C++ mapping (mira / Pete)
25+
- Updates on new things in the MISRA C++ \=\> Rust mapping
26+
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
27+
- Please register interest on [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/579369-safety-critical-consortium.2Fcoding-guidelines/topic/MISRA.20C.2B.2B.20Mapping.20Interest/with/584764785)
28+
7. Round table
29+
30+
## **Check-in area**
31+
32+
- David Svoboda (-:
33+
- Max Jacinto 📚
34+
- Kaneko Satoshi 🫥
35+
- Mira Baumann
36+
- Pete LeVasseur 💯
37+
- Oreste Bernardi 🧠
38+
- Markus Hosch
39+
40+
**Notetaker:**
41+
42+
- David Svoboda
43+
44+
For tips on how we take notes in the Safety-Critical Rust Consortium, please see the [Meeting Notetaker Role](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/docs/notetaker-role.md) doc.
45+
46+
## **Housekeeping section**
47+
48+
- Document space: [coding-guidelines](https://github.com/rustfoundation/safety-critical-rust-consortium/tree/main/subcommittee/coding-guidelines)
49+
- Zulip: [safety-critical-consortium: Coding Guidelines](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Coding.20Guidelines)
50+
- [Kanban board](https://github.com/orgs/rustfoundation/projects/1/views/3)
51+
- [`contributor experience`](https://github.com/orgs/rustfoundation/projects/1/views/4) view
52+
- [`coding guideline`](https://github.com/orgs/rustfoundation/projects/1/views/5) view
53+
54+
## **Tasks**
55+
56+
- xx
57+
58+
## **Meeting Minutes**
59+
60+
- Acceptance of [Previous Meeting Minutes](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-06-03/minutes.md): Accepted
61+
- Introduction of new members
62+
- The SEI CERT Coding Standard for Fortran (David)
63+
- Read more here: [https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/](https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/)
64+
- Standards published for almost 20 years 🎉
65+
- Fortran is new and still has some areas of improvement
66+
1. Rules: What to follow that are specific and should be followed
67+
2. Recommendations: Things you can violate if you’re careful
68+
- [TYP02-F. Prohibit implicit typing in all program units](https://cmu-sei.github.io/secure-coding-standards/sei-cert-fortran-coding-standard/types-typ/typ02-f)
69+
1. Kind of odd; don’t have to declare before usage
70+
2. If you just start using a variable, the letter that this variable name begins with determines its type
71+
3. Recommended to, for all variables explicitly declare types of them
72+
- CERT C has on the order of \~200+ total rules and recommendations, so call to action for if anyone else would like
73+
6. Coverage of MISRA C and CERT C in 2026 (Félix / Markus updates)
74+
- MISRA C one from Markus has [merged](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/pull/432)
75+
- CERT C one from Oreste has [also merged](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/pull/582)
76+
- Live now at: [https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html](https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html)
77+
- Félix opened an [issue](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/issues/585) to track usability improvements in the appendices that's up for grabs
78+
- Pete will now mine these appendices for creating issues for contributors
79+
- Oreste: Items marked as ‘maybe’ are applicable to Rust. Formatting is a bit strange.
80+
- Pete: Will you create a new issue with whatever you consider needs still to be done?
81+
- Oreste: OK
82+
7. Interest in the MISRA C++ mapping (mira / Pete)
83+
- Updates on new things in the MISRA C++ \=\> Rust mapping
84+
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
85+
- Please register interest on [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/579369-safety-critical-consortium.2Fcoding-guidelines/topic/MISRA.20C.2B.2B.20Mapping.20Interest/with/584764785)
86+
- Mira: Most missing stuff is about inheritance. Would like review. Also lots of items about the standard library.
87+
- David: Difficult because MISRA C++ is not free.
88+
- Mira: Yes. I had to buy it.
89+
- Markus: Applicability of inheritance to Rust. Traits do have inheritance.
90+
- Mira: MISRA C++ was mostly about virtual inheritance. Also it has very little rules about templates.
91+
- Markus: It is good to think about how rules would apply in alternate technologies.
92+
- Pete: I have enlisted a MISRA C++ member to help out.
93+
8. Review batches for [CERT C Rust Mapping](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/336) (Pete) (tabled)
94+
9. Round table
95+
-
96+
97+
## **Material**
98+
99+
Any material to read before the meeting should be included here.
100+
101+
Overview of [Safety-Critical Rust](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html) Rust Project Goals Roadmap (Pete)
102+
103+
- Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal
104+
- Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60/with/586198564) on Rust Zulip
105+
- Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal
106+
- Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116) on Rust Zulip
107+

0 commit comments

Comments
 (0)