MARCH 17, 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.

To help personalize content, tailor and measure ads, and provide a safer experience, we use cookies. By clicking or navigating the site, you agree to allow our collection of information on and off Facebook through cookies. Learn more, including about available controls: Cookies Policy