| Class and Description |
|---|
| GeomPointsTo
The main interface for the points-to analysis with geometric encodings.
|
| Class and Description |
|---|
| IVarAbstraction
Pointer/object representation in geomPTA.
|
| Class and Description |
|---|
| GeomPointsTo
The main interface for the points-to analysis with geometric encodings.
|
| IEncodingBroker
An abstract class for hiding different encoding methods, e.g.
|
| IFigureManager
An interface to standardize the functionality of a figure manager.
|
| IVarAbstraction
Pointer/object representation in geomPTA.
|
| IWorklist
The worklist interface that abstracts the selection strategy.
|
| Class and Description |
|---|
| GeomPointsTo
The main interface for the points-to analysis with geometric encodings.
|
| IEncodingBroker
An abstract class for hiding different encoding methods, e.g.
|
| IFigureManager
An interface to standardize the functionality of a figure manager.
|
| IVarAbstraction
Pointer/object representation in geomPTA.
|
| IWorklist
The worklist interface that abstracts the selection strategy.
|
| OfflineProcessor
Implementation of pre-processing algorithms performed prior to the pointer analysis.
|
| Class and Description |
|---|
| GeomPointsTo
The main interface for the points-to analysis with geometric encodings.
|
| IEncodingBroker
An abstract class for hiding different encoding methods, e.g.
|
| IFigureManager
An interface to standardize the functionality of a figure manager.
|
| IVarAbstraction
Pointer/object representation in geomPTA.
|
| IWorklist
The worklist interface that abstracts the selection strategy.
|
| Class and Description |
|---|
| GeomPointsTo
The main interface for the points-to analysis with geometric encodings.
|
| Class and Description |
|---|
| GeomPointsTo
The main interface for the points-to analysis with geometric encodings.
|
| IEncodingBroker
An abstract class for hiding different encoding methods, e.g.
|
| IFigureManager
An interface to standardize the functionality of a figure manager.
|
| IVarAbstraction
Pointer/object representation in geomPTA.
|
| IWorklist
The worklist interface that abstracts the selection strategy.
|
Copyright © 2020 Soot OSS. All rights reserved.