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

>>71
and this is the problem with you irritating piece of shit """bloat""" spewing fuckers. You whinge on about carrying megabytes around, then somebody calls you a stupid fuckhead for whinging about the stupidest of backwards ignorant shit, and then you talk about inefficient algorithms, which ISN'T BLOAT, you utter dipshit.

If I could kill you over the internet with my bare hands, I would. Die horribly and soon, you cancer on programming and society.