1package java.lang: 2annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4package java.lang: 5annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 6 7package annotator.tests: 8class FieldSimpleArray: 9 10 field field: 11 type: @java.lang.Tainted 12 inner-type 0, 0: @java.lang.UnderInitialization 13 14 method <init>()V: 15 16