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

>>47
This macro works (if I add a semicolon after the final occurrence of "result"), but I'm not sure I understand why. result*result*result doesn't store its value anywhere, yet if the macro is used as an argument to say printf(), it does in fact print the cube of the input. So how can the function-like macro "return" this value, if it's not stored in a variable? Does this depend on undefined behavior?