Meta-Compilation(Coverity)
由Stanford大学的Dawson Engler副教授等研究开发,该静态分析工具允许用户使用一种称作metal的状态机语言编写自定义的时序规则,从而实现了静态分析工具的可扩展性。MC的实际效果非常优秀,号称在Linux内核中找出来数百个安全漏洞缺禅。MC目前已经商业化,属于Coverity Inc.2014年被Synopsys收购。目前学术领域比较认可的静态分析工具,其技术处于领先地位。
mygcc 由一个法国人N. Volanschi开发,其思想来源于MC,试图将自定义的错误检测集成到编译时。
Klocwork
国内用的最为广泛的静态分析工具,由加拿大北电于1996年研发,是中国最早的能够检测语义缺陷的静态分析工具。截止到2015年其版本号为V10,也就是大家常说的K10
LDRA Testbed
英国的编码规则类检伏早尘测工具,前身为Liverpool大学开发,能够支持C/C++数千种条目的规则检测,包括MISRA C/C++, GJB5369等,是最早进入中国市场的静态分析工具,在军队、军工广泛使用,但其技术仅支持风格类检测,无法进行语义缺陷分析,导致一些常用的运行时缺陷无法发现或者较高误漏报,由此市场占有率逐步下降。截止到2015年其版本号为9.5
HP Fortify
美国HP公司的支持安全漏洞类的检测工具,能够检测C/C++/Java/PHP/ASP/JavaScript等多种语言,数千种检测项,是国内使用最为广泛的静态分析工具。但该工具整体的误报漏报率较高,虽然支持很多种安全漏洞,但需要用户做很多的二次开发工作。
Cobot(库博)
北京大学软件工程中心研发的静态分析工具,能够支持编码规则,语义缺陷的程序分析,能够支持C/C++数千条规则和缺陷的检测,是我国唯一可以称的上是静态分析产品的商业化工具。由于其自主知识产权,对国内的 *** 作系统,编码标准支持的较好,检测精度也基本与上述工具持平,所以也得到了很多用户的认可。
Parasoft C++Test
美国Parasoft公司研发的睁滚支持C、C++静态分析的工具,该工具除了可以检测编码规则外,还能检测少量的语义缺陷,此外能够进行测试用例生成。
在当今的互联网时代中,Java语言越来越流行。关于Java的一些常用工具也需要我们不断的掌握和理解。下面沙河java培训为大家介绍,Java程序员常用的开发工具有哪些。
一、ServiceLoader-加载服务
Java开发人员通常希望区分使用什么和创建什么,沙河java课程培训机构发现通常是通过创建一个描述组件 *** 作的接口和使用某种中介创建组件实例。
二、SCanner
无数的Java开发工具可以帮助您构建解析器,许多函数语言已经成功地构建解析器库(解析器选择器)。但是,如果您想解析逗号分隔的值蠢斗文件或空格分隔的文本文件呢?沙河java课程发现大多数工具都太大了,不能在这里使用,String.split()是不够的。
三、Timer
Java.util.Timer和TimerTask类提供了一种方便且相对简单的基于周期性或临时延迟执行任务的方法。
四、StAX-解析XML文件
当许多Java开发人员首次使用XML时,分析XML文件的基本方法有两种。沙河沙河IT培训认为SAX解析器实际上是一个大型状态机,程序员对事件调用一系列回调方法。DOM分析程序将整个XML文敏档郑档添加到内存中,分离并分割成各个对象,并将它们连接起来形成桥颂树。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)