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

>>7
Very often I need to take a chunk of code and make it into a separate function. Going through the code and checking what free vars there are to make them all into function parameters would be a chore, might as well rewrite it from scratch. An IDE could help a lot here.