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

>>65
That's the entire problem with ahead-of-time binary compilation. It's bullshit made in the 1960s, that carried downsides for no other reason than programmers are nigger luddites who can't fucking deal with change, and who can't admit the shit that they built is shit when something better comes along.

Stuff like the Mill architecture, where there's cached compilation on startup per system is leagues better.