devxlogo

Facebook Open Sources Infer Testing Tool

Facebook Open Sources Infer Testing Tool

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

devxblackblue

About Our Editorial Process

At DevX, we’re dedicated to tech entrepreneurship. Our team closely follows industry shifts, new products, AI breakthroughs, technology trends, and funding announcements. Articles undergo thorough editing to ensure accuracy and clarity, reflecting DevX’s style and supporting entrepreneurs in the tech sphere.

See our full editorial policy.

About Our Journalist