基于控制流切片的代码安全缺陷检测方法

合集下载

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

ｓｓｉ．Ａｉｌｉａｉｎｍｅｈｄｆｒｃｎｒｌｌｗｓｄｔｘｌｄｎ — ｒａｈｄｃｎｒｌｌｗｆｒｔｎａｄｒｄｃｈｕｅｆｓｍｐｉｃｔｔｏｏｏｔｏｏｉｕｅｏｅｃｕｅｕｆｏｆｓｅｃｅｏｔｏｏｉｏｍａｉｎｅｕｅｔｅｎｍｂｒｏｆｎｏ
２１年６０２月
计算机工程与设计
ＣＯＭＰＵＴＥＲＥＮＧＩＮＥＥＮＧＲＩＡＮＤＳＧＮＤＥＩ
Ｊｎ２１ｕ．０２
Ｖ０．３Ｎｏ６Ｉ３．
第３卷３
第６期
基于控制流切片的代码安全缺陷检测方法
周宽久，杨广＋，晓晨，赖崔凯，姚艳双
Ｋｅｒｓｃｄｘｅｔｏ；ｃｎｒｌｌｗｎｌｓｓａａｆｗｎｌｓｓｅｕｉｕｓｔｏｔｏｌｗｉｐｉｃｔｎｙｗｏｄ：ｏｅｅｃｐｉｎｏｔｏｏａａｙｉ；ｄｔｌａａｙｉ；ｓｃｒｔｓｂｅ；ｃｎｒｌｏｓｆｏｙｆｍｌｉａｉｆｏ
率。通过对３个Ｌｎｘ内核源文件的检测，验证了该方法不仅可以检测出违反安全子集的代码安全隐患，同时对代码数据ｉｕ
流异常检测提供支持制流分析；数据流分析；安全子集；控制流化简
ＺＨＯＵａｊｕＫｕｎ，ＹＡＮＧＧｕｎ＋，Ｌａ—ｈｎｉａｇＡＩｏｃｅ，ＣｉＸｉＵＩＫａ，ＹＡＯＹａ－ｈａｇｎｓｕｎ
（ｏｔｒｃｏｌＳｆｗａｅＳｈｏ，ＤａｉｎＵｎｖｒｉｙｏｃｎｌｇ，Ｄａｉｎ１６２ｌｉｅｓｔｆａＴｅｈｏｏｙｌ１６０，Ｃｈｎ）ａｉａ
中图法分类号：３１ＴＰ１文献标识号：Ａ文章编号：１０ —０４（０２６２６ —７００７２２１）０ —２５０
Ｍｅｈｄｔｅｅｔｖｌｅａｙｂｓｄｏｏｔｏｌｗｌｅｔｏｏｄｔｃｕｎｒｒａｅｎｃｎｒｌｆｏｓｉｓｃ
ｏｌｄｔｃｖｏａｉｓｆａｅｕｓｔｂｔｌｌｎａａｆｗｎｍａｅｅｔｎｔａｃｒｃｔｒｈｎ９．ｎｙｅｅｔｉｔｎｆｓｂｅ，ｕｓｉｅｔｔｌａｏｌｄｔｃｏ．Ｉｃｕａｙｒｅｓｍｏｅｔａ００ｌｏｏｓａｏｍｐｍｅｄｏｙｉｓａｉＹ
ｃｄｅｕｉｓｓｏｔｌｌｗａｓａｔｎａｏｉｍｆ／＋＋ｓｕｃｏｅｓｒｐｓｄｔａｉｌｏｔｉｎｒｌｌｗｓｃｓｏｅｓｃｒｙｒｋ，ａｃｎｒｏｂｔｃｉｇｒｈｏｃｔｉｏｆｒｏｌｔｃｏｒｅｄｏｏｅｆｓｙｂａｃｔｏｆｉｃｉｐｏｅｂｎｏｏｌｅ
ａｄｇｎｒｔｏａｏｔｏｌｗｒｐ．Ｔｈａａｆｗｎｍａｙｄｔｃｉｎａｄｔｅｓｃｒｔｕｓｔｄｔｃｉｎｉｃｍｂｎｄｗｉｈｔｉｎｅｅａｅｌｃｌｎｒｌｏｇａｈｃｆｅｄｔｌｏａｏｌｅｅｔｎｈｅｕｉｓｂｅｅｅｔｓｏｉｅｔｈｓｏｙｏｍｏｅ，ａｄｔｅｄｔｌｗｎｌｓｓｉｅｔｎｅＯｐｏｅｓａｄｍｏｕｅｏｌｙｔｅｆｕｄｔｎｆｒｉｔｒｐ０ｅｕａｘｅｔｎａａｙｄｌｎｈａａｆｏａａｙｉｘｅｄｄｔｒｃｓｎｄｌｓｔａｈｏｎａｉｏｅ — ｒｃｄｒｌｃｐｉｎｌ — ｓｏｎｅｏ
Ａｓａｔｏａｑｉｈｘｃｔｎｐｔｓｆｍｅｃｃ＋ｓｕｃｄｓｔｒｃｒｇａｖｒｂｅｎｏｍｉｅｃｐｂｌｉｆｂｔｃ：Ｔｃｕｒｔｅｅｕｉａｈｒｔ／＋ｒｅｅｏｏｈｏｒｅｃｅｏｔｋｐｏｒｍａｉｌａｄｔｎａａｉｔｓｏｏａａｓｉｅ
ｄｔｌｗｒｃｉｇｐｔｓＳｓｔａａｆｏｔａｋｎａｈＯａｏｉｒｖｈｒｃｉｇｅｆｉｎｙｍｐｏｅｔｅｔａｋｎｆｉｅｃ．Ｆｉａｌ，ｓｍｅｅｐｒｍｅｔｌｒｓｌｓｓｏｔａｈｄｌａｏｃｎｌｙｏｘｅｉｎａｅｕｔｈｗｈｔｔｅｍｏｅｎｎｔｃ
（大连理工大学软件学院，辽宁大连１６２）１６０
摘要：为轻松获得程序的可能执行路径，进而实现程序变量的状态跟踪，提出了一种ｃｃ＋＋源代码控制流提取算法，／通过该模型获取控制流切片，产生局部控制流图，将数据流异常检测与安全子集检测相结合，弥补了单独使用安全子集方法无法跟踪数据流的不足，增强代码安全隐患的挖掘能力。利用控制流图化简，排除部分不可达控制流信息，提高跟踪效