1 package annotator.tests; 2 3 import java.util.HashSet; 4 import java.util.List; 5 import java.util.Set; 6 7 public class LocalMultiple { 8 public void foo(Object o) { 9 List myList = null; 10 11 if (myList.size() != 0) { 12 /* @UnderInitialization*/ Set localVar = null; 13 myList.add(localVar); 14 } else { 15 /* @Tainted*/ Set localVar = null; 16 myList.add(localVar); 17 } 18 foo(o); 19 } 20 } 21
