1package java.lang: 2annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4package java.lang: 5annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 6 7package annotator.tests: 8class LocalSimpleMultiple: 9 10 method <init>()V: 11 12 method foo()V: 13 local 1 #2+20: 14 type: @java.lang.UnderInitialization 15 local 2 #11+11: 16 type: @java.lang.Tainted 17 18 method bar(Ljava/lang/Object;)V: 19 local 2 #2+6: 20 type: @java.lang.Tainted 21 22