soot.jimple.spark.geom.geomPA
Class ConstraintsDumper

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

public class ConstraintsDumper
extends Object

For anyone who wants to experiment their own points-to analysis outside Soot, we provide a facility to dump the program facts to an external file. You can call this dumper either before or after the running of geometric points-to analysis. The difference is the geometric analysis can eliminate some unreachable code.

Author:

xiao

Constructor Summary

ConstraintsDumper()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintsDumper

public ConstraintsDumper()