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

>>69
You didn't read the post, you literal retard. Code that is never executed, and data that is never read, doesn't hit the cache. If you care about packing of functions into tiny cache lines, you'll be doing that manually anyway.