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

Formale Metadaten

Titel
Infer A static analyzer for catching bugs before you ship
Serientitel
Anzahl der Teile
611
Autor
Lizenz
CC-Namensnennung 2.0 Belgien:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache
Produktionsjahr2017

Inhaltliche Metadaten

Fachgebiet
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.