Please log in to watch this conference skillscast.
Static analyzers are automated tools that spot bugs in source code by scanning programs without running them. They complement traditional dynamic testing: Where testing allows individual runs through a piece of software to be checked for correctness, static analysis allows multiple and sometimes even all flows to be checked at once. Infer is a static analyzer that is used internally to analyze the main Facebook apps for Android and iOS, Facebook Messenger, and Instagram, among others. Infer reports bugs which are responsible for app crashes and performance issues, such as accessing null pointers, and leaking resources such as Context instances.
Each month, hundreds of potential bugs identified by Facebook Infer are fixed by our developers before they are committed to our codebases and deployed to people’s phones. Facebook Infer is open source so you can use it yourself.
This talk will show you how to use Infer as part of the development workflow, and will present the results obtained on some Android apps.
YOU MAY ALSO LIKE:
- How the JVM executes Java (in London on 24th July 2017)
- Got The Perfect Agile Model? Here’s What You Should Know About Agnostic Agile (in London on 16th August 2017)
- Gojko Adzic's Specification by Example: From User Stories to Acceptance Tests (in London on 7th - 8th November 2017)
- Agile Testing & BDD eXchange 2017 (in London on 9th - 10th November 2017)
Facebook Infer: A static analyzer for catching bugs before you ship
Martino Luca is a software engineer in Facebook's London Engineering office, where he works on the Infer development team.