据国外媒体报道，为加强平台安全系数，Facebook已收购英国程序BUG核查软件开发商Monoidics。双方交易细节未公布，后者于周三通过官网宣布了该消息。

　　收购完成后，Monoidics的开发团队将迁移至Facebook位于英国伦敦的办公室工作。

　　Monoidics创建于2009年，专长是分析和核对软件稳定性及安全性。该公司的Infer Static Analyzer产品可帮助检测代码的安全漏洞，以防止类似内存溢出、非法指针引用等错误的出现。此外，另一款名为Infer X-Ray的产品能帮助工程师视觉化检测软件的质量，及识别需要改进的关键区域风险。