soot数据流 -- 指向分析（points-to）

1、基本的介绍 1.指向分析的目标 给定一个变量的函数，计算其可能的类型，指向信息。 java 2.意义： 指向分析为其余的分析提供了支持。（好比，别名分析（Alias analysis），以及提升call graph的准确度） web 3.构建框架 3.1.必要的接口 soot提供了PointsToAnalysis ，PointsToSet接口。任何一个指向的分析都应该实现这两个接口。 Poi

>>阅读原文<<