## Delivering safe C++ Bjarne Stroustrup Columbia University www.stroustrup.com  ## Overview • The challenges of safety Government have begun initiatives to drive the culture of software development towards utilizing memory safe languages. · ... • NSA advises organizations to consider making a strategic shift from programming provide little or no inherent memory protection, such as C/C++, to a memory safe language when possible. Some examples of memory safe languages are C#, Go, Java, Ruby $ ^{™} $ , and Swift $ ^{®} $ . • NSA:

## +24 ## Building Safe and Reliable Surgical Robotics with C++ ## MILAD KHALEDYAN ## Presenters Milad Khaledyan Software Robotics Engineer Alexander Drew Software Engineer Disclaimer: The views in Software Products Released: September 20, 2023 Revised: December 06, 2023 The Case for Memory Safe Roadmaps BACK TO THE BU] BL( A PA1 MEAS FEBRUARY NATIONAL CYBERSECURITY STRATEGY IMPLEMENTATION jpg)  Delivering Safe C++ accu Conference 2024 Keynote: Safety, Security, Safety[sic] and C/C++[sic] Herb Sutter

Code - Book Overview2Jun 2014Kyle BaardsonSAFe: Scaled Agile Framework3Brandon McAllisterAutomation Technique|4| |Mark Staroska|Story Points|4| |Jason Wohlgemuth|Agile Front-end Automation|4| |Kyle Baardson|SAFe: Scaled Agile Framework|3| |Josh Sagucio|Collaborative Work Environments|3| |Nick Tuck|Assuring Quality|3|

Code - Book OverviewJun 2014Kyle BaardsonSAFe: Scaled Agile FrameworkBrandon McAllisterAutomation<

o Postulates o Pragmas o Record Types o Reflection o Rewriting o Safe Agda o Sized Types o Syntactic Sugar o Telescopes o Termination Checking records - Instance fields - Reflection - Builtin types - Metaprogramming - Rewriting - Safe Agda - Known Issues - Sized Types - Example for coinduction: finite languages - References The pragma must precede a data/record definition or a mutual block. The pragma cannot be used in --safe mode. Examples: • Skipping a single data definition: {-# NO_POSITIVITY_CHECK #-} data D : Set where

Checking - Postulates - Pragmas - Record Types - Reflection - Rewriting - Safe Agda - Sized Types - Telescopes - Termination Checking - Universe Levels - With-Abstraction records - Instance fields - Reflection - Builtin types - Metaprogramming - Rewriting - Safe Agda - Known Issues - Sized Types - Example for coinduction: finite languages - References The pragma must precede a data/record definition or a mutual block. The pragma cannot be used in --safe mode. Examples: • Skipping a single data definition: {-# NO_POSITIVITY_CHECK #-} data D : Set where

## References: • scaledagileframework.com SAFe in 7 minutes - https://www.youtube.com/watch?v=RXzurBazN-I ## Scaled Agile Framework (SAFe): Dean Leffingwell - Agile Software Requirements: Lean Requirements architect • value streams • investment themes - provide operating budgets for release trains ### SAFe v3.0 - late July 2014 • develop on cadence, deliver on demand • strategic themes

## Exceptional C++ ## This talk is not about: Exceptions vs Error codes vs Expected Exception safe code Error handling best practices ## This talk is not about ![Image](/uploads/documents/0/

How to Use Exceptions The Exception Safety Guarantees How to Write Exception-Safe Code How to Refactor Non-Exception-Safe Code ## Content The Exception Situation How Do Exceptions Work Best Practices How to Use Exceptions The Exception Safety Guarantees How to Write Exception-Safe Code How to Refactor Non-Exception-Safe Code ## Why Another Talk on Exception Safety? ## Exception Handling and Exception How to Use Exceptions The Exception Safety Guarantees How to Write Exception-Safe Code How to Refactor Non-Exception-Safe Code ## How Do Exceptions Work void f() { std::string s{"Some default

memory safe software languages can prevent or mitigate most memory management issues. NSA recommends using a memory safe language when possible. While the use of added protections to non-memory safe languages languages and the use of memory safe languages do not provide absolute protection against exploitable memory issues, they do provide considerable protection. Therefore, the overarching software community across Government have begun initiatives to drive the culture of software development towards utilizing memory safe languages. [3] [4] [5] ## 2023 ## Safety & Security The Future National Security Agency | Cybersecurity