Infer

Created June 11, 2015Updated 2 hours ago1128 Forks8336 Stars4908 Commits166 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 2 hours ago1128 Forks8336 Stars4908 Commits166 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

@fbinfer

fbinfer

Infer is one of those teams for which there is a manager opening https://t.co/KReKVynkx3...

fbinfer

RT @xdevroey: Keynote on using static analysis @facebook with Infer (open source and available now GitHub!) #icst18 https://t.co/GSz9MX1QY3...

fbinfer

RT @tkanstren: Infer #staticanalysis tool use at Facebook. Shows warnings on new code diffs for code reviewer. High use and fix rate by aut…...

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 © 2018