Menu
Facebook tool could help devs pinpoint elusive memory leaks

Facebook tool could help devs pinpoint elusive memory leaks

Infer is a free static analysis debugger Facebook has used internally and has now released as open source

Facebook's Infer can highlight errors in the source code of a program, and prompt the developer to fix them.

Facebook's Infer can highlight errors in the source code of a program, and prompt the developer to fix them.

To help developers find hidden errors in their programs, Facebook has released as open source a tool that it uses to debug millions of lines of its own code.

The software, called Infer, could be useful to organizations and individuals building mobile and desktop apps and could use extra help debugging, said Facebook developer Peter O'Hearn, one of the tool's creators.

Infer is a static program analyzer. Static analyzers do not test programs by running them. Instead, they mathematically examine the code for all the possible ways it could run, flagging incorrect or unfinished bits.

Infer is particularly well-suited for applications too large to be understood by any one programmer, O'Hearn said. It separates an application into a set of smaller parts so they can be examined more easily. It also remembers which parts of the application it has already analyzed, and doesn't re-check them unless they have been modified.

Facebook has used Infer to inspect Facebook Messenger and Instagram, as well as its apps for the Android and iOS platforms.

Static analysis tools are not new. Companies such as Coverity, Parasoft, and Black Duck, among others, all offer commercial static analysis debuggers.

Infer's obvious advantage over these products is that it's free. It also is particularly well adapted to sniffing out memory leaks and null pointer access, both of which can be elusive to track down and are a predominant source of app crashes.

The current version can examine code written in C, Objective-C and Java. The Infer team hopes that, by open sourcing the software, others will add support for more languages.

Work on Infer started in Monoidics, which was founded in 2009 and purchased by Facebook in 2013. In addition to O'Hearn, Facebook developers Cristiano Calcagno and Dino Distefano also contributed heavily to Infer.

Joab Jackson covers enterprise software and general technology breaking news for The IDG News Service. Follow Joab on Twitter at @Joab_Jackson. Joab's e-mail address is Joab_Jackson@idg.com

Follow Us

Join the New Zealand Reseller News newsletter!

Error: Please check your email address.

Tags Development toolsapplication developmentsoftwareFacebook

Slideshows

Top 50 defining moments of the New Zealand channel in 2016

Top 50 defining moments of the New Zealand channel in 2016

Reseller News looks back on a tumultuous 12 months for the New Zealand channel, assessing the fallout from a year of sizeable industry change. Whether it be local or global mergers and acquisitions, distribution deals or job changes, the channel that started the year differs somewhat to the one set to finish it - Reseller News assesses the key moments that made 2016.​

Top 50 defining moments of the New Zealand channel in 2016
​Hewlett Packard Enterprise honours high achieving NZ channel

​Hewlett Packard Enterprise honours high achieving NZ channel

Hewlett Packard Enterprise honoured its top performing Kiwi partners at the second running of its HPE Partner Awards in New Zealand, held at a glitzy ceremony in Auckland. Recognising excellence across eight categories - from distributors to resellers - the tech giant celebrated its first year as a standalone company, following its official split from HP in 2015.

​Hewlett Packard Enterprise honours high achieving NZ channel
Nutanix treats channel partners to Christmas cruise

Nutanix treats channel partners to Christmas cruise

Nutanix recently took to the seas for a Christmas Cruise around Sydney Harbour with its Australia and New Zealand staff, customers and partners to celebrate a stellar year for the vendor. With the sun out, they were all smiles and mingled over drinks and food.

Nutanix treats channel partners to Christmas cruise
Show Comments