Starting from PVS-Studio 7.14, the C and C++ analyzer has supported intermodular analysis. In this two-part article, we’ll describe how similar mechanisms are arranged in compilers and reveal some technical details of how we implemented intermodular analysis in our static analyzer.


Before we inspect intermodular analysis, let’s remember how compilation works in the C and C++ world. This article focuses on various technical solutions for object module layout. We’ll also see how well-known compilers use intermodular analysis and how it’s related to Link Time Optimizations (LTO).

Leave a Reply

Your email address will not be published. Required fields are marked *