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.
15/05/2019
Speaker:
Dino Distefano
http://www.eecs.qmul.ac.uk/~ddino/ddino_homepage/
Research Scientist at Facebook Research, Systems and Networking
https://research.fb.com/people/distefano-dino/
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.