Program: 9671
Project: 9671
Buggy source:
public static EclipseShadow makeShadow(EclipseFactory world,AstNode astNode,ReferenceContext context){
  if (astNode instanceof AllocationExpression) {
    AllocationExpression e=(AllocationExpression)astNode;
    return new EclipseShadow(world,Shadow.ConstructorCall,world.makeResolvedMember(e.binding),astNode,context);
  }
 else   if (astNode instanceof MessageSend) {
    MessageSend e=(MessageSend)astNode;
    return new EclipseShadow(world,Shadow.MethodCall,world.makeResolvedMember(e.binding),astNode,context);
  }
 else   if (astNode instanceof ExplicitConstructorCall) {
    return null;
  }
 else   if (astNode instanceof AbstractMethodDeclaration) {
    AbstractMethodDeclaration e=(AbstractMethodDeclaration)astNode;
    Shadow.Kind kind;
    if (e instanceof AdviceDeclaration) {
      kind=Shadow.AdviceExecution;
    }
 else     if (e instanceof InterTypeMethodDeclaration) {
      return new EclipseShadow(world,Shadow.MethodExecution,((InterTypeDeclaration)e).getSignature(),astNode,context);
    }
 else     if (e instanceof InterTypeConstructorDeclaration) {
      return new EclipseShadow(world,Shadow.ConstructorExecution,((InterTypeDeclaration)e).getSignature(),astNode,context);
    }
 else     if (e instanceof InterTypeFieldDeclaration) {
      return null;
    }
 else     if (e instanceof MethodDeclaration) {
      kind=Shadow.MethodExecution;
    }
 else     if (e instanceof ConstructorDeclaration) {
      kind=Shadow.ConstructorExecution;
    }
 else {
      throw new RuntimeException("String_Node_Str" + e);
    }
    return new EclipseShadow(world,kind,world.makeResolvedMember(e.binding),astNode,context);
  }
 else {
    throw new RuntimeException("String_Node_Str" + astNode);
  }
}

Fixed version (ground truth):
public static EclipseShadow makeShadow(EclipseFactory world,AstNode astNode,ReferenceContext context){
  if (astNode instanceof AllocationExpression) {
    AllocationExpression e=(AllocationExpression)astNode;
    return new EclipseShadow(world,Shadow.ConstructorCall,world.makeResolvedMember(e.binding),astNode,context);
  }
 else   if (astNode instanceof MessageSend) {
    MessageSend e=(MessageSend)astNode;
    if (e.isSuperAccess())     return null;
    return new EclipseShadow(world,Shadow.MethodCall,world.makeResolvedMember(e.binding),astNode,context);
  }
 else   if (astNode instanceof ExplicitConstructorCall) {
    return null;
  }
 else   if (astNode instanceof AbstractMethodDeclaration) {
    AbstractMethodDeclaration e=(AbstractMethodDeclaration)astNode;
    Shadow.Kind kind;
    if (e instanceof AdviceDeclaration) {
      kind=Shadow.AdviceExecution;
    }
 else     if (e instanceof InterTypeMethodDeclaration) {
      return new EclipseShadow(world,Shadow.MethodExecution,((InterTypeDeclaration)e).getSignature(),astNode,context);
    }
 else     if (e instanceof InterTypeConstructorDeclaration) {
      return new EclipseShadow(world,Shadow.ConstructorExecution,((InterTypeDeclaration)e).getSignature(),astNode,context);
    }
 else     if (e instanceof InterTypeFieldDeclaration) {
      return null;
    }
 else     if (e instanceof MethodDeclaration) {
      kind=Shadow.MethodExecution;
    }
 else     if (e instanceof ConstructorDeclaration) {
      kind=Shadow.ConstructorExecution;
    }
 else     if (e instanceof Clinit) {
      kind=Shadow.StaticInitialization;
    }
 else {
      return null;
    }
    return new EclipseShadow(world,kind,world.makeResolvedMember(e.binding),astNode,context);
  }
 else   if (astNode instanceof TypeDeclaration) {
    return new EclipseShadow(world,Shadow.StaticInitialization,new Member(Member.STATIC_INITIALIZATION,world.fromBinding(((TypeDeclaration)astNode).binding),0,ResolvedTypeX.VOID,"String_Node_Str",TypeX.NONE),astNode,context);
  }
 else {
    return null;
  }
}