Inside a Static Analyser - Type System

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.