Brussels / 3 & 4 February 2018


Finding inter-procedural bugs at scale with Infer static analyzer

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer has been successfully deployed at Facebook, where it identifies hundreds of potential bugs per month in mobile apps and backend code.

This talk will present Infer, and how it can be used to help developers move fast and with more confidence.


Photo of Jules Villard Jules Villard