分类
大小:2.1M更新:2015-06-13
类别:编程辅助系统:WinAll
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等人来说,这件事的意义更大,因为静态分析领域还有很多悬而未决的问题亟待解决。利用群体的力量解决大问题并实现共赢,这才是开源最大的意义。
大华播放库SDK开放工具编程辅助MV3.37.0 32位/64位版
查看程序员代码利器Notepad++32位/64位版编程辅助MV7.3.2官方中文版
查看PostWoman网页调试工具编程辅助MV1.0【Post工具】
查看Dr.Explain 软件说明文档撰写工具编程辅助Mv4.0.418 英文特别版
查看Visual Studio 2015开发助手(Developer Assistant)编程辅助M6.5.8 官方版
查看大华设备网络SDK(NetSDK) For Linux编程辅助MV3.46.3 32位/64位版
查看简易软件(获取网页源码)编程辅助.86MV1.0永久免费版
查看jsoup-1.10.2.jar编程辅助M官方版
查看全局热键类的多热键编程辅助.04M免费版
查看zyPrtLib_Windows CE(Embedded VC++)版编程辅助.52MV1..0.0.1官方版
查看java环境配置软件编程辅助.02Mv1.0免费版
查看黑马程序员代码生成器HeimaCodeUtil编程辅助Mv2.4 免费版
查看IDM UltraEdit中文特别版编程辅助MV26.00.0.48注册机&特别补丁
查看串口调试工具 SerialChart编程辅助M官方版
查看ChkBugReport编程辅助.67Mv0.4.185 官方最新版
查看PowerGREP汉化补丁编程辅助MV5.1.5绿色版
查看单片机多功能调试助手编程辅助.77MV1.7.8 绿色版
查看mysql数据库.net开发驱动(mysql connector net )编程辅助M8.0.11 官方最新版
查看xstudio-vs插件编程辅助MV0.0.1绿色版
查看CnVCL 组件包编程辅助M20170308 Alpha官方最新版
查看DotNet Reactor编程辅助Mv5.0.0.0 官方版
查看鲁班DIY转换器编程辅助.17Mv1.2.1 绿色版
查看Alien串口调试助手编程辅助.14Mv0.227 官方版
查看Thief-Book摸鱼神器IDEA插件编程辅助.02Mv1.0.0 免费版
查看点击查看更多