Package soot.jimple.toolkits.annotation.tags

Tags and aggregators to store and combine information about array bounds and null pointer checks.

Interface Summary

Interface	Description
OneByteCodeTag	A tag which is guaranteed to contain no more than 1 byte of information.

Class Summary

Class	Description
ArrayCheckTag	Implementation of the Tag interface for array bounds checks.
ArrayNullCheckTag	ArrayNullCheckTag combines ArrayCheckTag and NullCheckTag into one tag.
ArrayNullTagAggregator	The aggregator for ArrayNullCheckAttribute.
NullCheckTag	NullCheckTag contains the null pointer check information.