您正在使用IE低版浏览器,为了您的雷锋网账号安全和更好的产品体验,强烈建议使用更快更安全的浏览器
此为临时链接,仅用于文章预览,将在时失效
新鲜 正文
发私信给张驰
发送

2

程序bug太多,可以用Facebook的开源AI工具

本文作者:张驰 2015-06-12 11:25
导语:Facebook曾经的格言是“快速行动,打破常规”,但随着公司越来越大,代码越来越多,这话可能得变成“快速行动,找出bug”了。

程序bug太多,可以用Facebook的开源AI工具

Facebook曾经的格言是“快速行动,打破常规”,但随着公司越来越大,代码越来越多,这话可能得变成“快速行动,找出bug”了。为此Facebook,开发了智能工具Infer,它能自动找出移动应用中的漏洞。

现在,这一工具被开源了。Facebook在近日宣布任何人都能用Infer来调试自己的应用了。据介绍,它能像人类一样查看代码,并作出一些推测。但它的优势是,数分钟就能看完上千行代码。Facebook已经用它修复了八成的漏洞。

多数的调试器都会先运行程序,然后逐行检测代码,但Infer能在不执行程序的情况下分析代码,这一过程被称为“静态程序分析”。

静态分析已经有数十年之久,也有了相应的商业和开源工具,不过它们无法像Infer那样做大规模的深度分析。Infer能将代码分解,小范围分析后再将结果整合在一起,兼顾分析的深度和速度。

其实Infer也属于人工智能的一种,不过它更接近于符号人工智能(symbolic AI)分支,而不是我们所熟知的神经网络技术。

Infer技术最初来自初创公司Monoidics,后来该公司被Facebook收购。

雷锋网原创文章,未经授权禁止转载。详情见转载须知

分享:
相关文章

文章点评:

表情

专业写瞎

不受意识控制地报道那些让人感动的产品技术和事件......zhchsimons@gmail.com ;微信:nksimons;《脑洞》公众号:hackmind
当月热门文章
最新文章
请填写申请人资料
姓名
电话
邮箱
微信号
作品链接
个人简介
为了您的账户安全,请验证邮箱
您的邮箱还未验证,完成可获20积分哟!
请验证您的邮箱
立即验证
完善账号信息
您的账号已经绑定,现在您可以设置密码以方便用邮箱登录
立即设置 以后再说