soot.jimple.spark.geom.geomPA
Class EvalHelper

java.lang.Object
  soot.jimple.spark.geom.geomPA.EvalHelper

public class EvalHelper
extends Object

In this class, we provide various methods to explore the internals of points-to result.

Author:

xiao

Constructor Summary

EvalHelper()

Method Summary

static void	debug_context_insensitive_points_to(Node vn, GeomPointsTo ptsProvider)
static void	debug_spark_pointsto(Node vn, GeomPointsTo ptsProvider)
static void	debug_succint_pointsto_info(Node vn, GeomPointsTo ptsProvider)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EvalHelper

public EvalHelper()

Method Detail

debug_succint_pointsto_info

public static void debug_succint_pointsto_info(Node vn,
                                               GeomPointsTo ptsProvider)

debug_spark_pointsto

public static void debug_spark_pointsto(Node vn,
                                        GeomPointsTo ptsProvider)

debug_context_insensitive_points_to

public static void debug_context_insensitive_points_to(Node vn,
                                                       GeomPointsTo ptsProvider)