Catching Bugs Early: Validating C++ Contracts with Static Analysis - Peter Martin & Mike Fairhurst | CppCon | Podwise