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

Join the newsletter!

Error: Please check your email address.
Rocket to Success - Your 10 Tips for Smarter ERP System Selection

Tags Facebooksoftwareapplication developmentDevelopment tools

Keep up with the latest tech news, reviews and previews by subscribing to the Good Gear Guide newsletter.

Joab Jackson

IDG News Service
Show Comments

Cool Tech

Breitling Superocean Heritage Chronographe 44

Learn more >

SanDisk MicroSDXC™ for Nintendo® Switch™

Learn more >

Toys for Boys

Family Friendly

Panasonic 4K UHD Blu-Ray Player and Full HD Recorder with Netflix - UBT1GL-K

Learn more >

Stocking Stuffer

Razer DeathAdder Expert Ergonomic Gaming Mouse

Learn more >

Christmas Gift Guide

Click for more ›

Most Popular Reviews

Latest Articles

Resources

PCW Evaluation Team

Edwina Hargreaves

WD My Cloud Home

I would recommend this device for families and small businesses who want one safe place to store all their important digital content and a way to easily share it with friends, family, business partners, or customers.

Walid Mikhael

Brother QL-820NWB Professional Label Printer

It’s easy to set up, it’s compact and quiet when printing and to top if off, the print quality is excellent. This is hands down the best printer I’ve used for printing labels.

Ben Ramsden

Sharp PN-40TC1 Huddle Board

Brainstorming, innovation, problem solving, and negotiation have all become much more productive and valuable if people can easily collaborate in real time with minimal friction.

Sarah Ieroianni

Brother QL-820NWB Professional Label Printer

The print quality also does not disappoint, it’s clear, bold, doesn’t smudge and the text is perfectly sized.

Ratchada Dunn

Sharp PN-40TC1 Huddle Board

The Huddle Board’s built in program; Sharp Touch Viewing software allows us to easily manipulate and edit our documents (jpegs and PDFs) all at the same time on the dashboard.

George Khoury

Sharp PN-40TC1 Huddle Board

The biggest perks for me would be that it comes with easy to use and comprehensive programs that make the collaboration process a whole lot more intuitive and organic

Featured Content

Product Launch Showcase

Latest Jobs

Don’t have an account? Sign up here

Don't have an account? Sign up now

Forgot password?