Coverity功能介绍.doc
《Coverity功能介绍.doc》由会员分享,可在线阅读,更多相关《Coverity功能介绍.doc(8页珍藏版)》请在咨信网上搜索。
1、_Coverity Prevent SQSPrevent SQS(软件质量系统)是检测和解决C、C+、Java源代码中最严重的缺陷的领先的自动化方法。通过对您的构建环境、源代码和开发过程给出一个完整的分析,Prevent SQS建立了获得高质量软件的标准。静态源代码分析允许我们再软件开发生命周期的早期阶段发现和修复缺陷,节省数以百万计的相关成本。Prevent SQS是业界标准,因为只有Coverity理解和掌握静态源代码分析技术所具有的严格的要求。l Coverity了解构建系统Prevent SQS通过在操作系统流程这个层次监测您的构建系统来获得每一个操作的清晰视图,展现您的软件。l Co
2、verity了解源代码Prevent SQS检测比当今市场上任何其他工具都更多的源代码信息;代码的结构、含义和意图都被用来揭示其中的严重的错误和不安全性。l Coverity了解开发者Prevent SQS通过一个客户化的工作流、功能强大的分析器和易于使用的工具,能够使缺陷在几分钟内被定位,解决缺陷。绘制软件DNA图谱(C/C+)l Prevent SQS构建监测软件自动的检测您的编译系统执行的每一个操作。l Prevent SQS可信编译器收集您代码中的语法、语义和依赖关系的细节信息。l 一个完整的编译器描述库保存了所有的通过可信编译器收集的信息,所以分析引擎拥有关于源代码的全面的信息。Pr
3、event SQS通过集成一个位于您的构建系统和操作系统之间的监测层,记录构建系统和操作系统的交互,获得对于您的构建系统的一个清晰的了解。这个监测层检测所有的发起的可执行程序,和所有打开和读写的文件。当Prevent SQS从您的构建系统检测到对您的编译器的调用,他执行很多步骤来了解调用操作及其对编译代码的影响。Prevent SQS转换所有的命令来确切的了解本地预处理器和编译器将如何正确生成可执行程序。构建系统中的一个嵌入层记录每个文件的特有的编译,Prevent SQS提供一个工具使您能够组合这些属性到他们的描述库和可执行程序中。Prevent SQS编译很多种类型的C和C+源代码,包括各
4、个编译器实现的主要的语言扩展和C、C+的各种方言。使用一个预处理器,Prevent SQS也能够处理非标准的构造为语义等价构造,标准构造是前端分析器能够解释和理解的。软件DNA图谱包含了足够的构建系统和源代码信息,能够从软件DNA图谱构建一个执行程序。他收集了编译器用来生成可执行代码的所有的数据,也是保存源代码相关的所有数据的唯一的地方。您可以从保存在软件DNA图谱中的信息创建可执行程序,但反之不可。您不能从任何可执行程序中创建软件DNA图谱,因为构建系统、编译器和链接器在转换源代码到可执行程序时都会丢失信息。只有Coverity对于您的构建系统的理解允许您创建一个真实的软件DNA图谱,没有其
5、他方法。检测严重的缺陷(C/C+)l Prevent SQS源代码分析引擎利用软件DNA图谱来分析您的代码的各个方面。l Prevent SQS模块化缺陷检测平台能够使很多模块(或检查器)同时分析您的代码,查找不同类别的缺陷。l Prevent SQS预配置的库说明了作为您的产品的一部分的第三方库的APIs和功能。在构建了软件DNA图谱以后,Prevent SQS分析图谱来构建一个对于您的代码的完整的分析。Prevent SQS应用很多、独特的分析引擎来分析所有执行模式的代码。分析引擎提供给缺陷检测检查器最精确的源代码描述,来查找缺陷。在分析引擎上构建了一系列的模块来检测三类主要的缺陷:导致系
6、统崩溃的缺陷(内存错误、逻辑错误、指针错误等);安全性问题;和并发缺陷。这种模块化的分析架构允许Coverity持续的开发用于其他类别错误的模块。Coverity如何检查严重的软件缺陷Prevent SQS分析引擎使得缺陷检测检查器拥有源代码最精确的描述。Prevent SQS针对C/C+的分析引擎引擎功能路径流程引擎通过构建一个表示经过每一个函数的所有的路径的图表分析您代码中的每个函数的控制流数据追踪引擎用于分析从程序中每个路径中的声明收集的所有的整型和布尔型等数据统计引擎用于分析您的代码作为一个整体的行为特征过程间调用总结引擎一个主要的创新,使得Prevent SQS可以执行整个程序的分析
7、,分析文件间和模块间的任何层次的复杂的调用链类型流程引擎用于提高C+分析中依赖于类层次关系的报告的结果的精度虚假路径引擎用于分析每个分支条件,以确定在当前路径它将是真、假或不确定加速引擎保存横越每个路径时的每个缺陷分析所收集的信息;消除冗余路径,不需要横越任何不必要的路径来找到最多的缺陷数据传播引擎把过程间调用总结引擎产生的所有总结和数据追踪引擎记录的所有数据汇总起来,是Coverity特有的、上下文敏感的过程间分析能力的关键增量分析引擎通过缓存分析数据来提高性能,以便后续的分析仅需要包含变化的数据解决缺陷(C/C+)l Prevent SQS内嵌的自动分发功能把缺陷结果发给能够修复缺陷的开发
8、人员和团队。l 可处理的缺陷报告在几分钟内提供一个直观的界面和说明,而不是几小时或几天。l 缺陷工作流管理器帮助开发团队创建客户化的检测、分析、解决Prevent SQS报告的缺陷的流程。找到缺陷是美妙的,修复缺陷会更好。Coverity了解如何将源代码分析适应您的开发流程,Prevent SQS提供您将缺陷列表转变为修复列表的所有的工具。Prevent SQS缺陷导航工具提供一个直观的分析、诊断、解决您的代码中发现的问题的界面。l 每个缺陷的完整的路径在源代码中被清晰的显示,这样开发人员能够快速追踪错误的根源。l 缺陷的关键属性直接嵌入在源代码中,这样开发人员能够理解分析引擎用于检测错误的逻
9、辑。在缺陷导航工具中,源代码以一个完全的交叉引用的形式显示,超链接界面使用户能够从引用点击到定义,也可以从定义到所有引用的列表。这帮助开发人员更快的鉴别复杂的交叉调用的缺陷。Prevent SQS工作流管理器提供一个客户化的工作流阶段和步骤,允许用户对报告的缺陷构建缺陷修复流程。工作流管理器允许您轻松的划分您的代码为逻辑组,分配每个组的所有者。当报告缺陷,他将自动分配给组件的所有者,自动发送邮件通知。客户化工作流阶段允许您设置一系列“动作”,确定一个缺陷由检测到解决的步骤。分析引擎允许您以各种阶段粒度报告您的进度。几种预制的报告帮助您基于组件、所有者、或者缺陷类型划分结果,更好地分析您的代码中
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- Coverity 功能 介绍
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【天****】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【天****】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。