Alain Ketterlin <al...@dpt-info.u-strasbg.fr> wrote:
>> When is static analysis actually needed and for what purpose?
> For example WCET analysis (where predictability is more important than
> performance). Or code with strong security constraint. Or overflow
> detection tools. Or race condition analyzers. And there are many others.
> And I don't even mention engineering tools for dependence analysis,
> packaging, etc. (or even IDEs).
You don't have to answer a rhetorical question.