Spark: Soot pointer analysis research kit