Facebook open-sources Infer, a code-verification tool that squishes bugs before mobile apps ship

Facebook has announced that it's open-sourcing Infer, a code verification tool used to identify buggy mobile code before it ships.