Infer是由Facebook发布的静态程序分析工具，源自Facebook对初创企业Monoidics的收购，其核心技术基于分离逻辑（separation logic）和双向推导（bi-abduction）等学术成果 。一支来自Facebook的工程团队因相关研究斩获了ACM SIGPLAN POPL最具影响力论文奖 。
该工具主要用于检测Java、C和Objective-C代码中的空指针异常、资源泄露及内存泄露等问题，可应用于Android、iOS等移动应用的代码审查。开发者可通过Homebrew安装或源码编译部署，支持Maven、Gradle、Xcodebuild等构建系统，并生成相应报告 。Infer采用捕获与分析两阶段工作流程，支持全局与差分两种使用模式，能够分解大型代码库进行分析 。其开源版本持续迭代更新，支持Jenkins集成与SonarQube组合使用 。
想要了解更多“infer（APP静态分析工具）”的信息，请点击：infer（APP静态分析工具）百科
