Interactive Tooling Support for the Migration to Strong Types in C++

Explore an in-depth conference talk on interactive tooling support for migrating to strong types in C++. Discover a method that allows developers to mark values as strong types while maintaining compilable code throughout the migration process. Learn about using attributes and compiler extensions to "color" program elements, automatically generating new strong types based on discovered interfaces, and the interprocedural nature of this approach. Gain insights into the concept of strong typing, existing methods, and a demonstration of the toolset on a small project. Understand the implementation details based on LLVM/Clang for C11 and ongoing efforts to extend support for C++ elements.

Intro
Clank Tidy
Cppcast
Strong typing
Strong interface
Refactoring
Type Migration
Annotation
fictive types
taint analysis
attributes
strongtypegenerator
C Plus
Ignore Attribute
Generic Functions
Untrustworthy Input
Ignore
Max function
No operations
Further questions