|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||