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.