使用类型限定的系统依赖图检测整型错误

• 作者: 王清贤 金然 魏强
• 来源期刊: 计算机应用研究
• 关键词: 类型限定 类型推断 系统依赖图 整型错误
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1850-1852,1900
• 页数: 4页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.06.074

摘要

目前大多数的源码安全审计工具在整型错误的检测上具有局限性,往往只能检测整型溢出类型的漏洞.针对这个问题,对已有的系统依赖图(system dependence graph,SDG)检测模型进行了改进,结合类型限定理论提出了基于类型限定的系统依赖图(type-qualified SDG, QSDG)检测模型.该模型不仅可以用来检测C代码中潜在的绝大多数整型错误,而且还能根据其出错原因将其分类到所定义的八种错误类型.与SDG检测模型仅采用图同构算法进行检测相比,先使用类型推断算法再对QSDG进行检测可以降低检测所花费的时间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王清贤	解放军信息工程大学信息工程学院	44	268	9.0	15.0
2	金然	解放军信息工程大学信息工程学院	8	73	4.0	8.0
3	魏强	解放军信息工程大学信息工程学院	20	138	7.0	11.0