Infer A static analyzer for catching bugs before you ship