Whole-program analysis

A whole-program analysis requires the analyzer to know the entire program to start. It thus cannot¹ be applied to parts of a program like a library or a single function, unlike a modular analysis.

Codex allows performing both modular and whole-program analyses.

1. Note that it is often possible to work around the problem by inserting stubs, but these remains workarounds. ↩