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

>>11
What I'm trying to say, >>10, is that you should just stick with today's special.
If moving a chunk of code into its own function is a daunting task to you, then there's something wrong with either you or your code that a magical IDE will not help you with.