Soot 静态分析框架（六）数据流指向分析

1. 数据流指向分析 1.1 指向分析 指向分析，给定一个变量的函数，计算其可能的类型，指向信息，指向分析可以帮助其它的分析。 1.2 Soot的指向分析框架 soot提供了PointsToAnalysis ,PointsToSet接口。任何一个指向的分析都应该实现这两个接口。  PointsToAnalysis 方法reachingObjects(Local l),该方法可以返回指向参数l 的对

>>阅读原文<<