烟尘 swMATH ID: 9122 软件作者: 瓦列·雷(Valleée-Rai,R.)、加格农(Gagnon,e.)、亨德伦(Hendren,L.J.)、兰姆(Lam,P.)、波明维尔(Pominville,P.,Sundaresan,V.)。 描述: Soot是一个Java字节码优化框架。本文介绍了Soot,一个用于优化Java字节码的框架。该框架是用Java实现的,支持三种表示Java字节码的中间表示:Baf,一种简化的字节码表示,易于操作;Jimple,一种适合优化的类型化3地址中间表示;和Grimp,一个适合反编译的Jimple聚合版本。我们描述了每种表述的动机,以及从一种表述到另一种表述的翻译要点。为了证明该框架的有用性,我们实现了过程内和整个程序的优化。为了证明整个程序的字节码优化可以提高性能,我们提供了12个大型基准测试的实验结果,其中包括8个在JDK1.2 for GNU/Linuxtm上运行的SPECjvm98基准测试。这些结果最多显示8个 主页: 网址:http://www.sable.mcgill.ca/suot/ 相关软件: 达卡波;AspectJ公司;FlowDroid(流动机器人);轻量级Java;WALA公司;停机坪;爪哇格兰德;Jimple公司;z3(零3);周六4j;麻雀;单轨;ASTREE公司;班德拉;SPLLIFT公司;JSFlow公司;RPython公司;流量;类型脚本;NAT2测试 引用于: 32文件 全部的 前5名87位作者引用 三 吉安卢卡·阿马托 三 安大略省Lhoták 2 劳里·J·亨德伦。 2 詹妮弗·洛塔克 2 玛丽亚·希亚拉(Maria Chiara Meo) 2 安德斯·佩佩·默勒 2 Raghavan拉曼 2 维威克·萨卡尔 2 弗朗西丝卡·斯科扎里 2 Vechev,Martin T。 2 薛晶玲 2 埃兰·雅哈夫 1 拉杰夫·阿鲁尔 1 阿迪蒂亚·阿南德 1 帕维尔·阿古斯蒂诺夫 1 尼古拉斯·巴雷 1 尼古拉·贝蒂埃 1 弗雷德里克·贝松 1 克劳斯·布拉布兰德 1 乔恩,帕沃 1 克里希南德·查特吉 1 阿齐姆·查德哈里 1 克里斯滕森,问西蒙 1 奥格·德穆尔 1 德尔芬·德曼吉 1 伊西尔·迪利格 1 阿列克桑达尔·迪莫夫斯基。 1 迪帕克D’Souza 1 弗拉德·杜米特里 1 塞尔达,埃尔巴图尔 1 约塔姆·M·Y·费尔德曼。 1 冯、余 1 阿斯亚·弗鲁姆金 1 阿米尔·卡夫什达尔·戈哈沙迪 1 威廉·R·哈里斯。 1 约翰·哈特克利夫 1 何东杰 1 劳伦特·休伯特 1 拉斯穆斯·易卜森·延森 1 纳尔赫斯·卡普尔 1 安迪·金 1 萨沙·库津斯 1 索林·勒纳 1 卢、晶波 1 帕塔萨拉西马杜苏丹 1 鲁本·马丁斯 1 文森特·蒙福特 1 亚历山大·莫塔。 1 南黄弘 1 鲁普什·纳斯雷 1 奥德·帕顿 1 安德烈亚斯·帕夫罗甘尼斯 1 大卫·皮哈迪 1 文卡特斯·普拉萨德·兰加纳思 1 哈辛托·里斯 1 代表,Thomas W。 1 复习,A.系统 1 马可·鲁比诺 1 穆利·萨吉夫 1 沙欣,布拉克 1 马丁·施瓦夫 1 乌尔里希·舍普 1 迈克尔·施瓦茨巴赫。 1 马西亚斯·施瓦兹 1 塞雷尼、达米安 1 沙龙·肖姆 1 兰吉特·辛格。 1 甘尼什·西坦帕兰 1 埃米尔·安斯基。 1 阿赫莱什,斯里坎思 1 迈克尔·斯特普 1 罗斯·泰特 1 扎卡里·塔特洛克 1 马纳斯塔库尔 1 朱利安·蒂布尔 1 阿什什·库马尔·蒂瓦里 1 特平,蒂芬 1 王旭东 1 王月鹏 1 安德烈·索夫斯基 1 徐创杰 1 徐学政 1 艾哈迈德·哈利德·扎赫尔 1 尤根·兹利内斯库 1 张晨毅 1 赵继生 1 卓、西龙 全部的 前5名9篇连载文章中引用 三 计算的形式方面 2 系统设计中的形式化方法 1 信息处理信件 1 ACM数学软件汇刊 1 理论计算机科学 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 高阶和符号计算 1 计算机科学中的逻辑方法 在2个字段中引用 31 计算机科学(68-XX) 1 数值分析(65-XX) 按年份列出的引文