Skip to content
Episode from the podcast CppCast
Automatic Static Analysis artwork

Episode

Automatic Static Analysis

Released Friday, September 1st 2023 53 min

Show notes

About this episode

Abbas Sabra joins Phil and Timur. Abbas talks to us about static analysis, the challenges - and benefits - of analysing C++ code, and a new feature from Sonar that can scan public repos with zero config. News Boost 1.83.0 released fmt 10.1 released The downsides of C++ Coroutines Links "All the defaults are backwards" - Phil's Lightning Talk "No, C++ static analysis does not have to be painful" - Sonar blog video showing Sonar's Automatic Analysis in action Sonar Community Discourse forums

More from CppCast

All episodes

Learning C++ With C++26's Reflection

56 min

In this episode, Mathieu and Jason are joined by Ryan Keane to discuss his duck library, which allows polymorphism-like behaviour through reflection, along with his journey of learning C++ through exploring C++26's reflection mechanisms. Links rjk::duck - Zero boilerplate generic type erasure, powered by C++26 reflection - Ryan Keane Beautiful Type Erasure with C++26 Reflection - Ryan Keane A Duck Does More Than Quack: Synthesizing VTables with C++26 Reflection - Ryan Keane (CppCon 2026) P4148: protocol: Structural Subtyping for C++ - Jonathan Coe et al.

Safety and Interoperability with Rust and C++

1 hr 9 min

Mathieu and Jason are joined by Jon Bauman to discuss safety and interoperability between Rust and C++. They dig into what "safety" really means (there are several categories of safety), what can and can't be guaranteed, how C++ could become a memory-safe language, and the challenges of making Rust and C++ work well together. Jon is currently looking for sponsorship to continue this important work. You can contact Jon via Joncppcast@shumi.org. Links Jon's talks - YouTube playlist P3874R1: Should C++ be a memory-safe language? - Jon Bauman, Timur Doumler, Nevin Liber, Ryan McDougall, Pablo Halpern, Jeff Garland, Jonathan Müller P3874 R1 Should C++ be a memory-safe language? - cplusplus/papers issue #2475 C++ Interoperability Initiative problem statement - Rust Foundation BorrowSanitizer - an LLVM sanitizer for finding aliasing violations across Rust, C and C++ C++/Rust Interop Problem Space Mapping - Rust Project Goals 2025H2 Miri example on the Rust Playground There is no memory safety without thread safety - Ralf Jung RustBelt: Logical Foundations for the Future of Safe Systems Programming - MPI-SWS Understanding and Evolving the Rust Programming Language - Ralf Jung's PhD thesis

Running Conferences and Processing Credit Cards with Kevin Carpenter

1 hr 7 min

Mathieu and Jason are joined by Kevin Carpenter to discuss all aspects of being involved with a conference: from regular attendee, to volunteering, to speaker, volunteer coordinator, and catering concerns. Kevin also shares some of his insights into how credit card processing works, along with some of the challenges he's encountered. In this episode Jason also gives the guest some homework assignments for future conferences! News How fast is C++26's std::hive? - Daniel Lemire Tonight, ShadPS4 joins the hunt: uncovering bugs in the most popular PS4 emulator - Nikita Terentev, PVS-Studio

From Self Taught to Committee Member's First Accepted Paper

1 hr 3 min

Jason and Mathieu are joined by the self-taught Alex (Waffl3x) to discuss the C++ standards committee, defaulted post-fix operators, and self-taught computer engineering. Alex shares his experience of joining the C++ Committee and his efforts to get more people involved. News Mateusz needs help with his logarithmic unit design EuroLLVM 2026 security related talks A set of papers related to safety in the July mailing Brno mailing (2026-07) Links Deducing this Clarify the behavior of floating-point overflow

40 Years of Programming and Embeddable Programming Languages with Mark Guidarelli

1 hr 16 min

Jason and Mathieu are joined by Mark Guidarelli to discuss the history of C++ and esoteric programming languages, Mark's own development history spanning four decades, and what "merging" used to mean before source control. News The code::dive 2026 call for papers is open Gor Nishanov, author of C++ coroutines, recently passed away C++ Documentary was released Check out the C++ Perf Quiz Links trix - Mark Guidarelli Mazes for Programmers - Jamis Buck Game Oriented Assembly Lisp - Wikipedia OpenGOAL Practical File System Design with the Be File System - Dominic Giampaolo (Internet Archive)

This podcast, its content and its artwork are not owned by, affiliated with, or endorsed by Castquire.

Up next

  1. Nothing queued. Use + Queue on any episode to line it up.

0:00 0:00