Limited-Time Offer: Up to 75% Off Coursera Plus!
7000+ certificate courses from Google, Microsoft, IBM, and many more.
This course aims to provide an understanding of the type system within a static analyzer for C++ code. By examining the internal mechanisms of the PVS-Studio C++ analyzer, participants will learn about different representations of types within a program. The course covers topics such as encoding types, implementation details of the type system, canonical types, qualifiers, and polymorphism. The teaching method involves a detailed exploration of the analyzer's workings and the new type system's implementation. This course is intended for individuals interested in delving into the complexities of parsing and compiling C++ code, particularly those involved in software development, code analysis, or programming language design.
