soot.jimple.spark.geom.geomPA
Class ContextTranslator
java.lang.Object
soot.jimple.spark.geom.geomPA.ContextTranslator
public class ContextTranslator
- extends Object
It provides the utilities to translate our numbering context representation to other commonly used representation.
For example, k-cfa, etc.
- Author:
- richardxx
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ContextTranslator
public ContextTranslator()