C程序结构分析及代码审查技术研究

admin · 发表于 2024-1-11 16:43:57

题目：

雅宝题库答案：

****此区域为收费内容**** 需支付 1 知识币后可查看，1币=0.01元查看答案

雅宝题库解析：
C语言是一种功能强大、具有较高执行效率的程序语言，同时也是一种安全控制机制宽松、编程风格自由的程序语言。因此通过编译的C程序代码并不能保证代码中不存在代码缺陷，这些代码缺陷可能严重危及程序的运行或影响软件可维护性。因此，在编写代码的过程中及时发现并清除代码缺陷，是提高软件质量和开发效率的重要保证，采用代码缺陷自动检测技术是发现代码缺陷的重要手段之一。本文分析了传统缺陷检测技术的特点及不足，对国内外的研究现状进行了调研并对目前流行的C程序缺陷检测工具进行了研究和总结，发现了目前研究中存在的不足。针对这些不足，本文研究了缺陷规则，整理了一组缺陷规则集，并对其进行了分类。提出基于抽象语法树遍历的缺陷定位方式，利用工厂模式构造统一规格的Visitor访问者实现对语法树的遍历，通过语法树遍历查找缺陷模式的方法实现缺陷代码检测，并提出基于检测序列的代码缺陷检测方法。研究了程序结构，总结了程序实体之间的逻辑连接关系，并对实体名称的语义相似度的度量方式进行了阐述，提出了联合逻辑连接关系度量和语义相似度度量提取程序划分的算法，用于完成代码结构检测。基于Eclipse+CDT的开发平台，本文自主研发的C代码缺陷自动检测工具CCDIT(C Code Defect Inspection Tool)，使用Eclipse插件开发的形式，构建了一个集编辑、编译及自动化缺陷检测于一体的开发环境。工具提供了审查规则扩展机制，不仅支持了审查员对系统已有的缺陷规则的定制，同时也对审查员扩充新的缺陷规则进行了支持。CCDIT可根据定制的缺陷规则实现对代码缺陷的检测，并且实现了对程序结构的检测，为程序结构重组提供了参考依据。最后，本文通过实验验证了CCDIT工具的代码缺陷检测功能的性能、准确性和有效性，同时验证了基于程序结构分析的程序划分提取算法的有效性，提取的程序划分基本上反映了程序的真实文件组织结构，能够作为程序重组的依据。

C程序结构分析及代码审查技术研究

天涯海角也要找到Ni：C程序结构分析及代码审查技术研究

相关帖子

QQ微信同步：1144766066。

服务

网站

战略合作