Program: 88627
Project: 88627
Buggy source:
/** 
 * Constructs a <code>ThrowableSet.Manager</code> for inclusion in  Soot's global variable manager,   {@link G}.
 * @param g guarantees that the constructor may only be called from  {@link Singletons}.
 */
public Manager(Singletons.Global g){
  Scene.v().loadClassAndSupport("String_Node_Str");
  RUNTIME_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  ARITHMETIC_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  ARRAY_STORE_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  CLASS_CAST_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  ILLEGAL_MONITOR_STATE_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  INDEX_OUT_OF_BOUNDS_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  ARRAY_INDEX_OUT_OF_BOUNDS_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  NEGATIVE_ARRAY_SIZE_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  NULL_POINTER_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  INSTANTIATION_ERROR=Scene.v().getRefType("String_Node_Str");
  EMPTY=registerSetIfNew(new HashSet());
  Set allThrowablesSet=new HashSet();
  Scene.v().loadClassAndSupport("String_Node_Str");
  allThrowablesSet.add(AnySubType.v(Scene.v().getRefType("String_Node_Str")));
  ALL_THROWABLES=registerSetIfNew(allThrowablesSet);
  Set vmErrorSet=new HashSet();
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  VM_ERRORS=registerSetIfNew(vmErrorSet);
  Set resolveClassErrorSet=new HashSet();
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  allThrowablesSet.add(AnySubType.v(Scene.v().getRefType("String_Node_Str")));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  RESOLVE_CLASS_ERRORS=registerSetIfNew(resolveClassErrorSet);
  Set resolveFieldErrorSet=new HashSet(resolveClassErrorSet);
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveFieldErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  RESOLVE_FIELD_ERRORS=registerSetIfNew(resolveFieldErrorSet);
  Set resolveMethodErrorSet=new HashSet(resolveClassErrorSet);
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveMethodErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveMethodErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveMethodErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  RESOLVE_METHOD_ERRORS=registerSetIfNew(resolveMethodErrorSet);
  Set initializationErrorSet=new HashSet();
  Scene.v().loadClassAndSupport("String_Node_Str");
  initializationErrorSet.add(AnySubType.v(Scene.v().getRefType("String_Node_Str")));
  INITIALIZATION_ERRORS=registerSetIfNew(initializationErrorSet);
}

Fixed version (ground truth):
/** 
 * Constructs a <code>ThrowableSet.Manager</code> for inclusion in  Soot's global variable manager,   {@link G}.
 * @param g guarantees that the constructor may only be called from  {@link Singletons}.
 */
public Manager(Singletons.Global g){
  Scene.v().loadClassAndSupport("String_Node_Str");
  RUNTIME_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  ARITHMETIC_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  ARRAY_STORE_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  CLASS_CAST_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  ILLEGAL_MONITOR_STATE_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  INDEX_OUT_OF_BOUNDS_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  ARRAY_INDEX_OUT_OF_BOUNDS_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  NEGATIVE_ARRAY_SIZE_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  NULL_POINTER_EXCEPTION=Scene.v().getRefType("String_Node_Str");
  Scene.v().loadClassAndSupport("String_Node_Str");
  INSTANTIATION_ERROR=Scene.v().getRefType("String_Node_Str");
  EMPTY=registerSetIfNew(new HashSet());
  Set allThrowablesSet=new HashSet();
  Scene.v().loadClassAndSupport("String_Node_Str");
  allThrowablesSet.add(AnySubType.v(Scene.v().getRefType("String_Node_Str")));
  ALL_THROWABLES=registerSetIfNew(allThrowablesSet);
  Set vmErrorSet=new HashSet();
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  vmErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  VM_ERRORS=registerSetIfNew(vmErrorSet);
  Set resolveClassErrorSet=new HashSet();
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(AnySubType.v(Scene.v().getRefType("String_Node_Str")));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveClassErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  RESOLVE_CLASS_ERRORS=registerSetIfNew(resolveClassErrorSet);
  Set resolveFieldErrorSet=new HashSet(resolveClassErrorSet);
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveFieldErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  RESOLVE_FIELD_ERRORS=registerSetIfNew(resolveFieldErrorSet);
  Set resolveMethodErrorSet=new HashSet(resolveClassErrorSet);
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveMethodErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveMethodErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  Scene.v().loadClassAndSupport("String_Node_Str");
  resolveMethodErrorSet.add(Scene.v().getRefType("String_Node_Str"));
  RESOLVE_METHOD_ERRORS=registerSetIfNew(resolveMethodErrorSet);
  Set initializationErrorSet=new HashSet();
  Scene.v().loadClassAndSupport("String_Node_Str");
  initializationErrorSet.add(AnySubType.v(Scene.v().getRefType("String_Node_Str")));
  INITIALIZATION_ERRORS=registerSetIfNew(initializationErrorSet);
}