Package soot.jimple.spark.geom Description
This package contains a context-sensitive points-to analysis using
geometric encoding. The analysis extends the context-insensitive analysis
from Spark.
The analysis was presented in the following paper:
Xiao Xiao and Charles Zhang. Geometric Encoding: Forging high performance context
sensitive points-to analysis for Java . In ISSTA 2011: International Symposium on
Software Testing and Analysis, Toronto, Canada, 2011