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.
|