Package | Description |
---|---|
soot.jimple.toolkits.annotation.tags |
Tags and aggregators to store and combine information about array bounds and null pointer checks.
|
Modifier and Type | Class and Description |
---|---|
class |
ArrayCheckTag
Implementation of the Tag interface for array bounds checks.
|
class |
ArrayNullCheckTag
ArrayNullCheckTag combines ArrayCheckTag and NullCheckTag
into one tag.
|
class |
NullCheckTag
NullCheckTag contains the null pointer check information.
|