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

Write smaller functions

This is bad advice. Smaller functions means MORE functions, and each function regardless of size has some fixed overhead in code generated and space allocated on the stack. This is the problem with ``design patterns" and ``maintainable code"; in writing code that can be easily understood and modified by idiot programmers, you make it harder for the compiler to generate efficient machine code. Even the best optimizing compilers can't match the quality of hand-written assembly, confusing them with unnecessary function calls is just going to make things worse. At the very least, you should use macros or inline functions, to avoid the overhead of a function call.