域敏感的java程序副作用分析分析-analysis on side effects of domain-sensitive java programs.docxVIP

Key words: pointer analysis; method summary; side effect analysis; field-sensitive; Soot目录摘要 ............................................................. IAbstract .......................................................... II目录 ............................................................ IV1 绪论 ............................................................. 11.1 研究背景..........................................................................................................11.2 国内外研究现状..............................................................................................21.2.1 国外研究现状........................................................................................21.2.2 国内研究现状........................................................................................41.3 主要研究工作..................................................................................................51.4 本文组织结构..................................................................................................52 相关技术介绍 ..................................................... 62.1 静态分析概述..................................................................................................62.1.1 建模........................................................................................................62.1.2 分析算法................................................................................................72.2 指针分析技术..................................................................................................82.3 副作用分析技术............................................................................................10Soot 优化框架 10Soot 工作流程 10Jimple 中间表示 122.5 本章小结........................................................................................................143 算法设计 ........................................................ 153.1 总体思路........................................................................................................153.1.1 副作用分析 MOD 问题153.1.2 算法框架...............