Intermodular Analysis of C and C++ Projects in Detail (Part 1)

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.

Preface

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).

CategoriesUncategorized