Open-sourcing Facebook Infer: Identify bugs before you ship

Facebook Infer is a static program analyzer that Facebook uses to identify bugs before mobile code is shipped.

Read the full article here by Facebook Code