Open-sourcing Facebook Infer: Identify bugs before you ship

Today, we’re open-sourcing Facebook Infer, a static program analyzer that Facebook uses to identify bugs before mobile code is shipped. 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 analys

[rjj]

数百万行の変化の激しいプログラムでnullポインタ参照とリソース/メモリリークを見つける。Separation logic, bi-abduction。FBに買収されたMonoidicsのメンバーの仕事。

[ionis]

コードのバグを調べてくれるツール

[masakiplus]

Today, we're open-sourcing Facebook Infer, a static program analyzer that Facebook uses to identify bugs before mobile code is shipped. Static analyzers are automated tools that spot bugs in source code by scanning programs without running them.

[cco]

Facebook製 OSS の Java 静的解析ツール（モバイル用）。