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

>>61
C is just portable assembler. There's too much of a one-to-one correspondence between C and the generated machine code to allow the programmer to abstract. It's also too low level to allow the compiler flexibility and freedom to make larger optimizations, meaning the programmer has to hand-optimize absolutely everything. That model is poor and makes poor programmers who can't get past the low level.