| Class | Description |
|---|---|
| ArrayBoundsGraph |
Some thoughts about implementation details, not mentioned in [1]:
|
| ArrayBoundsGraphBuilder | |
| ArrayOutOfBoundsAnalysis |
The array out of bounds analysis uses the inequality graph as described in [1].
|
| BinaryOpWithConstant |
Normalizes a binary operation with a constant by providing direct access to assigned = other op
constant.
|
| ConditionNormalizer |
ConditionNormalizer normalizes a branch condition.
|
| Enum | Description |
|---|---|
| ArrayOutOfBoundsAnalysis.UnnecessaryCheck |