AI自动识别移动应用代码bug：详解Facebook Infer

选自TowardsDataScience作者：Jesus Rodriguez机器之心编译参与：Geek AI、路Facebook 的 Project Infer 是如何在部署手机 App 前识别出其中的 Bug 的呢？Infer 官网地址：https://fbinfer.com/GitHub 地址：https://github.com/facebook/infer不久前，一支来自 Facebook 的工程团队斩获了 ACM SIGPLAN POPL 最具影响力论文奖，这是机器学习研究社区最受关注的奖项之一。该团队获奖论文为「Compositional Shape Analysis by Means of Bi-abduction」，介绍了近年来我最喜欢的机器学习应用之一「Project Infer」背后的科学原理。Project Infer 的目标是：在移动应用程序发布之前检测其代码中的 bug，这样的技术似乎是科幻电影中的桥段。移动应用程序中出现 bug 的代价往往很大。在移动应用程序被分发到数千台移动设备后再发现错误，对 ………………………………