Infer

Created June 11, 2015Updated Yesterday964 Forks7090 Stars3829 Commits125 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 Yesterday964 Forks7090 Stars3829 Commits125 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

@fbinfer

fbinfer

RT @donsbot: I'm hiring an FP engineer with to work on extending @fbinfer's analysis for C++. @fb_engineering #ocaml #haskell https://t.co/…...

fbinfer

Thanks UCL PPLV! We're close by and would be happy to talk to you about this. https://t.co/4qSTTEusHK...

fbinfer

Today we introduce AL (AST Language), a DSL for writing linters easily in Infer: https://t.co/tMJ0EMYxWT....

On Facebook

Infer Static Analyzer

Software engineer/static analysis at Facebook...

Infer Static Analyzer

Here is a demo showing how you can use AL to write new checks....

Infer Static Analyzer

Today we introduce AL (AST Language), a DSL for writing linters easily in Infer:...

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