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

   1 public class Foo {
   2   public Foo() {}
   3   public Foo f;
   4   public Foo g;
   5 }
   6
   7 public class Test {
   8
   9   static public void main( String[] args ) {
  10
  11     Foo a = new Foo();
  12     Foo b = new Foo();
  13
  14     /*
  15     rblock r1 {
  16       a.f = new Foo();
  17     }
  18     */
  19
  20     rblock r1 {
  21       a.f = new Foo();
  22       b.f = new Foo();
  23
  24       doSomething( a, b );
  25     }
  26   }
  27
  28   static void doSomething( Foo a, Foo b ) {
  29
  30     a.g = new Foo();
  31
  32     a.f.f = a.g;
  33
  34     Foo f = doStuff( a, b );
  35   }
  36
  37   static Foo doStuff( Foo m, Foo n ) {
  38
  39     m.f.g = n.f;
  40
  41     return new Foo();
  42   }
  43 }