[Soot学习笔记][5]Soot依赖的两个框架
来源:互联网 发布:易企秀 for mac 编辑:程序博客网 时间:2024/06/17 08:25
在Soot的下载页面:http://www.sable.mcgill.ca/soot/soot_download.html 中我们可以看到,Soot实际上是依赖于两个框架:Jasmin和Polyglot。对于这两个框架(或软件),我之前不是特别了解,但是在很多地方都可以看到Polyglot,例如,abc(The AspectBench Compiler for AspectJ)就是基于Soot和Polyglot的(怎么这些框架还循环调用?)
今天抽了些时间简单搜索了一下,找到了上面两个框架的主页,了解到:
前者最早是基于这本书:Jon Meyer. Java Virtual Machine. O'Reilly Associates, 1st Edition March 1997. ISBN 978-1-56592-194-8,为了让读者更好理解JVM,设计的教程性质的软件,其主页是:http://jasmin.sourceforge.net/ 这里我也不多做解释,大家可以自行到主页参考。
后者是Cornell(康奈尔大学)计算机系的一个研究项目,其主页在:http://www.cs.cornell.edu/projects/polyglot/ 大家也可以自行参考。
准备这两天再看看http://www.bodden.de/clara/documentation/how-to-implement-a-typestate-analysis/ 基于Clara的typestate analysis,似乎Clara也用到了Soot和Polyglot,看来,Polyglot也是应用非常广泛的一个框架,应该好好学习下。
PS:今天看到McGill大学的Sable实验室开发的软件中还包括了Dava这样一个Java反编译软件,这个反编译软件是网上流传的3大反编译软件之一(可参考:http://wenku.baidu.com/view/034cfd3143323968011c92bf.html ),顿时觉得Sable实验室的实力还是非常强的,而且他们对研究项目的坚持和执着,非常值得我们学习。)
- [Soot学习笔记][5]Soot依赖的两个框架
- Soot 学习笔记 4:Soot 的 pack 和 phase
- Soot 学习笔记 6:一些 Soot 重要的类
- Soot 学习笔记 5:使用 Soot 创建 Java class
- Soot学习笔记(1)
- Soot学习笔记(2)
- soot 学习笔记 一
- soot 学习笔记 三
- soot 学习笔记 二
- soot 学习笔记 四
- soot学习笔记(一)
- soot
- Soot 学习笔记 1:First Step 命令行执行 soot
- soot学习笔记-2.使用soot解析Android apk.
- Soot学习笔记3.使用soot解析java文件
- [Soot学习笔记][6]一点instrumentation的知识
- Soot 学习笔记 3:实现过程内的数据流分析
- Soot 学习笔记 2:使用 Eclipse 插件
- VC++ 6.0下多线程编程的最简单实例
- [论文阅读笔记]DyTa: dynamic symbolic execution guided with static verification results
- [Soot学习笔记][4]使用Soot对源代码进行Null Pointer Analysis
- [一点感想]学国内的大学课本,不如去看维基百科
- 最简单的AspectJ实验环境搭建
- [Soot学习笔记][5]Soot依赖的两个框架
- [Java Path Finder][JPF学习笔记][4]将JPF源码导入Eclipse
- [Java Path Finder][JPF学习笔记][5]编译jpf-symbc报错的解决方法
- [Web开发笔记][3]MyEclipse 8.0启动Tomcat 7报错:Could not find the main class: org.apache.catalina.startup.Boostrap.
- 评一篇文章(Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria)
- Eclipse调试经验
- Win 7+Word 2007第一遍打开报错“向程序发送命令时出现错误”的解决方法
- 第一篇日志
- Win 7+Word 2007仿宋和楷体不能正常显示的解决方法