Scaling static analyses at Facebook | Synapse