Facebook从前的格言是“疾速举动，打破常规”，但随着公司越来越大，代码不断增加，这话也许得变成“疾速举动，找出bug”了。为此Facebook，开发了智能东西Infer，它能自动找出移动使用中的缝隙。
现在，这一东西被开源了。 Facebook在近来宣告任何人都能用Infer来调试自个的使用了。据介绍，它能像人类相同检查代码，并作出一些推测。但它的优势是，数分钟就能看完上千行代码。Facebook现已用它修正了多半的缝隙。
大都的调试器都会先运转程序，然后逐行检测代码，但Infer能在不执行程序的情况下剖析代码，这一进程被称为“静态程序剖析”。
静态剖析现已有数十年之久，也有了相应的商业和开源东西，不过它们无法像Infer那样做大规模的深度剖析。Infer能将代码分解，小范围剖析后再将成果结合在一起，统筹剖析的深度和速度。
本来Infer也归于人工智能的一种，不过它更接近于符号人工智能( symbolic AI )分支，而不是咱们所熟知的神经网络技能。
Infer技能开始来自草创公司Monoidics，后来该公司被Facebook收买。