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

>>46
>>48
Also, isn't this a case where the compiler can optimize anyway? If, without using macros or functions, I just write int x = f(6) * f(6) * f(6), wouldn't the compiler be smart enough to recognize that it only needs to calculate f(6) once? And while it's still in the register after being returned from function f(), just multiply by three before storing it in x?