Facebook has released a mobile testing tool called Infer under an open source license. Infer can spot errors in Objective-C, Java and C, making it capable of testing both iOS and Android apps, as well as some types of enterprise applications.
The tool was created by Peter O'Hearn, Cristiano Calcagno and Dino Distefano, three Facebook engineers who used to work at a startup called Monoidics before it was acquired by Facebook. Infer is based on two advanced mathematical techniques: separation logic and bi-abduction. The trio say these techniques make it possible to analyze a large and constantly evolving codebase fairly quickly.