Class Hierarchy
- java.lang.Object
- java.util.AbstractCollection<E> (implements java.util.Collection<E>)
- java.util.AbstractSet<E> (implements java.util.Set<E>)
- soot.jimple.spark.ondemand.genericutil.ArraySet<T>
- soot.jimple.spark.ondemand.AllocAndContextSet (implements soot.jimple.spark.sets.EqualsSupportingPointsToSet)
- soot.jimple.spark.ondemand.DemandCSPointsTo.CallingContextSet
- soot.jimple.spark.ondemand.genericutil.ArraySet<T>
- java.util.AbstractSet<E> (implements java.util.Set<E>)
- java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
- java.util.HashMap<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
- soot.jimple.spark.ondemand.DemandCSPointsTo.AllocAndContextCache
- java.util.HashMap<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
- soot.jimple.spark.ondemand.AllocAndContext
- soot.jimple.spark.ondemand.DemandCSPointsTo (implements soot.PointsToAnalysis)
- soot.jimple.spark.ondemand.DemandCSPointsTo.IncomingEdgeHandler
- soot.jimple.spark.ondemand.DemandCSPointsTo.VarAndContext
- soot.jimple.spark.ondemand.DemandCSPointsTo.VarContextAndUp
- soot.jimple.spark.ondemand.DotPointerGraph
- soot.jimple.spark.ondemand.EverythingHeuristic (implements soot.jimple.spark.ondemand.FieldCheckHeuristic)
- soot.jimple.spark.ondemand.genericutil.HashSetMultiMap<K,V>
- soot.jimple.spark.ondemand.DemandCSPointsTo.CallSiteToTargetsMap
- soot.jimple.spark.ondemand.IncrementalTypesHeuristic (implements soot.jimple.spark.ondemand.FieldCheckHeuristic)
- soot.jimple.spark.ondemand.InnerTypesIncrementalHeuristic (implements soot.jimple.spark.ondemand.FieldCheckHeuristic)
- soot.jimple.spark.ondemand.LazyContextSensitivePointsToSet (implements soot.jimple.spark.sets.EqualsSupportingPointsToSet)
- soot.jimple.spark.ondemand.ManualAndInnerHeuristic (implements soot.jimple.spark.ondemand.FieldCheckHeuristic)
- soot.jimple.spark.ondemand.ManualFieldCheckHeuristic (implements soot.jimple.spark.ondemand.FieldCheckHeuristic)
- soot.jimple.spark.ondemand.NothingHeuristic (implements soot.jimple.spark.ondemand.FieldCheckHeuristic)
- soot.toolkits.scalar.Pair<T,U>
- soot.jimple.spark.ondemand.DemandCSPointsTo.CallSiteAndContext
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- java.lang.RuntimeException
- soot.jimple.spark.ondemand.CallSiteException
- soot.jimple.spark.ondemand.TerminateEarlyException
- java.lang.RuntimeException
- java.lang.Exception
- soot.jimple.spark.ondemand.WrappedPointsToSet (implements soot.jimple.spark.sets.EqualsSupportingPointsToSet)
- java.util.AbstractCollection<E> (implements java.util.Collection<E>)
Interface Hierarchy
- soot.jimple.spark.ondemand.FieldCheckHeuristic
Enum Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
- soot.jimple.spark.ondemand.HeuristicType
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)