Package | Description |
---|---|
soot.jimple.spark.geom.geomPA |
Modifier and Type | Field and Description |
---|---|
ZArrayNumberer<IVarAbstraction> |
GeomPointsTo.allocations |
ZArrayNumberer<IVarAbstraction> |
GeomPointsTo.allocations |
ZArrayNumberer<PlainConstraint> |
GeomPointsTo.constraints |
ZArrayNumberer<PlainConstraint> |
GeomPointsTo.constraints |
ZArrayNumberer<IVarAbstraction> |
GeomPointsTo.pointers |
ZArrayNumberer<IVarAbstraction> |
GeomPointsTo.pointers |