×

烟尘

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 卓、西龙

按年份列出的引文