Open-sourcing Facebook Infer: Identify bugs before you shipcode.facebook.com1 pointdenzil_correa11 years ago