Explore a comprehensive conference talk on safety in C++ programming, delivered by Sean Parent at CppNow 2023. Delve into the concepts of safety, correctness, and security in software development, with a focus on their application in C++. Gain insights into a proposed taxonomy of computer science terminology and learn how to leverage this understanding to write better code. Discover the speaker's extensive experience in software architecture and development at Adobe, Google, and Apple. Examine various aspects of software memory safety, including national cybersecurity strategies and EU regulations. Investigate memory safe languages, safety properties, and practical techniques for achieving safety in C++ programming. Analyze the limitations and potential of C in terms of memory safety, and explore topics such as raw loops, mutexes, and whole-part relationships in memory graphs.
Overview
Syllabus
Introduction
Improving Software Engineering Practice
Software Memory Safety
Consumer Reports Memory Safety
National Cyber Security Strategy
EU Cyber Resilience Act
Memory Safety
Safety
Safety Properties
Essential Property
Safety Property
Liveness Property
What is Safety
How do you achieve Safety
Memory Safe Language
What is Memory Safety
Memory Safeties
C Safeties
Why Software Works
Safety is an Illusion
Can C B Memory Safe
Are there any professors
Can I put it back
No raw loops
Mutexes
Safety Properties of Mutexes
Serial Cues
Raw pointers
Memory graph
Whole part relationships
Raw loops
Keynote talks
Google Tech Talk
Daphne
Bing Chat
Taught by
CppNow
Related Courses
-
Safety in C++: All the Safeties - Lecture
-
Safety and Security - The Future of C++
-
Safety-First - How To Develop C++ Safety-Critical Software
-
Carbon Language Successor Strategy - From C++ Interop to Memory Safety
-
Coding for Safety, Security, and Sustainability in C++ - Panel Discussion
-
C++ and Safety - Exploring Memory Safety and Language Evolution
