IDE with advanced code analysis?

/prog/, what's the IDE with the most advanced code analysis features out there? I'm talking about things like:

- listing all the free variables that occur in selected code term
- warning the user when he shadows a binding from the outer scope
- finding all the places where a variable gets mutated
- showing all possible execution paths through a code term

>>61
Wouldn't "runtime optimizations" only be possible with JIT compilation? The only other way I see of doing it is incorporating optimized code for every single runtime situation into the binary, but 99% of it wouldn't be used in a typical run of the program so it would basically be needless bloat.

>>64
The problem with abstractions is that you need to teach the compiler to recognize them; if the user creates code that falls just outside of the compiler's ability to recognize the abstraction being used, the resulting binary will be a mess.