Infer

Created June 11, 2015Updated 8 hours ago930 Forks6913 Stars3278 Commits109 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 ago930 Forks6913 Stars3278 Commits109 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

@fbinfer

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

fbinfer

Infer 0.12.0 released: new CLI, man pages, and a DSL to write your own linters! Available from GitHub and Homebrew. https://t.co/aaHAhzC35G...

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

Infer Static Analyzer

Infer 0.12.0 released! New command line interface, man pages, and AL: a DSL to write your own linters. See the GitHub release notes for more details. As usual, grab it from GitHub or Homebrew. https...

Want to work with us?

Join the team, we're hiring! Here are some of our current open positions:

    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