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

>>9

split your chunk into its own function anyway

That's what I would like to do. Is there an IDE smart enough to help me?

Write smaller functions

You're another idiot who mindlessly applies "design patterns" regardless of whether they're appropriate or not.