Mobile @Scale 2016

Infer: Moving fast with static analysis


Traditionally, static analysis tools have required code to be annotated with contracts and taken hours to perform full program analysis to find deep bugs, or they’ve run quickly but found only trivial linting errors. Dulma Churchill explained how Infer is able to automatically find and cache contracts, allowing it to find deep bugs at diff time, and showed examples of the important classes of bugs that Infer is helping eradicate on mobile at Facebook and now Spotify.

Related Topics

Join the @Scale Mailing List and Get the Latest News & Event Info

Code of Conduct