C++ Safety And Security Panel 2024
Talkat CppCon 2024 · on Monday, 2024-09-16· at 20:30· Adams A, 6700 North Gaylord Rockies Boulevard·
summary
Panel reports concrete outputs and open engineering work: P2687r0 P2816R0 P3038R0 are concrete profile proposals that aim to make rule-sets tool-checkable; MISRA C++ 2023 (C++17) is published and a C++20 revision is underway with wording reviews completed; Contracts aiming for C++26 remain feature-complete in parts but have unresolved semantics and adoption gaps. Proof‑of‑concept borrow‑checker work shows correctness at high integration cost (new types, library, annotations). Government reports, Linux‑kernel discussions, and tooling readiness drive urgency; many proposals need compiler/toolchain and ecosystem work before they deliver production guarantees.
AI-written summary · about
chapters (8)
- 0:00C++ safety and security panel intro
- 1:28Panelist introductions
- 11:24Contracts for safety
- 23:33Rust's borrow checker for C++
- 44:59Runtime costs of safety
- 1:00:13100% safety vs practicality
- 1:15:48Certification and accountability
- 1:26:07Next year's panel goals
related talks
01h 35mSafety and Security for C++: Panel Discussion
01h 02mTowards Safety and Security in C++26
01h 05mSafer C++ with MISRA-C++ 2023
36mTowards Safety & Security in C++26
01h 20mSafer C++: MISRA-C++ : 202X Rules and Beyond
01h 02mTowards Correctness, Safety and Security in C++26
58mMisra Parallelism Safety-critical Guidelines for C++11, 17, Then C++20, 23
57mThe Misra C++:2023 Guidelines