Facebook has announced that it’s open-sourcing Infer, a code verification tool used to identify buggy mobile code before it ships. The social network giant procured Infer as part of a deal to acquire ...