基于敏感语义关联的代码切片及应用研究

打开文本图片集

摘  要：利用程序的可伸縮性对程序进行代码切片，识别出受敏感变量影响的关键语句，消除噪音并挖掘程序内部依赖，用以检测代码的漏洞与缺陷。针对切片对依赖过于敏感的问题，提出一种基于敏感语义关联的代码过程间切片方法，提取表征敏感信息的有效语句，捕获语义依赖关联，将代码漏洞触发点转化为上下文敏感的缺陷依赖流，并基于约束规则提升切片效率，结合缺陷约束获取代码漏洞的异常来源。（剩余7762字）

网站仅支持在线阅读（不支持PDF下载），如需保存文章，可以选择【打印】保存。