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