1package annotator.tests; 2 3public class FieldSimpleArray { 4 @java.lang.UnderInitialization Integer @java.lang.Tainted [] field; 5} 6
1package annotator.tests; 2 3public class FieldSimpleArray { 4 @java.lang.UnderInitialization Integer @java.lang.Tainted [] field; 5} 6