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

>>38
Syntax as in the general pattern of functionname(arg1,arg2). I don't know what you mean by saying they "barely have syntax at all", because the main difference from functions as far as source code syntax is concerned is that macros are typeless. It is necessary to write macros in different syntactical styles (such as by surrounding arguments with parentheses in the expanded form, to avoid things like:

#define TIMES_TWO(n) n*2

int a = TIMES_TWO(2 + 7) /* value stored in a is 16, not the expected 18 */
)
But that doesn't mean it makes sense to say they don't have syntax.