Alain Ketterlin <> 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.



Reply via email to