Safety and Security for C++: Panel Discussion
Panelat CppCon 2023 · on Tuesday, 2023-10-03· at 20:30· Adams, 6700 North Gaylord Rockies Boulevard·
summary
Panel covers concrete committee moves (ISO SG23 study group, MISRA C++ refresh based on C++17), tool work (OpenSSF / Microsoft hardening guidance, compiler -fhardening patches, static analyzers), real examples (NASA/JWST and safety‑critical deployments, Ada/SPARK experience), measurable outcomes (new MISRA draft near publication, proposals for compiler options and certified toolchains), and hard tradeoffs (performance vs runtime checks, formal proofs vs cost, AI‑generated code risks). Watch if process, tools, standards progress, or real incidents matter.
AI-written summary · about
chapters (19)
- 0:00Intro
- 0:29Welcome
- 1:33Introductions
- 6:20Why is it just suddenly
- 14:08Misconceptions
- 18:04Bugfree
- 19:47Functional Safety
- 24:14Safety of Functionality
- 25:40Hard vs Soft
- 29:50Certification
- 35:49Practical Answer
- 39:28How do we bridge the gap
- 41:59Lowlevel facilities
- 43:38Misra
- 45:32Looking at the problem
- 46:56Choosing a compiler
- 48:27AI vs Rust
- 51:34Making it safe
- 52:33The Million Mile Problem
related talks
01h 29mC++ Safety And Security Panel 2024
01h 01mSoftware Security
58mKeynote: Safety and Security: The Future of C and C++
27mSecurity: The Thing That Everyone...
36mTowards Safety & Security in C++26
50mRunning in the Shadow: Perspectives on Securing the Software Supply Chain
43mEverything I learned about static analysis and program safety in C++
01h 02mTowards Safety and Security in C++26