作者：黄强 曾庆凯脆弱性信息流污点传播动态验证静态单一赋值
摘要：基于流和上下文敏感的SSA（static single assignment）信息流分析技术，提出了一种细粒度、可扩展的污点传播检测方法，利用控制流和数据流的相关信息，跟踪污染数据及其传播路径，可以检测缓冲区溢出、格式化串漏洞等程序脆弱性．分析过程在潜在问题点自动插装动态验证函数，在无需用户干预的情况下保证了程序的运行时安全．在GCC编译器的基础上实现了分析系统，实验结果表明，该方法具有较高的精确度和时空效率．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
