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

Featured

Slideshows

Educating from the epicentre - Why distributors are the pulse checkers of the channel

Educating from the epicentre - Why distributors are the pulse checkers of the channel

​As the channel changes and industry voices deepen, the need for clarity and insight heightens. Market misconceptions talk of an “under pressure” distribution space, with competitors in that fateful “race for relevance” across New Zealand. Amidst the cliched assumptions however, distribution is once again showing its strength, as a force to be listened to, rather than questioned. Traditionally, the role was born out of a need for vendors and resellers to find one another, acting as a bridge between the testing lab and the marketplace. Yet despite new technologies and business approaches shaking the channel to its very core, distributors remain tied to the epicentre - providing the voice of reason amidst a seismic industry shift. In looking across both sides of the vendor and partner fences, the middle concept of the three-tier chain remains centrally placed to understand the metrics of two differing worlds, as the continual pulse checkers of the local channel. This exclusive Reseller News Roundtable, in association with Dicker Data and rhipe, examined the pivotal role of distribution in understanding the health of the channel, educating from the epicentre as the market transforms at a rapid rate.

Educating from the epicentre - Why distributors are the pulse checkers of the channel
Kiwi channel reunites as After Hours kicks off 2017

Kiwi channel reunites as After Hours kicks off 2017

After Hours made a welcome return to the channel social calendar last night, with a bumper crowd of distributors, vendors and resellers descending on The Jefferson in Auckland to kickstart 2017. Photos by Maria Stefina.

Kiwi channel reunites as After Hours kicks off 2017
Arrow exclusively introduces Tenable Network Security to A/NZ channel

Arrow exclusively introduces Tenable Network Security to A/NZ channel

Arrow Electronics introduced Tenable Network Security to local resellers in Sydney last week, officially launching the distributor's latest security partnership across Australia and New Zealand. Representing the first direct distribution agreement locally for Tenable specifically, the deal sees Arrow deliver security solutions directly to mid-market and enterprise channel partners on both sides of the Tasman.

Arrow exclusively introduces Tenable Network Security to A/NZ channel
Show Comments