An Update on Writing Memory Safety Bugs

How could we write better software, and write software better?

---

A blog by danakj Email GitHub Mastodon RSS

Blog Archive

Subspace

• November 2023 - Integer overflow and arithmetic safety in C++
• September 2023 - Complexity of reference containers
• August 2023 - On push_back_unchecked: Performance with FromIterator and Collect
• August 2023 - Comparing floats in Subspace and stdlib
• July 2023 - Implementing Iterator::flatten() in C++ and in Rust
• June 2023 - Bounds Safety: Avoiding Death by a Thousand Constructors
• April 2023 - Subspace Update: Slices and Vec, Generators, More Iterators, Std Ranges, Callable concepts
• January 2023 - Trivially Relocatable Types in C++/Subspace
• December 2022 - Why Subspace
• December 2022 - Designing a Tagged Union type in C++/Subspace

Union

• December 2022 - Designing a Tagged Union type in C++/Subspace

Undefined Behaviour

• November 2023 - Integer overflow and arithmetic safety in C++
• September 2023 - Complexity of reference containers
• August 2023 - On push_back_unchecked: Performance with FromIterator and Collect
• December 2022 - Designing a Tagged Union type in C++/Subspace

C++

• November 2023 - Integer overflow and arithmetic safety in C++
• September 2023 - Complexity of reference containers
• August 2023 - On push_back_unchecked: Performance with FromIterator and Collect
• August 2023 - A tale of C/C++ development in three parts
• August 2023 - Comparing floats in Subspace and stdlib
• July 2023 - Implementing Iterator::flatten() in C++ and in Rust
• June 2023 - Bounds Safety: Avoiding Death by a Thousand Constructors
• April 2023 - Subspace Update: Slices and Vec, Generators, More Iterators, Std Ranges, Callable concepts
• January 2023 - Me versus C++ Mutable References.
• January 2023 - Trivially Relocatable Types in C++/Subspace
• December 2022 - Why Subspace
• December 2022 - Designing a Tagged Union type in C++/Subspace

Memory safety

• November 2023 - Integer overflow and arithmetic safety in C++
• June 2023 - Bounds Safety: Avoiding Death by a Thousand Constructors
• December 2022 - Why Subspace

CIR

• December 2022 - Why Subspace

Chromium

• December 2022 - Why Subspace

Performance

• June 2023 - Bounds Safety: Avoiding Death by a Thousand Constructors

Rust

• December 2023 - How to Build Abstractions in Rust Applications: The Missing Rung on the Rust Education Ladder
• August 2023 - Comparing floats in Subspace and stdlib
• July 2023 - Implementing Iterator::flatten() in C++ and in Rust