Program: 72137
Project: 72137
Buggy source:
public Names(Context context){
  Options options=Options.instance(context);
  table=createTable(options);
  asterisk=fromString("String_Node_Str");
  comma=fromString("String_Node_Str");
  empty=fromString("String_Node_Str");
  hyphen=fromString("String_Node_Str");
  one=fromString("String_Node_Str");
  period=fromString("String_Node_Str");
  semicolon=fromString("String_Node_Str");
  slash=fromString("String_Node_Str");
  slashequals=fromString("String_Node_Str");
  _class=fromString("String_Node_Str");
  _default=fromString("String_Node_Str");
  _super=fromString("String_Node_Str");
  _this=fromString("String_Node_Str");
  _name=fromString("String_Node_Str");
  addSuppressed=fromString("String_Node_Str");
  any=fromString("String_Node_Str");
  append=fromString("String_Node_Str");
  clinit=fromString("String_Node_Str");
  clone=fromString("String_Node_Str");
  close=fromString("String_Node_Str");
  compareTo=fromString("String_Node_Str");
  desiredAssertionStatus=fromString("String_Node_Str");
  equals=fromString("String_Node_Str");
  error=fromString("String_Node_Str");
  family=fromString("String_Node_Str");
  finalize=fromString("String_Node_Str");
  forName=fromString("String_Node_Str");
  getClass=fromString("String_Node_Str");
  getClassLoader=fromString("String_Node_Str");
  getComponentType=fromString("String_Node_Str");
  getDeclaringClass=fromString("String_Node_Str");
  getMessage=fromString("String_Node_Str");
  hasNext=fromString("String_Node_Str");
  hashCode=fromString("String_Node_Str");
  init=fromString("String_Node_Str");
  initCause=fromString("String_Node_Str");
  iterator=fromString("String_Node_Str");
  length=fromString("String_Node_Str");
  next=fromString("String_Node_Str");
  ordinal=fromString("String_Node_Str");
  serialVersionUID=fromString("String_Node_Str");
  toString=fromString("String_Node_Str");
  value=fromString("String_Node_Str");
  valueOf=fromString("String_Node_Str");
  values=fromString("String_Node_Str");
  java_io_Serializable=fromString("String_Node_Str");
  java_lang_AutoCloseable=fromString("String_Node_Str");
  java_lang_Class=fromString("String_Node_Str");
  java_lang_Cloneable=fromString("String_Node_Str");
  java_lang_Enum=fromString("String_Node_Str");
  java_lang_Object=fromString("String_Node_Str");
  java_lang_invoke_MethodHandle=fromString("String_Node_Str");
  Array=fromString("String_Node_Str");
  Bound=fromString("String_Node_Str");
  Method=fromString("String_Node_Str");
  java_lang=fromString("String_Node_Str");
  Annotation=fromString("String_Node_Str");
  AnnotationDefault=fromString("String_Node_Str");
  Bridge=fromString("String_Node_Str");
  CharacterRangeTable=fromString("String_Node_Str");
  Code=fromString("String_Node_Str");
  CompilationID=fromString("String_Node_Str");
  ConstantValue=fromString("String_Node_Str");
  Deprecated=fromString("String_Node_Str");
  EnclosingMethod=fromString("String_Node_Str");
  Enum=fromString("String_Node_Str");
  Exceptions=fromString("String_Node_Str");
  InnerClasses=fromString("String_Node_Str");
  LineNumberTable=fromString("String_Node_Str");
  LocalVariableTable=fromString("String_Node_Str");
  LocalVariableTypeTable=fromString("String_Node_Str");
  RuntimeInvisibleAnnotations=fromString("String_Node_Str");
  RuntimeInvisibleParameterAnnotations=fromString("String_Node_Str");
  RuntimeInvisibleTypeAnnotations=fromString("String_Node_Str");
  RuntimeVisibleAnnotations=fromString("String_Node_Str");
  RuntimeVisibleParameterAnnotations=fromString("String_Node_Str");
  RuntimeVisibleTypeAnnotations=fromString("String_Node_Str");
  Signature=fromString("String_Node_Str");
  SourceFile=fromString("String_Node_Str");
  SourceID=fromString("String_Node_Str");
  StackMap=fromString("String_Node_Str");
  StackMapTable=fromString("String_Node_Str");
  Synthetic=fromString("String_Node_Str");
  Value=fromString("String_Node_Str");
  Varargs=fromString("String_Node_Str");
  ANNOTATION_TYPE=fromString("String_Node_Str");
  CONSTRUCTOR=fromString("String_Node_Str");
  FIELD=fromString("String_Node_Str");
  LOCAL_VARIABLE=fromString("String_Node_Str");
  METHOD=fromString("String_Node_Str");
  PACKAGE=fromString("String_Node_Str");
  PARAMETER=fromString("String_Node_Str");
  TYPE=fromString("String_Node_Str");
  TYPE_PARAMETER=fromString("String_Node_Str");
  TYPE_USE=fromString("String_Node_Str");
  CLASS=fromString("String_Node_Str");
  RUNTIME=fromString("String_Node_Str");
  SOURCE=fromString("String_Node_Str");
  T=fromString("String_Node_Str");
  deprecated=fromString("String_Node_Str");
  ex=fromString("String_Node_Str");
  package_info=fromString("String_Node_Str");
  BootstrapMethods=fromString("String_Node_Str");
}

Fixed version (ground truth):
public Names(Context context){
  Options options=Options.instance(context);
  table=createTable(options);
  asterisk=fromString("String_Node_Str");
  comma=fromString("String_Node_Str");
  empty=fromString("String_Node_Str");
  hyphen=fromString("String_Node_Str");
  one=fromString("String_Node_Str");
  period=fromString("String_Node_Str");
  semicolon=fromString("String_Node_Str");
  slash=fromString("String_Node_Str");
  slashequals=fromString("String_Node_Str");
  _class=fromString("String_Node_Str");
  _default=fromString("String_Node_Str");
  _super=fromString("String_Node_Str");
  _this=fromString("String_Node_Str");
  _name=fromString("String_Node_Str");
  addSuppressed=fromString("String_Node_Str");
  any=fromString("String_Node_Str");
  append=fromString("String_Node_Str");
  clinit=fromString("String_Node_Str");
  clone=fromString("String_Node_Str");
  close=fromString("String_Node_Str");
  compareTo=fromString("String_Node_Str");
  desiredAssertionStatus=fromString("String_Node_Str");
  equals=fromString("String_Node_Str");
  error=fromString("String_Node_Str");
  family=fromString("String_Node_Str");
  finalize=fromString("String_Node_Str");
  forName=fromString("String_Node_Str");
  getClass=fromString("String_Node_Str");
  getClassLoader=fromString("String_Node_Str");
  getComponentType=fromString("String_Node_Str");
  getDeclaringClass=fromString("String_Node_Str");
  getMessage=fromString("String_Node_Str");
  hasNext=fromString("String_Node_Str");
  hashCode=fromString("String_Node_Str");
  init=fromString("String_Node_Str");
  initCause=fromString("String_Node_Str");
  iterator=fromString("String_Node_Str");
  length=fromString("String_Node_Str");
  next=fromString("String_Node_Str");
  ordinal=fromString("String_Node_Str");
  serialVersionUID=fromString("String_Node_Str");
  toString=fromString("String_Node_Str");
  value=fromString("String_Node_Str");
  valueOf=fromString("String_Node_Str");
  values=fromString("String_Node_Str");
  java_io_Serializable=fromString("String_Node_Str");
  java_lang_AutoCloseable=fromString("String_Node_Str");
  java_lang_Class=fromString("String_Node_Str");
  java_lang_Cloneable=fromString("String_Node_Str");
  java_lang_Enum=fromString("String_Node_Str");
  java_lang_Object=fromString("String_Node_Str");
  java_lang_invoke_MethodHandle=fromString("String_Node_Str");
  Array=fromString("String_Node_Str");
  Bound=fromString("String_Node_Str");
  Method=fromString("String_Node_Str");
  java_lang=fromString("String_Node_Str");
  Annotation=fromString("String_Node_Str");
  AnnotationDefault=fromString("String_Node_Str");
  BootstrapMethods=fromString("String_Node_Str");
  Bridge=fromString("String_Node_Str");
  CharacterRangeTable=fromString("String_Node_Str");
  Code=fromString("String_Node_Str");
  CompilationID=fromString("String_Node_Str");
  ConstantValue=fromString("String_Node_Str");
  Deprecated=fromString("String_Node_Str");
  EnclosingMethod=fromString("String_Node_Str");
  Enum=fromString("String_Node_Str");
  Exceptions=fromString("String_Node_Str");
  InnerClasses=fromString("String_Node_Str");
  LineNumberTable=fromString("String_Node_Str");
  LocalVariableTable=fromString("String_Node_Str");
  LocalVariableTypeTable=fromString("String_Node_Str");
  RuntimeInvisibleAnnotations=fromString("String_Node_Str");
  RuntimeInvisibleParameterAnnotations=fromString("String_Node_Str");
  RuntimeInvisibleTypeAnnotations=fromString("String_Node_Str");
  RuntimeVisibleAnnotations=fromString("String_Node_Str");
  RuntimeVisibleParameterAnnotations=fromString("String_Node_Str");
  RuntimeVisibleTypeAnnotations=fromString("String_Node_Str");
  Signature=fromString("String_Node_Str");
  SourceFile=fromString("String_Node_Str");
  SourceID=fromString("String_Node_Str");
  StackMap=fromString("String_Node_Str");
  StackMapTable=fromString("String_Node_Str");
  Synthetic=fromString("String_Node_Str");
  Value=fromString("String_Node_Str");
  Varargs=fromString("String_Node_Str");
  ANNOTATION_TYPE=fromString("String_Node_Str");
  CONSTRUCTOR=fromString("String_Node_Str");
  FIELD=fromString("String_Node_Str");
  LOCAL_VARIABLE=fromString("String_Node_Str");
  METHOD=fromString("String_Node_Str");
  PACKAGE=fromString("String_Node_Str");
  PARAMETER=fromString("String_Node_Str");
  TYPE=fromString("String_Node_Str");
  TYPE_PARAMETER=fromString("String_Node_Str");
  TYPE_USE=fromString("String_Node_Str");
  CLASS=fromString("String_Node_Str");
  RUNTIME=fromString("String_Node_Str");
  SOURCE=fromString("String_Node_Str");
  T=fromString("String_Node_Str");
  deprecated=fromString("String_Node_Str");
  ex=fromString("String_Node_Str");
  package_info=fromString("String_Node_Str");
}