Package soot.jimple.toolkits.annotation.tags

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

See:
Description

Interface Summary

OneByteCodeTag

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

Class Summary

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.

Package soot.jimple.toolkits.annotation.tags Description

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