程序分析
文章平均质量分 76
beswkwangbo
这个作者很懒,什么都没留下…
展开
-
Soot 学习笔记 1:First Step 命令行执行 soot
1.命令行执行在命令行java -jar soot-2.5.0.jar -help原创 2014-11-15 22:10:44 · 3459 阅读 · 4 评论 -
Soot 学习笔记 4:Soot 的 pack 和 phase
这是 Eric Bodden 的 tutorial 的第四篇原创 2014-11-17 17:11:24 · 2572 阅读 · 0 评论 -
Soot 学习笔记 5:使用 Soot 创建 Java class
本文主要参考自 Creating a class from scratch with Soot原创 2014-11-18 13:46:24 · 3605 阅读 · 0 评论 -
Soot 学习笔记 7:使用 Soot 为应用进行 profiling 插桩
本文来自 Adding profiling instructions to applications with Soot ,描述了如何实现用 goto 指令的计数器来 annotates JimpleBody 的BodyTransformer。目标具体的会完成下述工作:根据方法的 signature 从 Scene 中将其检索。为类添加 field区分不同类型的 J原创 2014-11-20 13:42:08 · 3199 阅读 · 2 评论 -
Soot 学习笔记 2:使用 Eclipse 插件
上次介绍了soot 命令行使用方法,这次介绍一下 soot 的原创 2014-11-17 09:52:08 · 4066 阅读 · 1 评论 -
Soot 学习笔记 3:实现过程内的数据流分析
过程内数据流分析(intra-procedural data-flow analysis)是针对某一个方法的控制流图(也就是 soot 中的 UnitGraph )操作的。UnitGraph 是以 statement 为结点,如果一个source node 的控制流经过一个 Target node,则两者会有一条边。关于具体的数据流分析还是看龙书。对于 Soot,有3种 FlowAna原创 2014-11-17 14:51:02 · 4306 阅读 · 2 评论 -
Soot 学习笔记 8:More on profiling
本文参考 Using Soot to instrument a class file原创 2014-11-25 12:00:26 · 2176 阅读 · 2 评论 -
Clang 静态分析(Static Analyzer)工具使用的总结
woogle原创,转载注明出处。Clang作为LLVM(LowLevel VirtualMachine)编译器框架的前端,可以将C/C++、O-C/O-C++语言编译成为LLVM的中间表达式IR(IntermediateReresentation), 其结构图如下所示:上面的不是重点,本篇文章的重点是讲Clang静态分析工具的使用,Clang作为前端,最主要的转载 2015-10-16 15:34:31 · 10256 阅读 · 0 评论