Infer

Created June 11, 2015Updated March 24867 Forks6475 Stars2818 Commits106 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 March 24867 Forks6475 Stars2818 Commits106 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

@fbinfer

fbinfer

New checkers, better integrations... oh, and C++ support. All in Infer's new version 0.10.0: https://t.co/zf3JNsTOmz...

fbinfer

The recording of our #fosdem2017 talk is available from their website. Learn more about how to use and deploy infer: https://t.co/IUIKiPHCsh...

fbinfer

An analyzer as realistic and modular as Inferbo in about 5 weeks? I would not have believed it". Prof Kwangkeun Yi… https://t.co/gAq9U5Wmgf...

On Facebook

Infer Static Analyzer

New 0.10.0 version on GitHub: https://github.com/facebook/infer/releases/tag/v0.10.0 Release notes: - [Clang] C++ support. - [Clang] Improved support for cmake and Xcode compilation databases. - [C++...

Infer Static Analyzer

The recording of our #fosdem2017 talk is available from their website. Check it out to learn more about how to use and deploy infer!...

Infer Static Analyzer

https://research.fb.com/inferbo-infer-based-buffer-overrun-analyzer/...

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