摘要
1 A.Aho、R.Sethi和J.Ullman。 编译器：原理、技术和工具。 艾迪森·韦斯利，1986年。 谷歌学者 
数字图书馆 
2 G.Ammons和J.R.Larus。 使用路径配置文件改进数据流分析。 PLDI 98：编程语言设计与实现，第72-84页。 ACM，1998年。 谷歌学者 数字图书馆 三。 T.Ball、R.Majumdar、T.Millstein和S.K.Rajamani。 C程序的自动谓词抽象。 PLDI 01：编程语言设计与实现。 ACM，2001年。 谷歌学者 数字图书馆 4 T.Ball和S.K.Rajamani。 Bebop：布尔程序的符号模型检查器。 SPIN 00:SPIN Workshop，LNCS 1885，第113-130页。 Springer-Verlag，2000年。 谷歌学者 数字图书馆 5 R.Bodik和S.Anik。 路径敏感值-流量分析。 在《POPL 98：编程语言原理》中，第237-251页。 ACM，1998年。 谷歌学者 数字图书馆 6 R.Bodik、R.Gupta和M.L.Soffa。 使用不可行路径精炼数据和信息。 在ESEC/FSE 97：欧洲软件工程/软件工程基础，LNCS 1301，第361-377页。 Springer-Verlag，1997年。 谷歌学者 数字图书馆 7 R.布莱恩特。 布尔函数操作的基于图形的算法。 IEEE计算机汇刊，C-35（8）：677-6911986。 谷歌学者 数字图书馆 8 M.达斯。 基于统一的指针分析和方向分配。 PLDI 00：编程语言设计与实现，第35-46页。 ACM，2000年。 谷歌学者 数字图书馆 9 S.G.Govindaraju和D.L.Dill。 使用重叠投影进行近似符号模型检查。 《理论计算机科学电子笔记》，1999年7月。 谷歌学者 交叉引用 
10 K.McMillan。 符号模型检验：状态爆炸问题的一种方法。 Kluwer学术出版社，1993年。 谷歌学者 数字图书馆 11 T.Reps、S.Horwitz和M.Sagiv。 通过图形可达性进行精确的过程间数据分析。 InPOPL 95：编程语言原理，第49-61页。 ACM，1995年。 谷歌学者 数字图书馆 12 M.Sagiv、T.Reps和R.Wilhelm。 通过三值逻辑进行参数化形状分析。 在《POPL 99：编程语言原理》中，第105-118页。 ACM，1999年。 谷歌学者 数字图书馆 13 M.Sharir和A.Pnueli。 程序间数据分析的两种方法。 《程序流分析：理论与应用》，第189-233页。 普伦蒂斯·霍尔，1981年。 谷歌学者 14 M.西夫。 个人交流。 2000年7月12日。 谷歌学者 15 S.W.K.Tjiang和J.L.Hennessy。 Sharlit—构建优化器的工具。 PLDI 92：编程语言设计与实现，第82-93页。 ACM，1992年。 谷歌学者 数字图书馆 16 G.A.Venkatesh。 构建和评估程序分析技术高级规范的框架。 PLDI 89：编程语言设计与实现，第1-12页。 ACM，1989年。 谷歌学者 数字图书馆
建议
快速逃逸滤波器的副作用分析 SOAP'12:ACM SIGPLAN Java程序分析最新技术国际研讨会会议记录 副作用分析是一种基本的静态分析，用于确定每个程序实体修改或使用的内存位置。 对于带有指针的程序，分析可能非常不精确。 为了提高副作用分析的准确性。。。
