论文部分内容阅读
基于流和上下文敏感的SSA（static single assignment）信息流分析技术，提出了一种细粒度、可扩展的污点传播检测方法，利用控制流和数据流的相关信息，跟踪污染数据及其传播路径，可以检测缓冲区溢出、格式化串漏洞等程序脆弱性．分析过程在潜在问题点自动插装动态验证函数，在无需用户干预的情况下保证了程序的运行时安全．在GCC编译器的基础上实现了分析系统，实验结果表明，该方法具有较高的精确度和时空效率．