Infer Static Analyzer とは

推測は、「Facebook Infer」と呼ばれることもありますが、Facebookのエンジニアリングチームがオープンソースの貢献者とともに開発した静的コード分析ツールです。 Java、C、C ++、Objective-Cのサポートを提供し、AndroidやiOSアプリ(WhatsApp、Instagram、Messenger、メインのFacebookアプリなど)の分析でFacebookに展開されています。
Inferは、ソフトウェアの正式な検証のための理論であるSeparation Logicに関する学術研究に根ざしています。 Separation Logicに基づく自動プログラム検証の作業は、一連の学術ツール(SmallfootやSpaceInvaderを含む)につながった。ロンドンの3人の研究者であるCristiano Calcagno、Dino Distefano、Peter O'Hearnは、2009年に検証スタートアップMonoidicsを共同設立し、Monoidicsは最初のバージョンのInferを開発しました。 Monoidicsは2013年にFacebookによって買収され、2015年にはInferのコードが公開されました。
Inferがオープンソースであった2013年現在では、Inferによって識別されたバグ/月がFacebookの開発者によって生産に達する前に固定されていると主張されていました。 2015年までには、これは毎月1000バグ以上に増加しました。
Spotify、Uber、Mozilla、Sky、Marks and Spencerは、Inferのオープンソースユーザーとして知られています。