摘要
J.Aldrich、C.Chambers、E.G.Sirer和S.Eggers。 用于消除java程序中不必要同步的静态分析。 静态分析研讨会，第19-38页，意大利威尼斯，1999年9月。]] 谷歌学者 
数字图书馆 
B.布兰切特。 针对java#8482；的转义分析： 理论与实践。 《美国计算机学会编程语言与系统汇刊》，25（6）：713--7752003年11月。]] 谷歌学者 数字图书馆 J.Bogda和U.Holzle。 删除java中不必要的同步。 1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录，第20-34页，科罗拉多州丹佛，1999年11月。]] 谷歌学者 数字图书馆 J.D.Choi、M.Gupta、V.C.Sreedhar和S.Midkiff。 java转义分析。 1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录，第1-19页，科罗拉多州丹佛，1999年11月。]] 谷歌学者 数字图书馆 A.Diwan、J.E.B.Moss和K.S.McKinley。 静态类型面向对象程序的简单有效分析。 《1996年ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集》，第292-305页，1996年。]] 谷歌学者 数字图书馆 E.Gagnon和L.Hendren。 java字节码静态类型的过程内推断。 技术报告，Sable技术报告，No.1999--1.]] 谷歌学者 英特尔。 开放运行时平台。 http://orp.sourceforge.net/。 ]] 谷歌学者 T.Lindholm和F.Yellin。 Java虚拟机规范，第二版。 Addison-Wesley出版公司，马萨诸塞州雷丁，1999年。]] 谷歌学者 数字图书馆 J.Plevyak和A.A.Chien。 面向对象语言的精确具体类型推理。 《1994年ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集》，第324-340页，美国俄勒冈州波特兰，1999年10月。]] 谷歌学者 数字图书馆 M.P.Robillard和G.C.Murphy。 静态分析，支持面向对象系统中异常结构的演变。 ACM软件工程与方法汇刊，12（2）：191--2212003。]] 谷歌学者 数字图书馆 E.鲁夫。 针对java的有效同步删除。 2000年ACM SIGPLAN编程语言设计与实现会议，第208-218页，加拿大温哥华，2000年6月。]] 谷歌学者 数字图书馆 E.鲁夫。 提高基于等式的数据流分析的精度。 静态分析研讨会，第247-262页，西班牙马德里，2002年9月。]] 谷歌学者 数字图书馆 X.Shi、G.Wu和G.Y.Lueh。 逃避分析拥抱开放的世界。 技术报告，英特尔中国研究中心，2003年。]] 谷歌学者 S.Sinha和M.J.Harrold。 使用异常处理结构分析和测试程序。 IEEE软件工程汇刊，26（9）：849--8712000。]] 谷歌学者 数字图书馆 十、周日。 对不必要的java同步删除进行转义分析。 北京航空航天大学计算机科学学院硕士论文，2005年。]] 谷歌学者 J.Whaley和M.Rinard。 java程序的组合指针和分析。 1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录，第187-206页，科罗拉多州丹佛，1999年11月。]] 谷歌学者 数字图书馆
建议
动态编译和反优化环境中的逃逸分析 VEE’05：第一届ACM/USENIX虚拟执行环境国际会议记录 在面向对象的编程语言中，对象被称为 逃跑 如果其他方法或线程也可以访问它，则创建它的方法或线程。 知道哪些对象没有转义可以让编译器执行攻击性。。。 Java转义分析 TM（TM） ：理论与实践 逃逸分析是一种静态分析，用于确定数据的生存期是否可能超过其静态范围。 本文首先介绍了Java转义分析的设计和正确性证明 TM（TM） 。此分析是跨程序的、上下文的。。。 快速逃逸过滤器的副作用分析 SOAP’12：ACM SIGPLAN Java程序分析最新技术国际研讨会论文集 副作用分析是一种基本的静态分析，用于确定每个程序实体修改或使用的内存位置。 对于带有指针的程序，分析可能非常不精确。 为了提高副作用分析的准确性。。。
