Open-sourcing Facebook Infer: Identify bugs before you shipcode.facebook.com3 pointsdsr1211 years ago