Package soot.jimple.toolkits.annotation

A toolkit to annotate classfiles with array and null bounds check information.

See: Description

Class Summary

Class	Description
AvailExprTagger	A body transformer that records avail expression information in tags.
DominatorsTagger	A body transformer that records avail expression information in tags.
LineNumberAdder

Package soot.jimple.toolkits.annotation Description

A toolkit to annotate classfiles with array and null bounds check information.