Brussels / 3 & 4 February 2018

schedule

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.

Speakers

Photo of Jules Villard Jules Villard

Attachments

Links