Actually, since the compiler is well understood in what the code does, where better to perform the static analysis?
It's the perfect place for such things. And so I do believe the compiler should do analysis. Heck, in Visual Studio, the compiler does the analyzing, doesn't it?
Run-time tools cannot be tied to the compiler, of course. But they're another subject.