Infer

Created June 11, 2015Updated 8 hours ago1002 Forks7448 Stars4159 Commits139 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

A static analyzer in deployment at Facebook, where it is used as part of the development process for mobile apps. Infer targets critical bugs such as null pointer exceptions, resource leaks and memory leaks — problems which lead to crashes or performance degradation in apps.

Created June 11, 2015Updated 8 hours ago1002 Forks7448 Stars4159 Commits139 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

@fbinfer

fbinfer

ocamlformat just got released! Infer developers have been using it to format their OCaml source code automatically. https://t.co/y567MS2iqS...

fbinfer

We have open sourced RacerD, static race detection for Java. Concurrent programming is hard. This makes it easier. https://t.co/O3zr8GkS10...

fbinfer

RT @donsbot: "Without Infer, multithreading in News Feed would not have been tenable. " - @fbinfer @fb_engineering @fbOpenSource https://t.…...

On Facebook

Infer Static Analyzer

Check it out. Infer now ships with support for detecting data races. Right now for Java programs, will be extending later. https://code.facebook.com/posts/293371094514305...

Infer Static Analyzer

https://www.facebook.com/groups/abstract.interpretation/permalink/10155864399353945/...

Infer Static Analyzer

https://www.facebook.com/pwohearn/posts/1973434792870353...

Keep Updated

Stay up-to-date via RSS with the latest open source project releases from Facebook, news from our Engineering teams, and upcoming events.

Subscribe
Facebook © 2017