Uses of Package
soot.jimple.spark.geom.dataRep
-
Classes in soot.jimple.spark.geom.dataRep used by soot.jimple.spark.geom.dataMgr Class Description ContextVar The root class for representing context sensitive pointer/object in explicit form.SimpleInterval The basic representation for an interval on the integer domain. -
Classes in soot.jimple.spark.geom.dataRep used by soot.jimple.spark.geom.dataRep Class Description CallsiteContextVar A general interface for generating the traditional context sensitive variable representation.CgEdge The internal call graph edge representation.ContextVar The root class for representing context sensitive pointer/object in explicit form.IntervalContextVar A particular class to encode contexts in interval manner.RectangleNode The rectangle figure for encoding the many-to-many relation.SegmentNode The segment figure for encoding the one-to-one relation.ShapeNode It is the the abstract super type of geometric figures and the manager of all the generated sub-type figures.SimpleInterval The basic representation for an interval on the integer domain. -
Classes in soot.jimple.spark.geom.dataRep used by soot.jimple.spark.geom.geomE Class Description PlainConstraint The geometric encoding based constraint descriptor.RectangleNode The rectangle figure for encoding the many-to-many relation.SegmentNode The segment figure for encoding the one-to-one relation. -
Classes in soot.jimple.spark.geom.dataRep used by soot.jimple.spark.geom.geomPA Class Description CgEdge The internal call graph edge representation.PlainConstraint The geometric encoding based constraint descriptor.RectangleNode The rectangle figure for encoding the many-to-many relation.SegmentNode The segment figure for encoding the one-to-one relation. -
Classes in soot.jimple.spark.geom.dataRep used by soot.jimple.spark.geom.heapinsE Class Description PlainConstraint The geometric encoding based constraint descriptor.RectangleNode The rectangle figure for encoding the many-to-many relation.SegmentNode The segment figure for encoding the one-to-one relation. -
Classes in soot.jimple.spark.geom.dataRep used by soot.jimple.spark.geom.ptinsE Class Description PlainConstraint The geometric encoding based constraint descriptor.RectangleNode The rectangle figure for encoding the many-to-many relation.SegmentNode The segment figure for encoding the one-to-one relation.