We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Infer A static analyzer for catching bugs before you ship

Formal Metadata

Title
Infer A static analyzer for catching bugs before you ship
Title of Series
Number of Parts
611
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language
Production Year2017

Content Metadata

Subject Area
Genre
Abstract
Static analyzers are automated tools that spot bugs in source code by scanningprograms without running them. They complement traditional dynamic testing:Where testing allows individual runs through a piece of software to be checkedfor correctness, static analysis allows multiple and sometimes even all flowsto be checked at once. Infer is an open-source static analyzer that is usedinternally at Facebook to analyze the main apps for Android and iOS, FacebookMessenger, and WhatsApp, among others. Infer reports bugs responsible for appcrashes and performance issues, such as accessing null pointers, and leakingresources such as Context instances. Each month, hundreds of potential bugs identified by Infer are fixed by ourdevelopers before they are committed to our codebases and deployed to people'sphones. This talk will present Infer and show how it can be integrated as part of thedevelopment workflow.