科研之友
微信
新浪微博
Facebook
分享链接
摘要
污点分析技术是漏洞检测的重要技术手段，由于缺少运行时额外信息，使用静态污点分析技术进行漏洞检测会产生大量的误报。基于污点分析技术，针对Web漏洞提出一种更细粒度的污点分析方法，在代码分析过程中生成更加精确的对象状态记录；对代码的执行路径进行判断并精确地记录污点以及sink的传递过程，有效减少了过污染和欠污染的情况。使用符号执行工具对漏洞位置的可达性进行了验证，可以排除一些虚假的漏洞警告，有效地降低了误报和漏报率。
-
单位华中科技大学; 武汉商学院; 湖北华中电力科技开发有限责任公司
