Name
Safely nullable: preventing null dereferences in C++ at scale with gradual typing
Session Type
Technical Talk
Date & Time
Tuesday, April 15, 2025, 11:30 AM - 12:00 PM
Abstract/s
Null pointer dereferences are a common source of crashes in C++ code. This talk will explore how Google is tackling this problem by introducing nullability annotations in its vast C++ codebase. We have adapted Clang's nullability annotations (_Nullable, _Nonnull, _Null_unspecified) to C++ and developed a ClangTidy that verifies nullability contracts and a Clang-based whole-program analysis tool that helps with the initial annotation.
Speakers
Location Name
Bellevue Room