摘要
灰烬套房系列。 http://www.sible.mcgill.ca/software/。 谷歌学者 
jEdit：开源程序员的文本编辑器。 http://www.jedit.org/。 谷歌学者 Soot：一个Java优化框架。 http://www.sible.mcgill.ca/soot/。 谷歌学者 SPEC JVM98基准。 http://www.spec.org/osg/jvm98/。 谷歌学者 A.Aiken、M.Fähndrich、J.S.Foster和Z.Su.Atoolkit，用于构建基于类型和约束的程序分析。 在 1998年第二届国际研讨会汇编类型 ，第1473卷，共页 LNCS公司 ，第78-96页，1998年。 谷歌学者 数字图书馆 
L.O.安徒生。 C语言的程序分析与专业化 1994年5月，哥本哈根大学博士论文。 （DIKU报告94/19）。 谷歌学者 D.F.培根和P.F.斯威尼。 C++虚拟函数调用的快速静态分析。 在 1996年OOPSLA会议记录 ，第324-341页，1996年。 谷歌学者 数字图书馆 M.达斯。 基于统一的指针分析和方向分配。 在 PLDI’00会议记录 ，ACM第35.5卷 Sigplan通知 2000年6月，第35-46页。 谷歌学者 数字图书馆 J.Dean、D.Grove和C.Chambers。 使用静态类层次分析优化面向对象程序。 在 ECOOP’95——第九届欧洲会议面向对象编程 ，第952卷，共 LNCS公司 ，第77-101页，1995年8月。 谷歌学者 数字图书馆 A.Diwan、K.S.McKinley和J.E.B.Moss。 基于类型的别名分析。 在 PLDI’98会议记录 ，第106-117页，1998年。 谷歌学者 数字图书馆 M.Emami、R.Ghiya和L.J.Hendren。 上下文敏感的过程间点是指在函数指针存在的情况下进行分析。 在 PLDI’94会议记录 ，第242-256页，1994年。 谷歌学者 数字图书馆 M.Fähndrich、J.S.Foster、Z.Su和A.Aiken。 包含约束图中的部分在线循环消除。 在 1998年PLDI会议记录 ，第85-96页，1998年6月。 谷歌学者 数字图书馆 N.海因策。 大型代码库分析：编译链接分析模型。 http://cm.bell-labs.com/cm/cs/who/nch/cla.ps , 1999. 谷歌学者 N.Heintze和O.Tardieu。 需求驱动的指针分析。 在 PLDI’01会议记录 ，第24-34页，2001年。 谷歌学者 数字图书馆 N.Heintze和O.Tardieu。 使用CLA的超快混叠分析：每秒一百万行C代码。 在 PLDI’01会议记录 ，第36.5卷，共页 ACM SIGPLAN通知 ，第254-263页，2001年6月。 谷歌学者 数字图书馆 M.Hind。 指针分析：我们还没有解决这个问题吗？ 在 PASTE’01会议记录 ，第54-61页，2001年6月。 谷歌学者 数字图书馆 D.Liang、M.Pennings和M.J.Harrold。 扩展和评估流敏感点和上下文敏感点，以进行Java分析。 在 PASTE’01会议记录 ，第73-79页，2001年。 谷歌学者 数字图书馆 P.Pominville、F.Qian、R.Vallée-Rai、L.Hendren和C.Verbrugge。 使用属性优化Java的框架。 在 编译器构造（CC 2001） ，第2027卷，共页 LNCS公司 ，第334-554页，2001年。 谷歌学者 数字图书馆 A.Rountev和S.Chandra。 用于分析缩放点的离线变量替换。 在 PLDI’00会议记录 ，第47-56页，2000年6月。 谷歌学者 数字图书馆 A.Rountev、A.Milanova和B.G.Ryder。 指向使用带注释约束的Java分析。 在 2001年OOPSLA会议记录 ，第43-55页，2001年。 谷歌学者 数字图书馆 M.Shapiro和S.Horwitz。 快速准确的流动敏感点分析。 在 1997年第24届POPL大会记录 ，第1-14页，1997年1月。 谷歌学者 数字图书馆 B.斯滕斯加德。 指向几乎线性时间内的分析。 在 96年第23届POPL大会记录 ，第32-41页，1996年1月。 谷歌学者 数字图书馆 Z.Su、M.Fähndrich和A.Aiken。 投影合并：减少包含约束图中的冗余。 在 第27届POPL'00会议记录 2000年，第81-95页。 谷歌学者 数字图书馆 V.Sundaresan、L.Hendren、C.Razafimahefa、R.Vallée-Rai、P.Lam、e.Gagnon和C.Godin。 Java的实用虚拟方法调用解析。 在 2000年OOPSLA会议记录 ，第264-280页，2000年。 谷歌学者 数字图书馆 一个好的但不是线性的集合合并算法的效率。 美国医学会杂志 , 22(2):215-225, 1975. 谷歌学者 数字图书馆 R.Vallée-Rai、e.Gagnon、L.J.Hendren、P.Lam、P.Pominville和V.Sundaresan。 使用Soot框架优化Java字节码：可行吗？ 在 编译器构造（CC 2000） ，第1781卷，共页 LNCS公司 2000年，第18-34页。 谷歌学者 数字图书馆 J.Whaley和M.Lam。 针对严格类型语言的高效基于包含的点分析。 在 静态分析第九届国际研讨会，SAS 2002 ，第2477卷，共页 LNCS公司 ，第180-195页，2002年。 谷歌学者 数字图书馆
建议
基于精炼的上下文敏感点——Java分析 2006年PLDI会议记录 我们提出了一个可扩展且精确的上下文敏感点进行分析，具有三个关键属性：（1）过滤掉不可实现的路径，（2）上下文敏感的堆抽象，以及（3）上下文敏感的调用图。 之前的工作[21]表明。。。 需求驱动的Java分析要点 第20届ACM SIGPLAN面向对象编程系统语言和应用年会会议记录 我们提出了一种适用于时间和内存预算较小的环境的点到分析技术，例如实时（JIT）编译器和交互式开发环境（IDE）。 我们的技术是由需求驱动的，只执行工作。。。
