Infer是facebook最近发布的一款开源的智能代码查错工具,这款工具可以在不运行代码的方式下,通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描,来验证代码是否存在问题或满足技术指标。无论是iOS还是Android开发者均可它用来调试自己的app。
静态分析工具可以像人一样对代码进行思考,分析代码存在的问题,所不同的是它的效率要高得多,数分钟之内即可扫描成千上万行代码。虽然市面上也有商业和开源的静态分析工具,但是Infer的联合开发者Peter O’Hearn称,能像Infer这样对如此规模的代码进行深度分析的工具是没有的。Infer可以将大型代码分而治之,切割成小段代码,然后再将分析结果整合起来。这属于符号化人工智能(有别于更接近人思维模式的神经网络AI)的一种,据称其代码修复率可达80%。
Infer源自O’Hearn和他的学生Cristiano Calcagno及助教Dino Distefano的研究成果。三人创办了一家初创企业Monoidics,原本打算做成商业化产品。但是后来Facebook收购了这家公司并作出了Infer。他们意识到在这里可以产生更大的影响,最终让Facebook把这种工具开源了。这意味着其他开发者也可以分析工具本身,然后针对自己的需求改进,做出更好的分析工具;对于Facebook来说,开源的意义也正在于此,让大家帮助Infer变得更好;对于O’Hearn等人来说,这件事的意义更大,因为静态分析领域还有很多悬而未决的问题亟待解决。利用群体的力量解决大问题并实现共赢,这才是开源最大的意义。
开发者其他应用
七猫免费阅读小说app24.5M233448人在玩七猫免费阅读小说app不一样的小说阅读神器,这里有着海量丰富小说应用资源,你想看的小说通过强大搜索引擎一键搜索即可,主要的是阅读小说还能够获取红包现金奖励哦,喜欢的小伙伴赶快前来西西软件园下载吧!
下载奇热漫画app安卓版22.3M13404人在玩奇热漫画是一款非常不错的漫画阅读软件,具有很多强大的阅读功能,奇热漫画app实时为你更新全网最新最热的动漫资源。平台拥有海量精彩漫画,官方正版漫画,支持离线观看,还有方便舒服的阅读方式
下载奇热小说app24.8M234446人在玩安卓奇热小说app是专为众多爱看小说的人士提供的手机看小说的软件,省流量极速免费看小说,海量热门小说任你看,喜欢小说的小伙伴不要错过,赶快下载奇热小说网手机版客户端体验吧
下载快看漫画App77KB50898人在玩快看漫画,相信许多玩微博的小伙伴们都已经知道这款APP了。吵架归吵架,至于这款快看漫画App到底做得怎么样,只有试过才知道!如果你喜欢看漫画小故事,那么它可以陪你度过许多无聊的时光
下载豆瓣阅读72.3M9567人在玩豆瓣阅读app是一款为豆瓣的用户们量身定做的APP,在豆瓣阅读这里你可以看到更加符合豆瓣用户喜好的各类文字作品,而且目前书籍依然在持续增长中。毫无疑问,如果你是豆瓣用户,而且喜欢文字阅读的话,那么这毫无疑问是一款必须下载的APP
下载追书神器45.8M9506人在玩追书神器安卓版是一款超级强力的小说导读助手,目前几大热门的小说连载网站均有关联,你可以通过它方便地寻找自己喜欢的书记,而且更新之后还会马上提示你
下载腾讯动漫60.6M13436人在玩腾讯动漫寒假档,许多大人们认为动漫就是小孩子看的东西,但是大概从80后开始,动漫就成为了许多人生活中的一部分,如果你喜欢看动漫,可以来腾讯动漫吧,这里有最新动漫更新视频
下载书旗小说45.1M22183人在玩书旗免费小说是一款以书旗网海量小说为基础的在线/离线阅读器,集合在线阅读、本地阅读、书包下载、自动书签、智能搜索、阅读设置等多项人性化功能。
下载搜狗阅读器app33.8M6751人在玩搜狗阅读是搜狗公司依托于搜狗搜索的丰富资源,为安卓用户打造的移动阅读应用产品。搜狗阅读海量图书即搜即看,新闻大事掌握在手,更有离线缓存、精品推荐、更新提醒等功能,让您随时随地享受阅读的快乐
下载起点读书37.5M11580人在玩起点读书Android版,又名起点看书,是起点中文网推出的一款阅读软件。它支持本地阅读并提供起点在线书库,具备多种格式的解析阅读功能,同时提供了赏心悦目的UI及轻松舒适的图书阅读体验
下载