Robust/src/Tests/disjoint/taintTest1/test.java

   1 public class Foo {
   2   public Foo() {}
   3   public Foo f;
   4 }
   5
   6 public class Test {
   7
   8   static public void main( String[] args ) {
   9
  10     Foo f = new Foo();
  11
  12     Foo g = doStuff( f );
  13   }
  14
  15   static Foo doStuff( Foo m ) {
  16
  17     Foo n = new Foo();
  18     return n;
  19   }
  20 }