Program: 88839
Project: 88839
Buggy source:
public PackManager(Singletons.Global g){
  Pack p;
  addPack(p=new JimpleBodyPack());
{
    p.add(new Transform("String_Node_Str",LocalSplitter.v()));
    p.add(new Transform("String_Node_Str",Aggregator.v()));
    p.add(new Transform("String_Node_Str",Aggregator.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
    p.add(new Transform("String_Node_Str",TypeAssigner.v()));
    p.add(new Transform("String_Node_Str",LocalNameStandardizer.v()));
    p.add(new Transform("String_Node_Str",LocalPacker.v()));
    p.add(new Transform("String_Node_Str",CopyPropagator.v()));
    p.add(new Transform("String_Node_Str",DeadAssignmentEliminator.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
    p.add(new Transform("String_Node_Str",LocalPacker.v()));
    p.add(new Transform("String_Node_Str",NopEliminator.v()));
    p.add(new Transform("String_Node_Str",UnreachableCodeEliminator.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",Aggregator.v()));
    p.add(new Transform("String_Node_Str",ConstructorFolder.v()));
    p.add(new Transform("String_Node_Str",Aggregator.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",LoadStoreOptimizer.v()));
    p.add(new Transform("String_Node_Str",PeepholeOptimizer.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
    p.add(new Transform("String_Node_Str",LocalPacker.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",CommonSubexpressionEliminator.v()));
    p.add(new Transform("String_Node_Str",BusyCodeMotion.v()));
    p.add(new Transform("String_Node_Str",LazyCodeMotion.v()));
    p.add(new Transform("String_Node_Str",CopyPropagator.v()));
    p.add(new Transform("String_Node_Str",ConstantPropagatorAndFolder.v()));
    p.add(new Transform("String_Node_Str",ConditionalBranchFolder.v()));
    p.add(new Transform("String_Node_Str",DeadAssignmentEliminator.v()));
    p.add(new Transform("String_Node_Str",UnreachableCodeEliminator.v()));
    p.add(new Transform("String_Node_Str",UnconditionalBranchFolder.v()));
    p.add(new Transform("String_Node_Str",UnreachableCodeEliminator.v()));
    p.add(new Transform("String_Node_Str",UnconditionalBranchFolder.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",NullPointerChecker.v()));
    p.add(new Transform("String_Node_Str",ArrayBoundsChecker.v()));
    p.add(new Transform("String_Node_Str",ProfilingGenerator.v()));
    p.add(new Transform("String_Node_Str",SideEffectTagger.v()));
    p.add(new Transform("String_Node_Str",FieldTagger.v()));
  }
  addPack(p=new RadioScenePack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",OldCHATransformer.v()));
    p.add(new Transform("String_Node_Str",VTATransformer.v()));
    p.add(new Transform("String_Node_Str",CHATransformer.v()));
    p.add(new Transform("String_Node_Str",SparkTransformer.v()));
  }
  addPack(p=new ScenePack("String_Node_Str"));
{
  }
  addPack(p=new ScenePack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",StaticMethodBinder.v()));
    p.add(new Transform("String_Node_Str",StaticInliner.v()));
  }
  addPack(p=new ScenePack("String_Node_Str"));
  addPack(p=new ScenePack("String_Node_Str"));
  addPack(p=new ScenePack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",RectangularArrayFinder.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",LineNumberTagAggregator.v()));
    p.add(new Transform("String_Node_Str",ArrayNullTagAggregator.v()));
    p.add(new Transform("String_Node_Str",DependenceTagAggregator.v()));
    p.add(new Transform("String_Node_Str",FieldTagAggregator.v()));
  }
}

Fixed version (ground truth):
public PackManager(Singletons.Global g){
  Pack p;
  addPack(p=new JimpleBodyPack());
{
    p.add(new Transform("String_Node_Str",LocalSplitter.v()));
    p.add(new Transform("String_Node_Str",Aggregator.v()));
    p.add(new Transform("String_Node_Str",Aggregator.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
    p.add(new Transform("String_Node_Str",TypeAssigner.v()));
    p.add(new Transform("String_Node_Str",LocalNameStandardizer.v()));
    p.add(new Transform("String_Node_Str",LocalPacker.v()));
    p.add(new Transform("String_Node_Str",CopyPropagator.v()));
    p.add(new Transform("String_Node_Str",DeadAssignmentEliminator.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
    p.add(new Transform("String_Node_Str",LocalPacker.v()));
    p.add(new Transform("String_Node_Str",NopEliminator.v()));
    p.add(new Transform("String_Node_Str",UnreachableCodeEliminator.v()));
  }
  addPack(p=new RadioScenePack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",OldCHATransformer.v()));
    p.add(new Transform("String_Node_Str",VTATransformer.v()));
    p.add(new Transform("String_Node_Str",CHATransformer.v()));
    p.add(new Transform("String_Node_Str",SparkTransformer.v()));
  }
  addPack(p=new ScenePack("String_Node_Str"));
  addPack(p=new ScenePack("String_Node_Str"));
  addPack(p=new ScenePack("String_Node_Str"));
{
  }
  addPack(p=new ScenePack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",StaticMethodBinder.v()));
    p.add(new Transform("String_Node_Str",StaticInliner.v()));
  }
  addPack(p=new ScenePack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",RectangularArrayFinder.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",CommonSubexpressionEliminator.v()));
    p.add(new Transform("String_Node_Str",BusyCodeMotion.v()));
    p.add(new Transform("String_Node_Str",LazyCodeMotion.v()));
    p.add(new Transform("String_Node_Str",CopyPropagator.v()));
    p.add(new Transform("String_Node_Str",ConstantPropagatorAndFolder.v()));
    p.add(new Transform("String_Node_Str",ConditionalBranchFolder.v()));
    p.add(new Transform("String_Node_Str",DeadAssignmentEliminator.v()));
    p.add(new Transform("String_Node_Str",UnreachableCodeEliminator.v()));
    p.add(new Transform("String_Node_Str",UnconditionalBranchFolder.v()));
    p.add(new Transform("String_Node_Str",UnreachableCodeEliminator.v()));
    p.add(new Transform("String_Node_Str",UnconditionalBranchFolder.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",NullPointerChecker.v()));
    p.add(new Transform("String_Node_Str",ArrayBoundsChecker.v()));
    p.add(new Transform("String_Node_Str",ProfilingGenerator.v()));
    p.add(new Transform("String_Node_Str",SideEffectTagger.v()));
    p.add(new Transform("String_Node_Str",FieldTagger.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",Aggregator.v()));
    p.add(new Transform("String_Node_Str",ConstructorFolder.v()));
    p.add(new Transform("String_Node_Str",Aggregator.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",LoadStoreOptimizer.v()));
    p.add(new Transform("String_Node_Str",PeepholeOptimizer.v()));
    p.add(new Transform("String_Node_Str",UnusedLocalEliminator.v()));
    p.add(new Transform("String_Node_Str",LocalPacker.v()));
  }
  addPack(p=new BodyPack("String_Node_Str"));
  addPack(p=new BodyPack("String_Node_Str"));
{
    p.add(new Transform("String_Node_Str",LineNumberTagAggregator.v()));
    p.add(new Transform("String_Node_Str",ArrayNullTagAggregator.v()));
    p.add(new Transform("String_Node_Str",DependenceTagAggregator.v()));
    p.add(new Transform("String_Node_Str",FieldTagAggregator.v()));
  }
}