Scaling Static Analyses at Facebook