Uses of Package
soot.jimple.spark.geom.geomPA

Packages that use soot.jimple.spark.geom.geomPA

soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE

Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.geomE

CallsiteContextVar
A general interface for generating traditional context represented variables.

GeomPointsTo
The main interface for the points-to analysis with geometric encodings.

IEncodingBroker

IVarAbstraction
An interface makes the points-to solver automatically adapt to different kind of encodings.

IWorklist
Worklist, abstracts the selection strategy

PlainConstraint

RectangleNode

SegmentNode
The descriptor for a segment.

ZArrayNumberer
Similar to the ArrayNumberer in soot.

Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.geomPA

CallsiteContextVar
A general interface for generating traditional context represented variables.

CgEdge
Call graph edge

GeomPointsTo
The main interface for the points-to analysis with geometric encodings.

Histogram

IEncodingBroker

IVarAbstraction
An interface makes the points-to solver automatically adapt to different kind of encodings.

IWorklist
Worklist, abstracts the selection strategy

OfflineProcessor
This class contains the implementation of all kinds of preprocess algorithms preceding to the pointer analysis.

PlainConstraint

RectangleNode

SegmentNode
The descriptor for a segment.

ShapeNode
It is the the abstract super type of geometric figures, also the manager of all the generated sub-type figures.

ZArrayNumberer
Similar to the ArrayNumberer in soot.

Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.heapinsE

CallsiteContextVar
A general interface for generating traditional context represented variables.

GeomPointsTo
The main interface for the points-to analysis with geometric encodings.

IEncodingBroker

IVarAbstraction
An interface makes the points-to solver automatically adapt to different kind of encodings.

IWorklist
Worklist, abstracts the selection strategy

PlainConstraint

SegmentNode
The descriptor for a segment.

ZArrayNumberer
Similar to the ArrayNumberer in soot.

Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.ptinsE

CallsiteContextVar
A general interface for generating traditional context represented variables.

GeomPointsTo
The main interface for the points-to analysis with geometric encodings.

IEncodingBroker

IVarAbstraction
An interface makes the points-to solver automatically adapt to different kind of encodings.

IWorklist
Worklist, abstracts the selection strategy

PlainConstraint

SegmentNode
The descriptor for a segment.

ZArrayNumberer
Similar to the ArrayNumberer in soot.