Infer

Created June 11, 2015Updated Yesterday1051 Forks7720 Stars4415 Commits154 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 Yesterday1051 Forks7720 Stars4415 Commits154 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

@fbinfer

fbinfer

RT @headinthebox: How did I miss this one. We need more distillers and less creators of tiny increments. Rejections because the work is not…...

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...

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