1 package java.lang: 2 annotation @Tainted: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4 package java.lang: 5 annotation @UnderInitialization: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 6 7 package annotator.tests: 8 class NewMultiple: 9 10 method foo(Ljava/lang/Object;)V: 11 return: 12 insert-annotation Method.body, Block.statement 0, Variable.initializer, TypeCast.type: @java.lang.Tainted 13 14 method bar(Ljava/lang/Object;)V: 15 return: 16 insert-annotation Method.body, Block.statement 0, Variable.initializer, TypeCast.type: @java.lang.UnderInitialization 17 18
