Browse DevX
Sign up for e-mail newsletters from DevX


Facebook Open Sources Infer Testing Tool

The mobile development tool finds bugs in Objective-C, Java and C.


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.

View article

Thanks for your registration, follow us on our social networks to keep up-to-date