Static analysis has the potential to provide early feedback on performance problems to developers without having to run profilers with expensive (and often unavailable) performance tests. We develop a VSCode tool that integrates the static cost analysis results from Infer, that enables interactive reasoning about static performance properties that is interleaved with the development workflow. We illustrate how this Infer IDE integration can be used to reason about software performance during development in the context of a real performance bug in the ElasticSearch open-source project.

CS Professor at TU Wien, Researcher/Software Engineer at Facebook