| Class | Description |
|---|---|
| ConstantTypeState |
Models a
JavaConstant flowing through the data flow graph. |
| DefaultAnalysisPolicy | |
| DefaultInvokeTypeFlowUtil | |
| MultiTypeState | |
| PointsToStats | |
| SingleTypeState | |
| TypeState | |
| TypeStateUtils |
Helper methods for type state.
|