Overview
Explore a comprehensive keynote address from C++ on Sea 2023 that delves into the concept of safety in C++. Gain insights into the various aspects of safety, its relationship with correctness and security, and how these concepts apply specifically to C++. Learn about a proposed taxonomy of general computer science terminology and discover how a better understanding of these concepts can lead to writing improved code. Examine topics such as memory safety, consumer reports, national cybersecurity strategies, and the EU Cyber Resilience Act. Investigate the definition of memory safety, safety properties, and methods for achieving safety in programming languages. Analyze the challenges faced by C++ in terms of memory safety and explore potential solutions for making C safer. Reflect on the future of software development, including declarative forms and the impact of large language models.
Syllabus
Intro
Memory Safety
Consumer Reports
National Cyber Security Strategy
EU Cyber Resilience Act
NSA Memory Safety
What is Memory Safety
What is Safety
Safety Properties
Liveness Property
Safety Property
Safety Property Methods
Memory Safe Language
Memory Safety Example
Whats the Problem
What is a Memory Safety Safe Language
Applying the Frame Rule to C
Where does this leave C
Understanding why software works
The illusion of safety
Can C be safe
Future of Software Development
Declarative Forms
Large Language Models
In desperation
Taught by
cpponsea