But is the static analysis of input strings passed to a random library function really a core feature of a compiler, just because the compiler has a switch for

But is the static analysis of input strings passed to a random library function really a core feature of a compiler, just because the compiler has a switch for such analysis? Yes, it's a feature of modern well-engineered tool, but I would argue it's strictly not part of the compiler.