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

>>67

That's the entire problem with ahead-of-time binary compilation.

You mean that it doesn't have machine-specific optimizations? I'd think compiling once from source when moving to a new machine would be the best of both worlds - you can optimize for the machine, without the JIT overhead.

>>68
If you can afford to not be bothered by inefficient algorithms or excessive memory use, you're not using the full capabilities of the computer. Of course, that's not necessarily a bad thing - most modern personal computers are intended to have at least some ability to run 3d games on, so it's basically impossible for say a text editor to stress the system, no matter how bloated it is. And sure, in those cases it may not be worth the programmer-hours it would take to 'de-bloat' it. But if you're actually the one writing 3d games, or simulations to run on a supercomputer, then efficiency is important.