Program: 19183
Project: 19183
Buggy source:
protected void initTypes(){
  ALL_TYPE=registry.getNativeType(JSTypeNative.ALL_TYPE);
  NO_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.NO_OBJECT_TYPE);
  NO_TYPE=registry.getNativeObjectType(JSTypeNative.NO_TYPE);
  NO_RESOLVED_TYPE=registry.getNativeObjectType(JSTypeNative.NO_RESOLVED_TYPE);
  ARRAY_FUNCTION_TYPE=registry.getNativeFunctionType(JSTypeNative.ARRAY_FUNCTION_TYPE);
  ARRAY_TYPE=registry.getNativeObjectType(JSTypeNative.ARRAY_TYPE);
  BOOLEAN_OBJECT_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.BOOLEAN_OBJECT_FUNCTION_TYPE);
  BOOLEAN_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.BOOLEAN_OBJECT_TYPE);
  BOOLEAN_TYPE=registry.getNativeType(JSTypeNative.BOOLEAN_TYPE);
  CHECKED_UNKNOWN_TYPE=registry.getNativeObjectType(JSTypeNative.CHECKED_UNKNOWN_TYPE);
  DATE_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.DATE_FUNCTION_TYPE);
  DATE_TYPE=registry.getNativeObjectType(JSTypeNative.DATE_TYPE);
  ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.ERROR_FUNCTION_TYPE);
  ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.ERROR_TYPE);
  EVAL_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.EVAL_ERROR_FUNCTION_TYPE);
  EVAL_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.EVAL_ERROR_TYPE);
  FUNCTION_FUNCTION_TYPE=registry.getNativeFunctionType(JSTypeNative.FUNCTION_FUNCTION_TYPE);
  FUNCTION_INSTANCE_TYPE=registry.getNativeFunctionType(JSTypeNative.FUNCTION_INSTANCE_TYPE);
  FUNCTION_PROTOTYPE=registry.getNativeObjectType(JSTypeNative.FUNCTION_PROTOTYPE);
  GREATEST_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.GREATEST_FUNCTION_TYPE);
  LEAST_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.LEAST_FUNCTION_TYPE);
  NULL_TYPE=registry.getNativeType(JSTypeNative.NULL_TYPE);
  NUMBER_OBJECT_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.NUMBER_OBJECT_FUNCTION_TYPE);
  NUMBER_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.NUMBER_OBJECT_TYPE);
  NUMBER_STRING_BOOLEAN=registry.getNativeType(JSTypeNative.NUMBER_STRING_BOOLEAN);
  NUMBER_STRING_BOOLEAN_SYMBOL=registry.getNativeType(JSTypeNative.NUMBER_STRING_BOOLEAN_SYMBOL);
  NUMBER_TYPE=registry.getNativeType(JSTypeNative.NUMBER_TYPE);
  OBJECT_FUNCTION_TYPE=registry.getNativeFunctionType(JSTypeNative.OBJECT_FUNCTION_TYPE);
  NULL_VOID=registry.getNativeType(JSTypeNative.NULL_VOID);
  OBJECT_NUMBER_STRING=registry.getNativeType(JSTypeNative.OBJECT_NUMBER_STRING);
  OBJECT_NUMBER_STRING_BOOLEAN=registry.getNativeType(JSTypeNative.OBJECT_NUMBER_STRING_BOOLEAN);
  OBJECT_NUMBER_STRING_BOOLEAN_SYMBOL=registry.getNativeType(JSTypeNative.OBJECT_NUMBER_STRING_BOOLEAN_SYMBOL);
  OBJECT_PROTOTYPE=registry.getNativeType(JSTypeNative.OBJECT_PROTOTYPE);
  OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.OBJECT_TYPE);
  RANGE_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.RANGE_ERROR_FUNCTION_TYPE);
  RANGE_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.RANGE_ERROR_TYPE);
  REFERENCE_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.REFERENCE_ERROR_FUNCTION_TYPE);
  REFERENCE_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.REFERENCE_ERROR_TYPE);
  REGEXP_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.REGEXP_FUNCTION_TYPE);
  REGEXP_TYPE=registry.getNativeObjectType(JSTypeNative.REGEXP_TYPE);
  STRING_OBJECT_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.STRING_OBJECT_FUNCTION_TYPE);
  STRING_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.STRING_OBJECT_TYPE);
  STRING_TYPE=registry.getNativeType(JSTypeNative.STRING_TYPE);
  SYMBOL_OBJECT_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.SYMBOL_OBJECT_FUNCTION_TYPE);
  SYMBOL_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.SYMBOL_OBJECT_TYPE);
  SYMBOL_TYPE=registry.getNativeType(JSTypeNative.SYMBOL_TYPE);
  SYNTAX_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.SYNTAX_ERROR_FUNCTION_TYPE);
  SYNTAX_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.SYNTAX_ERROR_TYPE);
  TYPE_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.TYPE_ERROR_FUNCTION_TYPE);
  TYPE_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.TYPE_ERROR_TYPE);
  U2U_CONSTRUCTOR_TYPE=registry.getNativeFunctionType(JSTypeNative.U2U_CONSTRUCTOR_TYPE);
  U2U_FUNCTION_TYPE=registry.getNativeFunctionType(JSTypeNative.U2U_FUNCTION_TYPE);
  UNKNOWN_TYPE=registry.getNativeObjectType(JSTypeNative.UNKNOWN_TYPE);
  URI_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.URI_ERROR_FUNCTION_TYPE);
  URI_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.URI_ERROR_TYPE);
  VOID_TYPE=registry.getNativeType(JSTypeNative.VOID_TYPE);
  addNativeProperties(registry);
  NATIVE_PROPERTIES_COUNT=OBJECT_TYPE.getPropertiesCount();
}

Fixed version (ground truth):
protected void initTypes(){
  ALL_TYPE=registry.getNativeType(JSTypeNative.ALL_TYPE);
  NO_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.NO_OBJECT_TYPE);
  NO_TYPE=registry.getNativeObjectType(JSTypeNative.NO_TYPE);
  NO_RESOLVED_TYPE=registry.getNativeObjectType(JSTypeNative.NO_RESOLVED_TYPE);
  ARRAY_FUNCTION_TYPE=registry.getNativeFunctionType(JSTypeNative.ARRAY_FUNCTION_TYPE);
  ARRAY_TYPE=registry.getNativeObjectType(JSTypeNative.ARRAY_TYPE);
  BOOLEAN_OBJECT_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.BOOLEAN_OBJECT_FUNCTION_TYPE);
  BOOLEAN_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.BOOLEAN_OBJECT_TYPE);
  BOOLEAN_TYPE=registry.getNativeType(JSTypeNative.BOOLEAN_TYPE);
  CHECKED_UNKNOWN_TYPE=registry.getNativeObjectType(JSTypeNative.CHECKED_UNKNOWN_TYPE);
  DATE_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.DATE_FUNCTION_TYPE);
  DATE_TYPE=registry.getNativeObjectType(JSTypeNative.DATE_TYPE);
  ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.ERROR_FUNCTION_TYPE);
  ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.ERROR_TYPE);
  EVAL_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.EVAL_ERROR_FUNCTION_TYPE);
  EVAL_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.EVAL_ERROR_TYPE);
  FUNCTION_FUNCTION_TYPE=registry.getNativeFunctionType(JSTypeNative.FUNCTION_FUNCTION_TYPE);
  FUNCTION_INSTANCE_TYPE=registry.getNativeFunctionType(JSTypeNative.FUNCTION_INSTANCE_TYPE);
  FUNCTION_PROTOTYPE=registry.getNativeObjectType(JSTypeNative.FUNCTION_PROTOTYPE);
  GREATEST_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.GREATEST_FUNCTION_TYPE);
  LEAST_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.LEAST_FUNCTION_TYPE);
  NULL_TYPE=registry.getNativeType(JSTypeNative.NULL_TYPE);
  NUMBER_OBJECT_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.NUMBER_OBJECT_FUNCTION_TYPE);
  NUMBER_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.NUMBER_OBJECT_TYPE);
  NUMBER_STRING_BOOLEAN=registry.getNativeType(JSTypeNative.NUMBER_STRING_BOOLEAN);
  NUMBER_TYPE=registry.getNativeType(JSTypeNative.NUMBER_TYPE);
  OBJECT_FUNCTION_TYPE=registry.getNativeFunctionType(JSTypeNative.OBJECT_FUNCTION_TYPE);
  NULL_VOID=registry.getNativeType(JSTypeNative.NULL_VOID);
  OBJECT_NUMBER_STRING=registry.getNativeType(JSTypeNative.OBJECT_NUMBER_STRING);
  OBJECT_NUMBER_STRING_BOOLEAN=registry.getNativeType(JSTypeNative.OBJECT_NUMBER_STRING_BOOLEAN);
  OBJECT_PROTOTYPE=registry.getNativeType(JSTypeNative.OBJECT_PROTOTYPE);
  OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.OBJECT_TYPE);
  RANGE_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.RANGE_ERROR_FUNCTION_TYPE);
  RANGE_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.RANGE_ERROR_TYPE);
  REFERENCE_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.REFERENCE_ERROR_FUNCTION_TYPE);
  REFERENCE_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.REFERENCE_ERROR_TYPE);
  REGEXP_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.REGEXP_FUNCTION_TYPE);
  REGEXP_TYPE=registry.getNativeObjectType(JSTypeNative.REGEXP_TYPE);
  STRING_OBJECT_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.STRING_OBJECT_FUNCTION_TYPE);
  STRING_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.STRING_OBJECT_TYPE);
  STRING_TYPE=registry.getNativeType(JSTypeNative.STRING_TYPE);
  SYMBOL_OBJECT_TYPE=registry.getNativeObjectType(JSTypeNative.SYMBOL_OBJECT_TYPE);
  SYMBOL_TYPE=registry.getNativeType(JSTypeNative.SYMBOL_TYPE);
  SYNTAX_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.SYNTAX_ERROR_FUNCTION_TYPE);
  SYNTAX_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.SYNTAX_ERROR_TYPE);
  TYPE_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.TYPE_ERROR_FUNCTION_TYPE);
  TYPE_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.TYPE_ERROR_TYPE);
  U2U_CONSTRUCTOR_TYPE=registry.getNativeFunctionType(JSTypeNative.U2U_CONSTRUCTOR_TYPE);
  U2U_FUNCTION_TYPE=registry.getNativeFunctionType(JSTypeNative.U2U_FUNCTION_TYPE);
  UNKNOWN_TYPE=registry.getNativeObjectType(JSTypeNative.UNKNOWN_TYPE);
  URI_ERROR_FUNCTION_TYPE=registry.getNativeType(JSTypeNative.URI_ERROR_FUNCTION_TYPE);
  URI_ERROR_TYPE=registry.getNativeObjectType(JSTypeNative.URI_ERROR_TYPE);
  VOID_TYPE=registry.getNativeType(JSTypeNative.VOID_TYPE);
  addNativeProperties(registry);
  NATIVE_PROPERTIES_COUNT=OBJECT_TYPE.getPropertiesCount();
}