Inside a Static Analyser - Type System

Explore the intricacies of C++ type systems in static analyzers through this NDC TechTown 2021 conference talk. Delve into the challenges of parsing and compiling C++ code, focusing on the internal mechanisms of the PVS-Studio C++ analyzer. Examine current and future implementations of type representations, including encoding methods, potential issues, and proposed improvements. Learn about canonical types, qualifiers, quality pointers, and how these elements fit together in a more efficient system. Discuss polymorphism, alternative approaches, and traits in the context of static analysis. Gain valuable insights into the complexities of C++ static analysis and type system design from speaker Yuri Minaev's expertise.

Intro
What is this about
A static analyser?
Back to types
Representing types
Encoding
One tiny issue
Another tiny issue
Huge problems
Let's estimate
The better system
Structure
Canonical type
Qualifiers
Quality pointer
How it fits together
Profit
Polymorphism?
Another way
Traits
Summary