Open-sourcing Facebook Infer: Identify bugs before you ship (2015)engineering.fb.com1 pointddtaylor4 years ago