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

This is where macros have an advantage - they have the same syntax as functions

C macros barely have syntax at all, and the unfathomable uselessness of your example belies your inadequacy in even understanding C.