程序bug太多,可以用Facebook的开源AI工具
2023-06-13 09:15:22 时间
Facebook曾经的格言是 快速行动,打破常规 ,但随着公司越来越大,代码越来越多,这话可能得变成 快速行动,找出bug 了。为此Facebook,开发了智能工具Infer,它能自动找出移动应用中的漏洞。
现在,这一工具被开源了。Facebook在近日宣布任何人都能用Infer来调试自己的应用了。据介绍,它能像人类一样查看代码,并作出一些推测。但它的优势是,数分钟就能看完上千行代码。Facebook已经用它修复了八成的漏洞。
多数的调试器都会先运行程序,然后逐行检测代码,但Infer能在不执行程序的情况下分析代码,这一过程被称为 静态程序分析 。
静态分析已经有数十年之久,也有了相应的商业和开源工具,不过它们无法像Infer那样做大规模的深度分析。Infer能将代码分解,小范围分析后再将结果整合在一起,兼顾分析的深度和速度。
其实Infer也属于人工智能的一种,不过它更接近于符号人工智能(symbolic AI)分支,而不是我们所熟知的神经网络技术。
Infer技术最初来自初创公司Monoidics,后来该公司被Facebook收购。
原创文章,作者:ItWorker,如若转载,请注明出处:https://blog.ytso.com/46931.html
开源相关文章
- 使用 selenium 写的多进程全网页截图工具,发现了 PhantomJS 截图的 bug
- 只要发现bug,就必须要提吗
- 偶现bug,怎么报
- 阿里线上Bug排查命令工具清单!必须收藏!
- i++需要多少QPS才能测出BUG
- ChatGPT 修得了别人的 Bug,修不了自己的!OpenAI 直指开源数据库 Redis 漏了底
- 【Bug解决】TensorRT: export failure 0.1s: [WinError 127]
- 要怎样和程序猿谈一场没有bug的恋爱
- 调试mysql Bug,高效管理你的数据库(bug管理mysql)
- Oracle临时表BUG 遭遇不测崩溃惊魂(oracle临时表bug)
- 破解Oracle数据库修复Bug问题(oracle修改bug)
- Win10 KB5005033 更新带来了新 bug
- PHP中获取变量的变量名的一段代码的bug分析
- ShareSDK造成App崩溃的一个BUG原因分析以及Fix方法