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