Google's Include What You Use project, or IWYU, ensures source files include all headers used in the code.
Suppose a source file source.c includes a header arbitrary.h which in turn coincidentally includes freeloader.h, but the source file also explicitly and independently uses the facilities from ...