Login | Register   
LinkedIn
Google+
Twitter
RSS Feed
Download our iPhone app
TODAY'S HEADLINES  |   ARTICLE ARCHIVE  |   FORUMS  |   TIP BANK
Browse DevX
Sign up for e-mail newsletters from DevX


advertisement
 

Facebook Open Sources Infer Testing Tool

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


advertisement

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.

 

 

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