Infer is an open-source static analyser developed at Facebook. Originally based on Separation Logic, Infer has lately evolved from a specific tool for heap-manipulating programs to a general framework which facilitates the implementation of new static analyses. In this talk, I will report on the Infer team’s experience of applying our tool to Facebook mobile code, each day helping thousands of engineers to build more reliable and secure software. Moreover, I will discuss the team’s current effort to turn Infer into a static analysis platform for research and development useful both to academic researchers and industrial practitioners.
Research Scientist at Facebook Research, Systems and Networking
Professor of Software Verification at the School of Electronic Engineering and Computer Science at Queen Mary University of London (UK)
Venue: Via Salaria, Aula Seminari
Date: May 15, 2019. 2pm–3pm.