Infer

Created June 11, 2015Updated Yesterday885 Forks6630 Stars2964 Commits105 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 Yesterday885 Forks6630 Stars2964 Commits105 Open IssuesMobile · Android · iOS · Language Tools · Development Tools

@fbinfer

fbinfer

Dino is giving a keynote on Infer today at the European Joint Conferences on Theory and Practice of Software https://t.co/CKYgBa6184...

fbinfer

RT @xgouchet: This new (OSS) AL DSL looks like a useful tool for custom lints -- https://t.co/QlARxRMtFa @FacebookLondon #codemobileuk #Get…...

fbinfer

RT @mitrevski: Infer, cool tool from @fb_engineering for static code analysis @Codemobileuk #codemobileuk #GetYourCodeOn...

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