package annotator.tests; | |
import java.util.HashSet; | |
import java.util.List; | |
import java.util.Set; | |
public class LocalMultiple { | |
public void foo(Object o) { | |
List myList = null; | |
if (myList.size() != 0) { | |
/* @UnderInitialization*/ Set localVar = null; | |
myList.add(localVar); | |
} else { | |
/* @Tainted*/ Set localVar = null; | |
myList.add(localVar); | |
} | |
foo(o); | |
} | |
} |