GitHub Infer Source Repository

Official Meta open-source repository maintaining the Infer static analyzer

IEEE Xplore Program Verification Papers

Academic literature on industrial static analysis tooling for mobile software

Infer Project - A Statically-typed Dialect of Scheme

Infer is a statically typed language designed to be accessible to Scheme programmers. It is suitable for implementation on top of Scheme,thereby providing compatibility with Scheme programming environments.

Meta Engineering Blog on Infer

Engineering articles published by Meta detailing bug detection algorithms in Infer

Meta Infer Static Analyzer Official Site

Official website and documentation for Infer, a static analysis tool for Java, C++, and Objective-C

PyTorch and Infer Integration Docs

Machine learning framework documentation referencing code quality tools

Springer Link Formal Methods Chapters

Academic book chapters covering bi-abduction and shape analysis algorithms

Stack Overflow Infer Tag

Community Q&A forum for troubleshooting static analysis rules in Meta Infer

Wikipedia Infer Static Analyzer

Is a static code analysis tool developed by an engineering team at Facebook along with open-source contributors. It provides support for Java, C, C++, and Objective-C, and is deployed at Facebook in the analysis of its Android and iOS apps.