Infer: Static Analysis at Facebook

Dulma Churchill

Infer is a static analysis tool based on separation logic that is being built at Facebook. It is also used in various other companies like Spotify and Uber. In this talk I want to address the path from a static analysis prototype to a system that is used in the industry by thousands of developers and that finds and helps to fix many bugs a day. I will discuss the various parts of our tool chain needed to make the static analyzer work that complement the core static analysis algorithm.