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

>>35
#define repeat(N) for(int i=N;i--;)
variables in scope of for loop exist only within the loop.
https://stackoverflow.com/questions/7880658/what-is-the-scope-of-a-while-and-for-loop