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

>>82
"Portable assembler" as used to describe C is somewhat of a misnomer. C has the same low-level features as assembly, but uses structured syntax. Its still much lower level than most languages, however the block structure and automatic local variables are abstractions that don't exist in assembly.