本文详述了如何在Soot中进行过程内数据流分析，特别是针对UnitGraph的操作。介绍了三种FlowAnalysis实现：ForwardFlowAnalysis、BackwardsFlowAnalysis和ForwardBranchedFlowAnalysis，并解释了分析方向的选择取决于分析任务。文章以GuaranteedDefsAnalysis为例，说明了ForwardFlowAnalysis的子类需要实现的关键方法，包括构造器、newInitialFlow、entryInitialFlow、copy、merge和flowThrough。
本文主要参考 Eric Bodden 的 Implementinganintra-proceduraldata-flowanalysisin Soot
过程内数据流分析（intra-procedural data-flow analysis）是针对某一个方法的控制流图（也就是 soot 中的 UnitGraph ）操作的。UnitGraph 是以 statement 为结点，如果一个source node 的控制流经过一个 Target node，则两者会有一条边。关于具体的数据流分析还是看龙书。
对于 Soot，有3种 FlowAnalysis 的实现，分别是：
- ForwardFlowAnalysis ，从 UnitGraph 的 entry 开始
最低0.47元/天 解锁文章
扫一扫
5862
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
