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

>>40
You're just talking about the function invocation syntax, which yeah sort of looks like a function call syntax. But it's a blind text substitution with a completely separate, gimped language. It totally fucks up the syntax and semantics of the caller, unless you go through pains to wrap everything in your macro expansion properly, and even then you'll always end up hitting weird situation where the fucking blind text substitution doesn't quite do what you want because there's no actual syntax at work.