|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| IWorklist | Worklist, abstracts the selection strategy |
| Class Summary | |
|---|---|
| CallsiteContextVar | A general interface for generating traditional context represented variables. |
| CgEdge | Call graph edge |
| ConstraintsDumper | For anyone who wants to experiment their own points-to analysis outside Soot, we provide a facility to dump the program facts to an external file. |
| ContextTranslator | It provides the utilities to translate our numbering context representation to other commonly used representation. |
| DummyNode | |
| EvalHelper | In this class, we provide various methods to explore the internals of points-to result. |
| FIFO_Worklist | |
| GeomEvaluator | We provide a set of methods to evaluate the quality of geometric points-to analysis. |
| 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. |
| OfflineProcessor | This class contains the implementation of all kinds of preprocess algorithms preceding to the pointer analysis. |
| PlainConstraint | |
| PointsToDumper | Output the points-to matrix in various formats. |
| PQ_Worklist | |
| 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<E extends Numberable> | Similar to the ArrayNumberer in soot. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||