PET: Partial Evaluation-based Test Case Generator for Bytecode

package heap;

class Aliasing{
    int n;

    public static int m(Aliasing i,Aliasing p){
  i.n = i.n + 1;
  if (i.n > 10p = i;
  p.n = p.n + 5;
  if (i.n < 16return -1;
  else return 1;
    }

    public static int m2(Aliasing o1, Aliasing o2){
  if (o1 == o2return 1;
  else return 0;
    }

    public static int m3(Aliasing a, Aliasing b){
  if (b.n > 0){
      a.n = a.n - 1;
      if (b.n <= 0return 1// Only here if a and b alias and a.n = 1
      else return 0;
  }
  else return -1;
    }

    public static void m4(A a,A b){
  if (a.f < 0b.f = 0;
  if (a.f == 0b.f = -1;
    }

    public boolean equals(Object obj){
  if (obj instanceof Aliasing){
                Aliasing al= (Aliasingobj;
                return this.n==al.n;
             }
        return false;
        }    

}

class {
    int f;
    public boolean equals(Object obj){
  if (obj instanceof A){
                A al= (Aobj;
                return this.f==al.f;
             }
        return false;
        }    
}

class extends {
}

The Java2Html library is used for displaying source code.