检索结果-南通市图书馆

计算机科学 2024年

作者：胡梦泽马旭桐张豪张健中国科学院软件研究所计算机科学国家重点实验室国科大杭州高等研究院中国科学院大学

C/C++编程语言应用在众多关键领域的软件系统中，在开发时对于编程的规范性和语义的明确性有着极高的要求。为了避免不当使用C/C++语言带来潜在的安全问题，国内提出了面向C/C++语言的《C/C++ 语言编程安全子集》（后简称为GJB8114）。... 详细信息

C/C++编程语言应用在众多关键领域的软件系统中，在开发时对于编程的规范性和语义的明确性有着极高的要求。为了避免不当使用C/C++语言带来潜在的安全问题，国内提出了面向C/C++语言的《C/C++ 语言编程安全子集》（后简称为GJB8114）。由于标准中规则较多，程序员开发过程中难免存在不规范的写法因此实现自动化的规则检测工具检测相应的编码规则是必要的。而现有的编程规范检查工具对标准的检查并不全面，在针对需要理解程序上下文的规则的检查时误报率较高甚至不支持检查。对此，文中将GJB8114中的规则分类并对复杂规则进行定义。通过调研Testbed工具检查GJB8114中的复杂规则的支持程度总结得到现有工具存在流敏感分析不完善和无法进行跨文件的全局分析这两个问题。文中通过采取了结合语法树匹配的流敏感分析方法和跨文件的全局分析方法以解决这些问题。在此基础上开发得到了CruletFS工具，实验结果表明，与常见的编程规范检查工具Cppcheck、Testbed等相比，CruletFS在检查复杂规则时有更好的效果。在针对规模较大的项目分析时CruletFS在开销上也优于Cppcheck。这说明相较已有的方法和策略，本文所提出方法可以在占用开销较低的基础上有效提高复杂规则检查的准确率。

关键词： C/C++编码风格检查流敏感静态分析跨文件代码检查

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：