Login | Register   
RSS Feed
Download our iPhone app
Browse DevX
Sign up for e-mail newsletters from DevX

By submitting your information, you agree that devx.com may send you DevX offers via email, phone and text message, as well as email offers about other products and services that DevX believes may be of interest to you. DevX will process your information in accordance with the Quinstreet Privacy Policy.


Facebook Open Sources Infer Testing Tool

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




Application Security Testing: An Integral Part of DevOps

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

Comment and Contribute






(Maximum characters: 1200). You have 1200 characters left.



We have made updates to our Privacy Policy to reflect the implementation of the General Data Protection Regulation.
Thanks for your registration, follow us on our social networks to keep up-to-date