论文部分内容阅读
在总结污点分析研究现状基础上，给出了基于依赖的静态污点分析的形式化描述。提出并形式化定义跨方法的域变量和方法参数变量依赖关系以及依赖关系传播的操作语义，改进分析的精度。引入迭代求精方法对分析结果进行多阶段和验证，改进分析的性能。在S00T平台实现改进分析的原型系统并与现有分析比较，实验结果表明改进方案有效提高了精度和性能。