| soot.jimple.toolkits.annotation.tags |
| Jimple array bounds and null check annotation classes
Tags and aggregators to store and combine information about array bounds and null pointer checks.
|
| Java Source File Name | Type | Comment |
| ArrayCheckTag.java | Class | Implementation of the Tag interface for array bounds checks. |
| ArrayNullCheckTag.java | Class | ArrayNullCheckTag combines ArrayCheckTag and NullCheckTag
into one tag. |
| ArrayNullTagAggregator.java | Class | The aggregator for ArrayNullCheckAttribute. |
| NullCheckTag.java | Class | NullCheckTag contains the null pointer check information. |
| OneByteCodeTag.java | Interface | A tag which is guaranteed to contain no more than 1 byte of information. |